Strong functors and monoidal monads

1972/12/01 by Anders Kock · 258 citations
Mathematics · #Adjoint functors #Advanced Topology and Set Theory #Algebra over a field #Algebraic Geometry and Number Theory #Functor #Homotopy and Cohomology in Algebraic Topology #Mathematics #Pure mathematics #Symmetric monoidal category

paper · doi:10.1007/bf01304852

published in Archiv der Mathematik 23(1), 113-120 (Birkhäuser)

openalex publication_date 1972/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/23

Cited by

• Trace semantics via determinization
• Categories of Optics
• The Relative Monadic Metalanguage
• The Many Worlds of Modal λ-calculi: I. Curry-Howard for 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
• Some calculus with extensive quantities: wave equation
• Monads and extensive quantities
• Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version)
• Fibred Computational Effects
• Big Steps in Higher-Order Mathematical Operational Semantics
• Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
• Categorical Probability Theory
• Morita theory in enriched context
• Logical relations for call-by-push-value models, via internal fibrations in a 2-category
• Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version)
• Logic of computational semi-effects and categorical gluing for equivariant functors
• Notions of computation and monads
• Bimonoidal Structure of Probability Monads
• Categorical Quantum Dynamics
• Bernstein trace. [europepmc]