• Corpus ID: 249282245

Labelled cospan categories and properads

  title={Labelled cospan categories and properads},
  author={Jonathan Beardsley and Philip Hackney},
We prove Steinebrunner’s conjecture on the biequivalence between (colored) properads and labelled cospan categories. The main part of the work is to establish a 1-categorical, strict version of the conjecture, showing that the category of properads is equivalent to a category of strict labelled cospan categories via the symmetric monoidal envelope functor. 

Figures from this paper


The recognition of clinical chemistry as a distinct discipline is relatively new, even though the foundations are as old as recorded science. The recent activity to train clinical chemists at both
The surface category and tropical curves
We compute the classifying space of the surface category $\mathrm{Cob}_2$ whose objects are closed $1$-manifolds and whose morphisms are diffeomorphism classes of surface bordisms, and show that it
On rectification and enrichment of infinity properads
We develop a theory of infinity properads enriched in a general symmetric monoidal infinity category. These are defined as presheaves, satisfying a Segal condition and a Rezk completeness condition,
2-Dimensional Categories
This book is an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory. A review of basic category theory is followed by a systematic discussion
Koszul Duality in Higher Topoi
We show that for any pointed and $k$-connective object $X$ of an $n$-topos $\mathcal{X}$ for $0\leq n\leq\infty$ and $k>0$, there is an equivalence between the $\infty$-category of modules in
This review is the report of a single experimental protocol on the nature, structure and mechanical strength of 136 bone samples from the vertebral body of 9 subjects, which combined mechanical testing with density measurements, a study of some microarchitectural parameters and a biochemical analysis of bone collagen.
Homotopy-coherent algebra via Segal conditions
Fibred and Cofibred Categories
Fibred categories were introduced by Gkothendieck in [SGA] and [BB190]. As far as I know these are the only easily available references to the subject. Through sheer luck, during the final
Categorical notions of fibration