Categories and functors, universal properties, algebras and algebraic theories, topoi, enriched and internal categories, structured categories (abelian, monoidal, etc), higher categories.

learn more… | top users | synonyms

5
votes
1answer
278 views
+50

Why are pushouts the right tool in these setups

$\newcommand{\cat}[1]{\mathcal{#1}}$ $\newcommand{\cod}{\operatorname{cod}}$ $\DeclareMathOperator{\dom}{dom}$ $\DeclareMathOperator{\colim}{colim}$ The question is about two pushout constructions ...