English

Decorated Cospans

Category Theory 2015-08-12 v3

Abstract

Let C\mathcal C be a category with finite colimits, writing its coproduct ++, and let (D,)(\mathcal D, \otimes) be a braided monoidal category. We describe a method of producing a symmetric monoidal category from a lax braided monoidal functor F:(C,+)(D,)F: (\mathcal C,+) \to (\mathcal D, \otimes), and of producing a strong monoidal functor between such categories from a monoidal natural transformation between such functors. The objects of these categories, our so-called `decorated cospan categories', are simply the objects of C\mathcal C, while the morphisms are pairs comprising a cospan XNYX \rightarrow N \leftarrow Y in C\mathcal C together with an element 1FN1 \to FN in D\mathcal D. Moreover, decorated cospan categories are multigraph categories---each object is equipped with a special commutative Frobenius monoid---and their functors preserve this structure.

Keywords

Cite

@article{arxiv.1502.00872,
  title  = {Decorated Cospans},
  author = {Brendan Fong},
  journal= {arXiv preprint arXiv:1502.00872},
  year   = {2015}
}

Comments

25 pages

R2 v1 2026-06-22T08:20:36.168Z