Pith. sign in

REVIEW 1 cited by

Decorated Cospans

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1502.00872 v3 pith:H7KDVBQ6 submitted 2015-02-03 math.CT

Decorated Cospans

classification math.CT
keywords mathcalmonoidalcategoriescategorycospandecoratedbraidedfunctor
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

Let $\mathcal C$ be a category with finite colimits, writing its coproduct $+$, and let $(\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: (\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 $\mathcal C$, while the morphisms are pairs comprising a cospan $X \rightarrow N \leftarrow Y$ in $\mathcal C$ together with an element $1 \to FN$ in $\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.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Double Categories of Open Systems: the Cospan Approach

    math.CT 2025-09 conditional novelty 4.0

    Structured and decorated cospan double categories for open systems have an exoskeleton/outer shell structure, and every object in them is a special symmetric Frobenius pseudomonoid.