scientific article; zbMATH DE number 3264101

Cited in

(35)

Monads generated by monoids
Limits indexed by category-valued 2-functors
Completeness results for intuitionistic and modal logic in a categorical setting
A coherent approach to pseudomonads
The universal property of the multitude of trees
Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
On Hopf adjunctions, Hopf monads and Frobenius-type properties
Monads for which structures are adjoint to units
Ordinals in Frobenius monads
Wreaths, mixed wreaths and twisted coactions
Triangulations, orientals, and skew monoidal categories
The syntax of coherence
Categories in categories, and size matters
A 2-categories companion
An Australian conspectus of higher categories
scientific article; zbMATH DE number 3680046 (Why is no real title available?)
scientific article; zbMATH DE number 3724667 (Why is no real title available?)
scientific article; zbMATH DE number 3567036 (Why is no real title available?)
Pseudo-Kan extensions and descent theory
Causal inference via string diagram surgery. A diagrammatic approach to interventions and counterfactuals
Strictification tensor product of 2-categories
Coherence for modalities
The path relation for directed planar graphs in rectangles, and its relation to the free diad
Cartesian double theories: a double-categorical framework for categorical doctrines
Introduction: A personal tribute to Peter Freyd and Bill Lawvere
Algebra and local presentability: how algebraic are they? (A survey)
Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem
The quantum monadology
A finite algebraic presentation of Lawvere theories in the object-classifier topos
Foreword
Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals
Functorial semantics for relational theories
Matrices, relations, and group representations
Homotopy coherent adjunctions and the formal theory of monads

This page was built for publication:

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