😺 SmallCategories Beta

Categories Propositions Query Stats About Support

Query

You are viewing a temporary workaround for the query page on mobile. If you are on desktop, you can use the normal query page.

Morphisms

Objects

Satisfying

has_terminal_object has_binary_products is_discrete is_terminal has_initial_object has_binary_coproducts is_groupoid is_monoid is_connected has_finite_products is_preorder is_skeletal has_equalizers has_finite_coproducts is_complete is_cocomplete has_coequalizers is_initial

Not Satisfying

has_terminal_object has_binary_products is_discrete is_terminal has_initial_object has_binary_coproducts is_groupoid is_monoid is_connected has_finite_products is_preorder is_skeletal has_equalizers has_finite_coproducts is_complete is_cocomplete has_coequalizers is_initial