Icons

Last updated Feb 3, 2024

• Strict 2-category
• Icons (Lack, 2007)