New posts in category-theory

How to construct polynomial ring $K[x]$ over commutative ring $K$ by making use of universal arrows.

Definitions of direct product and of direct sum

Distributivity of categorical product and sum

$\text{colim}(\mathcal{C} \hookrightarrow \mathcal{X}) = 1$

Free group construction via General Adjoint Functor Theorem in Riehl

Simple examples to illustrate Category, Monoid and Monad?

Are limits categorical limits? [duplicate]

Why the morphisms of vector spaces, over different fields is not interesting?

Most general form of Cayley's theorem?

Are categories larger than classes?

Corollaries of the Yoneda Lemma in Analysis?

Show that the powerset partial order is a cartesian closed category.

What are the "correct" modules over locally ringed spaces?

What is a monad in FP, in categorical terms?

Is there an accepted term for those objects of a category $X$ such that for all $Y$, there is at most one arrow $X \rightarrow Y$?

Is every commutative ring a limit of noetherian rings?

Limits in the category of exact sequences

Cogroup structures on the profinite completion of the integers

Motivation for Definition of Derived Category

Epimorphisms of locally compact spaces