Labelled cospan categories and properads (Q6051108)
From MaRDI portal
scientific article; zbMATH DE number 7740052
Language | Label | Description | Also known as |
---|---|---|---|
English | Labelled cospan categories and properads |
scientific article; zbMATH DE number 7740052 |
Statements
Labelled cospan categories and properads (English)
0 references
19 September 2023
0 references
Properads are generalizations of operads that allow operations with multiple inputs and multiple outputs, with composition along connected graphs. A \textit{labelled cospan category} in the sense of Steinebrunner is a symmetric monoidal functor \(\pi \colon C \to \mathbf{Csp}\) satisfying some axioms. Here \(\mathbf{Csp}\) is the category with finite sets as objects, and a morphism from \(A\) to \(B\) is an equivalence class of cospans \(A \to C \leftarrow B\). The authors prove the following conjecture of Steinebrunner. {Theorem A}. The 2-category of properads is biequivalent to the 2-category of labelled cospan categories. The proof of Theorem A uses the following variant. {Theorem B}. There is a strict 2-equivalence between the 2-category of properads and the 2-category of strict labelled cospan categories.
0 references
cospan
0 references
properad
0 references
labelled cospan category
0 references
Segal condition
0 references
0 references