Proposition is_monoid

Quick Reference

Web ID 45f7883d-e570-42d0-99a5-4499d246a8d9
Description True if the category is a monoid (i.e. has exactly one object).