Examples

  • In \({ {}_{k} \mathsf{Alg} }\): the pushout is \(\colim (A \to B \leftarrow C) = A\otimes_B C\)