Pith. sign in

REVIEW 2 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

classification math.CT
keywords mathcalmonoidalcategoriescategorycospandecoratedbraidedfunctor
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
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). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

  1. Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics

    cs.LO 2025-02 conditional novelty 6.0 of 10

    A sound and complete denotational, operational, and algebraic semantics for synchronous sequential circuits with arbitrary feedback, plus a hypergraph rewriting framework for digital circuits.

  2. Double Categories of Open Systems: the Cospan Approach

    math.CT 2025-09 conditional novelty 4.0 of 10

    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.

Pith tools