SmallCat(7,1,26860)

Quick Reference

Web ID	184ac767-329f-452f-a1d0-3b97c965e815
Morphisms	7
Objects	1
Index	26860
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	1	1	1	1	1	6
2	2	1	2	2	2	2	6
3	3	1	2	3	2	5	6
4	4	1	4	4	4	4	6
5	5	1	2	5	2	3	6
6	6	6	6	6	6	6	1

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