Shapely monads and analytic functors

DOI10.1093/LOGCOM/EXX029zbMATH Open1444.18009arXiv1512.05980OpenAlexW2963887524MaRDI QIDQ4684352FDOQ4684352

Authors: Richard Garner, Tom Hirschowitz 

Publication date: 28 September 2018

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Abstract: In this paper, we give precise mathematical form to the idea of a structure whose data and axioms are faithfully represented by a graphical calculus; some prominent examples are operads, polycategories, properads, and PROPs. Building on the established presentation of such structures as algebras for monads on presheaf categories, we describe a characteristic property of the associated monads---the shapeliness of the title---which says that "any two operations of the same shape agree". An important part of this work is the study of analytic functors between presheaf categories, which are a common generalisation of Joyal's analytic endofunctors on sets and of the parametric right adjoint functors on presheaf categories introduced by Diers and studied by Carboni--Johnstone, Leinster and Weber. Our shapely monads will be found among the analytic endofunctors, and may be characterised as the submonads of a universal analytic monad with "exactly one operation of each shape". In fact, shapeliness also gives a way to define the data and axioms of a structure directly from its graphical calculus, by generating a free shapely monad on the basic operations of the calculus. In this paper we do this for some of the examples listed above; in future work, we intend to do so for graphical calculi such as Milner's bigraphs, Lafont's interaction nets, or Girard's multiplicative proof nets, thereby obtaining canonical notions of denotational model.

Full work available at URL: https://arxiv.org/abs/1512.05980

Recommendations

• scientific article; zbMATH DE number 1497806
• Theories of analytic monads
• Functional distribution monads in functional-analytic contexts
• scientific article; zbMATH DE number 3434546
• Convexities generated by monads
• QF functors and (co)monads
• Polynomial functors and polynomial monads
• Equational presentations of functors and monads
• Monads on projective varieties

zbMATH Keywords

coherenceoperadsmonadsPROPsgraphical calculipolycategoriesanalytic functors

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Operads (general) (18M60)

Cited In (6)

• Title not available (Why is that?)
• Regular planar monoidal languages
• Stabilized profunctors and stable species of structures
• Quillen-Segal algebras and stable homotopy theory
• Segal conditions for generalized operads
• A categorical framework for congruence of applicative bisimilarity in higher-order languages

This page was built for publication: Shapely monads and analytic functors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4684352)