Corpus ID: 231698458

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
1 Citations
Structured Cospans
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 andExpand

References

SHOWING 1-10 OF 55 REFERENCES
Decorated Cospans
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 braidedExpand
Structured Cospans
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 andExpand
Monoidal Bicategories and Hopf Algebroids
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 relationExpand
SPAN, COSPAN, AND OTHER DOUBLE CATEGORIES
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) isExpand
Framed bicategories and monoidal fibrations
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
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' networksExpand
A bicategory of decorated cospans
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 hasExpand
Monoidal Grothendieck Construction
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 theExpand
Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams
TLDR
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
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 categoryExpand
...
1
2
3
4
5
...