😺 SmallCategories
Beta
Categories
Propositions
Query
Stats
About
Support
Proposition is_initial
Quick Reference
Web ID
0ec2037a-4087-4398-ac1b-b0002a75ddda
Description
True if the category is empty (i.e. has no morphisms).