(Co)end Calculus

DOI10.1017/9781108778657MaRDI QIDQ3388255zbMATH OpenOpenAlexFDO

Authors Fosco Loregiàn

Publication date 5 May 2021

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

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to category theory (18-02)

Recommendations

• The calculus of ends over a base topos
• scientific article; zbMATH DE number 5761737
• scientific article; zbMATH DE number 1863382
• scientific article; zbMATH DE number 49833
• An introduction to category theory

Cited in

(52)

• On (co)ends in \(\infty\)-categories
• Monadic cointegrals and applications to quasi-Hopf algebras
• Nets with mana: a framework for chemical reaction modelling
• Dold-Kan correspondence, revisited
• Coends of higher arity
• Recognition of connective commutative algebra spectra through an idempotent quasiadjunction
• Proof nets, coends and the Yoneda isomorphism
• Open diagrams via coend calculus
• Cyber kittens, or some first steps towards categorical cybernetics
• Compositional game theory, compositionally
• Green 2-functors
• A categorical approach to dynamical quantum groups
• On structuring functional programs with monoidal profunctors
• A formal logic for formal category theory
• Directed degeneracy maps for precubical sets
• On the Pre- and Promonoidal Structure of Spacetime
• Promonads and String Diagrams for Effectful Categories
• On the motivic class of the moduli stack of twisted \(G\)-covers
• Towards foundations of categorical cybernetics
• Pivotality, twisted centres, and the anti-double of a Hopf monad
• Value Iteration is Optic Composition
• Bidirectional processes -- in category theory, physics, engineering, \dots
• Coend calculus
• Monoidal streams for dataflow programming
• A categorical semantics for hierarchical Petri nets
• Twisted Drinfeld centers and framed string-nets
• Higher categories of push-pull spans. I: Construction and applications
• Automata and coalgebras in categories of species
• Two-dimensional Kripke semantics. II: Stability and completeness
• A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
• On vector spaces with formal infinite sums
• The produoidal algebra of process decomposition
• Two-dimensional Kripke semantics i: presheaves
• Automata and coalgebras in categories of species
• Deformation quantization via categorical factorization homology
• Tensor extriangulated categories
• Tensor enriched categorical generalization of the Eilenberg-Watts theorem
• Coinductive streams in monoidal categories
• Ind-completion and accessibility of functor categories
• Collages of string diagrams
• Bicategories of automata, automata in bicategories
• Tube category, tensor renormalization and topological holography
• String-net models for pivotal bicategories
• A profunctorial semantics for quantum supermaps
• Algebraic effects and handlers for arrows
• An axiomatics and a combinatorial model of creation/annihilation operators
• Cauchy convergence in \(\mathcal{V}\)-normed categories
• Universal construction in monoidal and non-monoidal settings, the Brauer envelope, and pseudocharacters
• Fusion categories over non-algebraically closed fields
• Day algebras
• \(R\)-\(\mathrm{Mod}\)-enriched categories are left \(\underline{R}\)-module objects of \(Cat(\mathbb{A}\mathrm{b})\) and \(Cat(\mathbb{A}\mathrm{b})\)-enriched functors
• Proof-theoretic semantics for intuitionistic multiplicative linear logic

This page was built for publication: (Co)end Calculus

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