What does 'equal' mean for morphisms of a category?
70797
Why doesn't the definition of a category require an explicit notion of morphisms equality?
49789
Let $C,D$ be categories and $F:C\to D$ and $G:D\to C$ be adjoint functors. Then $F$ is fully faithful iff the unit is an isomorphism?
120002
Prove universal morphism is unique up to unique isomorphism.
128255
Empty Strings: Why or when is '' equal to ' '?
121945
Monomorphisms and Epimorphisms in the category of small categories
57938
When do two functions become equal?
74617
Equivalent conditions for a preabelian category to be abelian
113083
How to prove a set equality?
75271
Equal, is equal to, equals, are equal to
111720
Is "have the same cardinality" a equivalence relation?
38533
What does "dual statement" mean exactly in category theory?
158009
Why is it always the case that, given an equivalence relation R on a set X and a $x \in X$, that x is equivalent to itself?
118354
Epimorphism and Monomorphism = Isomorphism?
51786
Is every additive monofunctor between abelian categories left exact?
127596
Composition of equivalence relations
136210
There is more than one functor that fix objects in category of groups?
152678
I've read that abelian categories can naturally be enriched in $\mathbf{Ab}.$ How does this actually work?