SmallCat(7,1,64)

Quick Reference

Web ID	ef071483-9f27-4375-ba7b-a9f935e22205
Morphisms	7
Objects	1
Index	64
Name	N/A
Description	N/A

Visualization

This feature is still janky! Please excuse the mess.

Morphism 0 is an identity, shown as an object in this visualization.

Table

row ∘ col	0	1	2	3	4	5	6
0	0	1	2	3	4	5	6
1	1	0	2	3	4	5	6
2	2	2	2	2	2	2	2
3	3	3	2	2	2	2	2
4	4	4	2	2	2	2	2
5	5	5	2	2	2	5	2
6	6	6	2	2	4	2	6

Morphism 0 is an identity.

Facts

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