Constructing Span Categories From Categories Without Pullbacks

DOI10.2140/PJM.2022.321.443MaRDI QIDQ6345158arXivFDO

Authors David Weisbart, Adam M. Yassine

Publication date 15 July 2020

Published in arXiv

Full work available at URL https://doi.org/10.2140/PJM.2022.321.443

Mathematics Subject Classification ID

Categories in geometry and topology (18F99) Applications of differential geometry to physics (53Z05) Axiomatics, foundations (70A05)

arXiv classification

math.CT

Abstract: Span categories provide an abstract framework for formalizing mathematical models of certain systems. The mathematical descriptions of some systems, such as classical mechanical systems, require categories that do not have pullbacks, and this limits the utility of span categories as a formal framework. Given categories $mathscrC$ and $mathscr{C}^{p}rime$ and a functor $mathcalF$ from $mathscrC$ to $mathscr{C}^{p}rime$, we introduce the notion of an $mathcalF$ pullback of a cospan in $mathscrC$, as well as the notion of span tightness of $mathcalF$. If $mathcalF$ is span tight, then we can form a generalized span category $mSpan(mathscrC,mathcalF)$ and circumvent the technical difficulty of $mathscrC$ failing to have pullbacks. Composition in $mSpan(mathscrC,mathcalF)$ uses $mathcalF$-pullbacks rather than pullbacks and in this way differs from the category $mSpan(mathscrC)$, but reduces to it when both $mathscrC$ has pullbacks and $mathcalF$ is the identity functor.

This page was built for publication: Constructing Span Categories From Categories Without Pullbacks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6345158)