Proposition is_terminal

Quick Reference

Web ID f0fa8980-6c49-4078-8eef-8c4c9512b442
Description True if the category has exactly one object and exactly one morphism (i.e. is the one-point category).