Newbetuts

A canonical construction proving $\left|HK\right| = \left|H\right|\left|K\right| / \left|H \cap K\right|$?

Proving that the free group on two generators is the coproduct $\mathbb{Z}*\mathbb{Z}$ in $\textbf{Grp}$

What is the class of topological spaces $X$ such that the functors $\times X:\mathbf{Top}\to\mathbf{Top}$ have right adjoints?

Universal property of $N\rtimes K$

What is a Universal Construction in Category Theory?

Explanation of terminal objects using limits

Proving the inclusion map of an integral domain into its quotient field is an epimorphism

Does the forgetful functor from $\mathbf{TopGrp}$ to $\mathbf{Top}$ admit a left adjoint?

Proof of the universal property of the quotient topology

Is there a concept of a "free Hilbert space on a set"?

Universal property of de Rham differential.

Proving the universal mapping property for polynomial rings

Tensor product of monoids and arbitrary algebraic structures

universal property in quotient topology

Is Stone-Čech compactification the only one with universal property?

Does the box topology have a universal property?

New posts in universal-property

A canonical construction proving $\left|HK\right| = \left|H\right|\left|K\right| / \left|H \cap K\right|$?

Universal skew field of fractions

Identify the universal property of kernels

Are there any non-obvious colimits of finite abelian groups?

Compact open topology on $\operatorname{GL}(n, \mathbb{R})$ coincides with Euclidean topology.

Proving that the free group on two generators is the coproduct $\mathbb{Z}*\mathbb{Z}$ in $\textbf{Grp}$

What is the class of topological spaces $X$ such that the functors $\times X:\mathbf{Top}\to\mathbf{Top}$ have right adjoints?

Universal property of $N\rtimes K$

What is a Universal Construction in Category Theory?

Explanation of terminal objects using limits

Proving the inclusion map of an integral domain into its quotient field is an epimorphism

Does the forgetful functor from $\mathbf{TopGrp}$ to $\mathbf{Top}$ admit a left adjoint?

Proof of the universal property of the quotient topology

Is there a concept of a "free Hilbert space on a set"?

Universal property of de Rham differential.

Proving the universal mapping property for polynomial rings

Tensor product of monoids and arbitrary algebraic structures

universal property in quotient topology

Is Stone-Čech compactification the only one with universal property?

Does the box topology have a universal property?