Premonoidal and Kleisli double categories

DOI10.1017/S0960129526100498MaRDI QIDQ7250606zbMATH OpenFDO

Authors Bojana Femić

Publication date 21 May 2026

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1017/S0960129526100498

zbMATH Keywords

cubical double functorsdouble categoriesdouble monadshorizontal Kleisli double categorypremonoidal bicategories

Mathematics Subject Classification ID

Category theory; homological algebra (18-XX)

Cites work

• A unified framework for generalized multicategories
• Categorical centers and Yetter-Drinfel'd-modules as 2-categorical (bi)lax structures
• Coherence for tricategories
• Commutative semantics for probabilistic programming
• Comonadic notions of computation
• Compact closed bicategories
• Comparing composites of left and right derived functors
• Drinfeld centers for bicategories
• Effectful semantics in 2-dimensional categories: premonoidal and Freyd bicategories
• Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads
• Formal category theory: Adjointness for 2-categories
• Framed bicategories and monoidal fibrations
• How strict is strictification?
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 3536300 (Why is no real title available?)
• scientific article; zbMATH DE number 1024330 (Why is no real title available?)
• scientific article; zbMATH DE number 2139647 (Why is no real title available?)
• scientific article; zbMATH DE number 1389226 (Why is no real title available?)
• scientific article; zbMATH DE number 1405668 (Why is no real title available?)
• scientific article; zbMATH DE number 7779295 (Why is no real title available?)
• scientific article; zbMATH DE number 7823990 (Why is no real title available?)
• Linear usage of state
• Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
• Notions of computation and monads
• Premonoidal categories and notions of computation
• Premonoidal categories as categories with algebraic structure
• Promonads and String Diagrams for Effectful Categories
• Representable multicategories
• The Gray monoidal product of double categories
• The Gray tensor product via factorisation
• Transparency condition in the categories of Yetter-Drinfeld modules over Hopf algebras in braided categories.
• Universal properties of impure programming languages

This page was built for publication: Premonoidal and Kleisli double categories

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