When are two morphisms equal?
70797
Why doesn't the definition of a category require an explicit notion of morphisms equality?
120311
Equivalence of Axiom of Regularity
68786
"This property is local on" : properties of morphisms of $S$-schemes
147133
If a morphism has a section then it is an effective epimorphism?
30725
Why are naturals < modulus equal if congruent? [uniqueness of remainder]
11342
Show that conguence $\bmod m\,$ is an equivalence relation
157728
When can you interchange composition of a limit?
25997
Conditions Equivalent to Injectivity
100716
Zero morphism does not depend on zero object
20556
Isomorphism between two models of Hilbert's Axioms with different notions of congruence
154324
preservation of completeness under homeomorphism
121945
Monomorphisms and Epimorphisms in the category of small categories
20030
Is an equivalence an adjunction?
25260
Extension of a morphism $k^*\rightarrow X$ to $\mathbb{P}^1\rightarrow \overline{X}$
115347
Showing that the fiber of a morphism of schemes over a point is homeomorphic to the preimage
92211
When are $\mathbb Z_m$ and $\mathbb Z_n$ homomorphic?
102371
Proving that two vector spaces of equal dimension are isomorphic