Decorated Cospans
Category Theory
2015-08-12 v3
Abstract
Let be a category with finite colimits, writing its coproduct , and let be a braided monoidal category. We describe a method of producing a symmetric monoidal category from a lax braided monoidal functor , 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 , while the morphisms are pairs comprising a cospan in together with an element in . Moreover, decorated cospan categories are multigraph categories---each object is equipped with a special commutative Frobenius monoid---and their functors preserve this structure.
Cite
@article{arxiv.1502.00872,
title = {Decorated Cospans},
author = {Brendan Fong},
journal= {arXiv preprint arXiv:1502.00872},
year = {2015}
}
Comments
25 pages