scientific article; zbMATH DE number 7136667
From MaRDI portal
Publication:4972739
zbMath1454.03083arXiv1804.11116MaRDI QIDQ4972739
Publication date: 26 November 2019
Full work available at URL: https://arxiv.org/abs/1804.11116
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Eilenberg-Moore and Kleisli constructions for monads (18C20) Monoidal categories, symmetric monoidal categories (18M05)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On Sweedler's cofree cocommutative coalgebra.
- Hopf monads on monoidal categories
- Linear logic
- On monoids in the category of sets and relations
- On linear representations of affine groups. I
- Glueing and orthogonality for models of linear logic
- Comparing hierarchies of types in models of linear logic
- Hopf monads
- Algebras versus coalgebras
- The formal theory of monads
- On MacLane's conditions for coherence of natural associativities, commutativities, etc
- The Free Exponential Modality of Probabilistic Coherence Spaces
- A Survey of Graphical Languages for Monoidal Categories
- Bialgebras in Rel
- Tensor categorical foundations of algebraic geometry
- Differential categories
- On Categories of Monoids, Comonoids, and Bimonoids
- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
- Hopf algebras and linear logic
- Cartesian Differential Storage Categories
- Weighted Relational Models of Typed Lambda-Calculi
- Monads on tensor categories
This page was built for publication:
