Are functors that are right-cancellable full, or do they have other characterizations?
121945
Monomorphisms and Epimorphisms in the category of small categories
53634
Sequences or 'chains' of adjoint functors
55764
Algebraic closure of $\mathbb F_p$
55778
Group theoretic meaning of natural isomorphisms between certain functors
121732
Functional completeness of $\{\text{or},\text{ xor}, \text{ xnor}\}$
75944
Overlapping pure functions
51786
Is every additive monofunctor between abelian categories left exact?
52798
Finding counterexamples: bijective continuous functions that are not homeomorphisms
81423
Completeness and Topological Equivalence
5392
Compact support vs. vanishing at infinity?
46613
What's the difference between $\equiv$ and $\leftrightarrow$ in a formal proof?
20030
Is an equivalence an adjunction?
42941
Pair of adjoint functors and showing that two certain maps are inverses
39406
Continuity $\Rightarrow$ Intermediate Value Property. Why is the opposite not true?
37041
Why is $\text{Aut}(F)$ of the forgetful functor $F$ on $G$-sets isomorphic to $G$?
83798
Does $A$ a UFD imply that  $A[T]$ is also a UFD?
106238
non-forking extension is equivalent to sameness of morley rank