a parallel notion to bicategory and 2category
87264
Are bicategories and lax 2-categories the same?
53056
natural deduction: introduction of universal quantifier and elimination of existential quantifier explained
32081
The dual version of trichotomy of cardinality without AC
136883
The class of equivalence.
124299
Category Theory textbook (learning through guided discovery Dummit and Foote)
33851
Generalizing a sequence.
135369
Equivalence between derived categories preserve distinguished triangles
147794
Applications of Category Theory Outside of Mathematics (the discipline)
80787
2-morphisms for 2-category: don't understand how to draw
82156
Supertype/Subtype deciding between category: complete disjoint or incomplete overlapping
134844
Summablity and countability
150451
Logic soundness and completeness
132137
Concrete Categories Where Epis are Just Surjections
119312
Product and Box Topologies
91938
Countable Matrix Representation
36615
Rule-based creation of sub-lists
10543
A new environment based on enumerate