Functor from category of commutative F-algebras to Sets is representable
69160
Show that the functor that takes $R$ to the set of invertible elements of $R[X]/(X^2-a)$ is representable.
110059
$A^A$ in category of graphs
48524
Existence proof of the tensor product using the Adjoint functor theorem.
45270
Surjective endomorphisms of finitely generated modules are isomorphisms
99707
free module implies surjective map of affine schemes
61616
category of linear maps
62687
Proving Cardinality of Cosets in Abstract Algebra
47630
Endomorphisms of modules satisfying chain conditions and counterexamples.
37041
Why is $\text{Aut}(F)$ of the forgetful functor $F$ on $G$-sets isomorphic to $G$?
152013
elementary ring proof with composition of functions and addition of functions as operations
67633
Generic flatness on modules
141714
Existence of a functor $\mathsf{Sets} \to \mathsf{Groups}$ that admits a left adjoint
152678
I've read that abelian categories can naturally be enriched in $\mathbf{Ab}.$ How does this actually work?
76563
Category Theory usage in Algebraic Topology
110110
Mitchell's Embedding Theorem for not-necessarily-small categories
51786
Is every additive monofunctor between abelian categories left exact?
6023
Surjectivity of Composition of Surjective Functions