SmallCat(8,2,20413)

Quick Reference

Web ID	696c7c90-bdee-4460-bf9b-b9c2c05da6f3
Morphisms	8
Objects	2
Index	20413
Name	N/A
Description	N/A

Visualization

This feature is still janky! Please excuse the mess.

Morphisms 0 through 1 are identities, shown as objects in this visualization.

Table

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

Morphisms 0 through 1 are identities.
"/" indicates that the composition is not defined.

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