Coproduct in the category of $\Omega$-algebras
95363
coproducts of structures
158232
Tensor product of a module with an ideal is isomorphic to their standard product
146006
Uncountable $\sigma$-algebra
79650
Division Rings and Division Algebras
123130
Showing an isomorphism between exterior products of a free module
103427
When is $\operatorname{Hom}_A(M,N)$ finitely generated?
87203
Preimage of generated $\sigma$-algebra
30678
Direct proof that the wedge product preserves integral cohomology classes?
44983
Isomorphism of R-modules
25728
A second isomorphism theorem for action on cosets
115120
Finite dimensional $C^*$-algebras
51245
$A \longrightarrow \text{Im} f$ is an epimorphism and a cokernel of ker $f \longrightarrow A$ in every abelian category
10679
Equivalence of Categories and of Their Functor Categories
83766
If $B$ is a graded $A$-algebra, then $\operatorname{Proj}B$ is an $A$-scheme
140340
Left and right R-modules
66134
Sufficiently many idempotents and commutativity
28154
Riehl's Category Theory in Context - Exercise 2.1.iv.