Shapely monads and analytic functors

DOI10.1093/LOGCOM/EXX029zbMath1444.18009arXiv1512.05980OpenAlexW2963887524MaRDI QIDQ4684352

Tom Hirschowitz, Richard Garner

Publication date: 28 September 2018

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

coherencemonadsoperadsPROPsgraphical 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)

Related Items (3)

A categorical framework for congruence of applicative bisimilarity in higher-order languages ⋮ Quillen-Segal algebras and Stable homotopy theory ⋮ Unnamed Item

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