Proposition is_preorder

Quick Reference

Web ID c73a6041-0bf1-4418-ad47-26dcf434db69
Description True if the category is a preorder (i.e. every hom set has cardinality at most 1).