Strong functors and monoidal monads

1972/12/01 by Anders Kock · 18 citations
Mathematics · #Homotopy and Cohomology in Algebraic Topology #Algebraic Geometry and Number Theory #Advanced Topology and Set Theory

paper · doi:10.1007/bf01304852

Cited by

• Trace semantics via determinization
• Categories of Optics
• The Relative Monadic Metalanguage
• The Many Worlds of Modal \λ-calculi: I. Curry-Howard for\n Necessity, Possibility and Time
• Bidirectional Elaborators à la Carte
• A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
• Operads with general groups of equivariance, and some 2-categorical\n aspects of operads in Cat
• Monads on higher monoidal categories
• Probabilistic Relational Reasoning via Metrics
• Coherence for Pseudo Commutative Monads
• Metric Equational Theories
• Between Markov and restriction: Two more monads on categories for relations
• Calculus of extensive quantities
• A fibrational study of realizability toposes
• Regular Behaviours with Names
• Gabriel-Morita theory for excisive model categories
• An Equational Metalogic for Monadic Equational Systems
• Bernstein trace. [europepmc]