SmallCat(7,1,21662)

Quick Reference

Web ID	9883ef7c-92f0-4ae9-9258-9ac9f7ab59ce
Morphisms	7
Objects	1
Index	21662
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	1
2	2	1	2	2	2	2	2
3	3	1	2	2	2	2	2
4	4	1	2	2	2	2	2
5	5	1	2	2	2	5	6
6	6	1	2	2	2	5	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