A cospan
in a category $\mathcal{C}$ is called quadrable , if there exists a cone
Let $Sp = \left\{\array{ B &&&& C \\ & \nwarrow && \nearrow \\ && A}\right\}$ denote the span diagram category, that is, the category with three objects $A,B,C$ and two non-identity morphisms $A\to B$ and $A\to C$.
Let $\mathcal{C}$ be any category and let $\Delta$ denote the diagonal $\mathcal{C}\to [Sp^{op},\mathcal{C}]$ into the functor category sending an object $X\mapsto c_X$, where $c_X$ is the constant functor sending all objects and all morphisms of $Sp^{op}$ to $X$ and $id_X$ respectively.
For $F\in [Sp^{op}, \mathcal{C}]$ let $*_F$ denote the unique functor $*\to [Sp^{op},\mathcal{C}]$ from the terminal category such that the unique object of $*$ maps to $F$.
We say that a cospan $F$ in a category $\mathcal{C}$, that is, an object of the functor category $[Sp^{op},\mathcal{C}]$ is quadrable if there exists a cone $N$ for $F$, that is, an object $N$ in the comma category $(\Delta \downarrow *_F)$.
Dually, we say that a span $G$ in a category $C$, that is, an object of the functor category $[Sp,\mathcal{C}]$ is coquadrable if there exists a cocone $N$ for $G$, that is, an object $N$ in the comma category $(*_G \downarrow \Delta)$.
We say that a category $\mathcal{C}$ is quadrable (resp. coquadrable) if all cospans (resp. spans) in $C$ are quadrable (resp. coquadrable).
The term quadrable is supposed to be a translation of the French carrable , whose use is more wide-spread. It appears for instance in
Bertrand Toen, A master course on algebraic stacks (Toulouse 2005) cours 2 (web)
AndrΓ© Joyal, Notes on Clans and Tribes, arxiv:1710.10238
Last revised on June 23, 2019 at 17:56:21. See the history of this page for a list of all contributions to it.