Proposition is_discrete

Quick Reference

Web ID c35a969b-8a67-4e49-85f8-52fe04c9cd9c
Description True if the category is discrete (i.e. has no non-identity morphisms).