# Structured versus Decorated Cospans

@inproceedings{Baez2021StructuredVD, title={Structured versus Decorated Cospans}, author={John C. Baez and Kenny Courser and Christina Vasilakopoulou}, year={2021} }

One goal of applied category theory is to understand open systems. We compare two ways of describing open systems as cospans equipped with extra data. First, given a functor L : A → X, a ‘structured cospan’ is a diagram in X of the form L(a)→ x← L(b). If A and X have finite colimits and L preserves them, it is known that there is a symmetric monoidal double category whose objects are those of A and whose horizontal 1-cells are structured cospans. Second, given a pseudofunctor F : A → Cat, a… Expand

#### One Citation

Structured Cospans

- Mathematics
- 2019

One goal of applied category theory is to better understand networks appearing throughout science and engineering. Here we introduce "structured cospans" as a way to study networks with inputs and… Expand

#### References

SHOWING 1-10 OF 55 REFERENCES

Decorated Cospans

- Mathematics
- 2015

Let C be a category with finite colimits, writing its coproduct +, and let (D,⊗) be a braided monoidal category. We describe a method of producing a symmetric monoidal category from a lax braided… Expand

Structured Cospans

- Mathematics
- 2019

One goal of applied category theory is to better understand networks appearing throughout science and engineering. Here we introduce "structured cospans" as a way to study networks with inputs and… Expand

Monoidal Bicategories and Hopf Algebroids

- Mathematics
- 1997

Why are groupoids such special categories? The obvious answer is because all arrows have inverses. Yet this is precisely what is needed mathematically to model symmetry in nature. The relation… Expand

SPAN, COSPAN, AND OTHER DOUBLE CATEGORIES

- Mathematics
- 2012

Given a double category such that 0 has pushouts, we characterize oplax/lax adjunctions / o ospan( 0) for which the right adjoint is normal and re- stricts to the identity on 0, where ospan( 0) is… Expand

Framed bicategories and monoidal fibrations

- Mathematics
- 2007

In some bicategories, the 1-cells are `morphisms' between the 0-cells, such as functors between categories, but in others they are `objects' over the 0-cells, such as bimodules, spans, distributors,… Expand

Open Systems: A Double Categorical Perspective

- Mathematics
- 2020

Author(s): Courser, Kenny | Advisor(s): Baez, John C | Abstract: Fong has developed a compositional framework by the name of \emph{decorated cospans} that is well-suited for modeling `open' networks… Expand

A bicategory of decorated cospans

- Mathematics
- 2016

If $\mathbf{C}$ is a category with pullbacks then there is a bicategory with the same objects as $\mathbf{C}$, spans as morphisms, and maps of spans as 2-morphisms, as shown by Benabou. Fong has… Expand

Monoidal Grothendieck Construction

- Mathematics
- 2018

We lift the standard equivalence between fibrations and indexed categories to an equivalence between monoidal fibrations and monoidal indexed categories, namely weak monoidal pseudofunctors to the… Expand

Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams

- Mathematics, Computer Science
- 2014

This paper uses the language of operads to study the algebraic nature of assembling complex dynamical systems from an interconnection of simpler ones, and defines two W-algebras, G and L, which associate semantic content to the structures in W. Expand

Compact Closed Bicategories

- Mathematics
- 2013

A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual "zig-zag" identities of a compact closed category… Expand