Proposition is_skeletal

Quick Reference

Web ID 83e07597-92b5-4281-a9fd-b08f08f9bcaf
Description True if the category is skeletal (i.e. all isomorphisms are endomorphisms).