name, is_strict, transformations_hr
26 rows
internal_relations, parent
1 row
category, construction
98 rows
name, objects_hr, arrows_hr
175 rows
internal_abelian_groups, parent
2 rows
internal_commutative_monoids, parent
6 rows
internal_groups, parent
8 rows
internal_lie_algebras, parent
4 rows
internal_monoids, parent
6 rows
internal_rings, parent
3 rows
internal_semigroups, parent
3 rows
internal_simplicial_sets, parent
8 rows
groupoid, category
4 rows
vertical_2cat, horizontal_2cat, 2cells_hr
3 rows
subcategory, supercategory
3 rows
subcategory, supercategory
21 rows
category, completion
1 row
diagram, is_colimit, construction
12 rows
example_categeory, complete_2category
3 rows
category, structure_hr
2 rows
subcategory, supercategory, reflector_hr, reflection_hr
6 rows
total_subcategory, partial_category
2 rows
skeleton, category
3 rows
subcategory, parent
78 rows
category, is_grothendieck, has_nno, is_boolean, is_well_pointed
10 rows
construction, qualifier_hr
11 rows
Views
Download SQLite DB: catabase.db 452.0 KB