From dbe944be2941d04c8391ada2ba6c657be77aea60 Mon Sep 17 00:00:00 2001 From: Franciszek Malinka Date: Sat, 9 Jul 2022 20:05:03 +0200 Subject: updates updates --- sections/preliminaries.tex | 1 + 1 file changed, 1 insertion(+) (limited to 'sections/preliminaries.tex') diff --git a/sections/preliminaries.tex b/sections/preliminaries.tex index 47e889e..729ef1d 100644 --- a/sections/preliminaries.tex +++ b/sections/preliminaries.tex @@ -374,6 +374,7 @@ is the \emph{base} of the diagram. \begin{definition} + \label{definition:cospan_pushout} The \emph{cospan category} of category $\cC$, referred to as $\Cospan(\cC)$, is the category of cospan diagrams of $\cC$, where morphisms between two cospans are natural transformations of the underlying functors. -- cgit v1.2.3