Coend calculus

Abstract

The book formerly known as "This is the (co)end, my only (co)friend".

This is the final version a moment before book printing; slightly slimmer version, lots of mistakes removed. On May 2023, a small edit has been done, maintaining all typos that CUP removed during the copyediting phase --and that I am not allowed to remove. Good luck finding those!

References in corpus (4)

• Homotopy limits and colimits and enriched homotopy theory
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• Profunctor Optics, a Categorical Update
• Contravariance through enrichment

Cited by in corpus (19)

• Towards Foundations of Categorical Cybernetics
• Profunctor Optics, a Categorical Update
• Bayesian open games
• An Axiomatics and a Combinatorial Model of Creation/Annihilation Operators
• On the Pre- and Promonoidal Structure of Spacetime
• Nets with Mana: A Framework for Chemical Reaction Modelling
• Promonads and String Diagrams for Effectful Categories
• Tube Category, Tensor Renormalization and Topological Holography
• Collages of String Diagrams
• Reinforcement Learning in Categorical Cybernetics
• Higher categories of push-pull spans, I: Construction and applications
• Tensor Enriched Categorical Generalization of the Eilenberg-Watts Theorem
• Day algebras
• Two-dimensional Kripke Semantics II: Stability and Completeness
• A Profunctorial Semantics for Quantum Supermaps
• On Vector Spaces with Formal Infinite Sums
• Monoid Structures on Indexed Containers
• On the Motivic Class of the Moduli Stack of Twisted $G$-Covers
• Recognition of commutative algebra spectra through an idempotent quasiadjunction