Languages for monoidal categories
From MaRDI portal
As the title suggests, the author introduces typed languages for monoidal categories, in analogy with what has been done for toposes and cartesian closed categories (for example). As more and more examples of non-strict monoidal categories arise - quantum groups come to mind - such languages should become more widely used and useful. To quote the author, ``The power of this language is that it manipulates not only the formal monoidal structure, which the coherence theorem also does, but the data specific to [the monoidal category]. The language depends both on the theory of a monoidal category and the specific model with which one wants to work.
Recommendations
- A survey of graphical languages for monoidal categories
- scientific article; zbMATH DE number 4150466
- A categorical approach to syntactic monoids
- Syntactic monoids in a category
- Compact monoidal categories from linguistics to physics
- scientific article; zbMATH DE number 1189299
- Monoidal categories
- Abstract families of abstract categorial languages
- Quantifiers on languages and codensity monads
- Quantifiers on languages and codensity monads
Cites work
- Adjunctions in monoidal categories
- Categorical algebra
- Center and trace
- Coherence and non-commutative diagrams in closed categories
- Coherence in closed categories
- Deductive systems and categories
- scientific article; zbMATH DE number 4150466 (Why is no real title available?)
- scientific article; zbMATH DE number 4165146 (Why is no real title available?)
- scientific article; zbMATH DE number 3904807 (Why is no real title available?)
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 3680046 (Why is no real title available?)
- scientific article; zbMATH DE number 3724667 (Why is no real title available?)
- scientific article; zbMATH DE number 3512375 (Why is no real title available?)
- scientific article; zbMATH DE number 3572378 (Why is no real title available?)
- scientific article; zbMATH DE number 3574077 (Why is no real title available?)
- scientific article; zbMATH DE number 3592214 (Why is no real title available?)
- scientific article; zbMATH DE number 3281754 (Why is no real title available?)
- scientific article; zbMATH DE number 3305156 (Why is no real title available?)
- scientific article; zbMATH DE number 3309240 (Why is no real title available?)
- scientific article; zbMATH DE number 3316072 (Why is no real title available?)
- scientific article; zbMATH DE number 3339463 (Why is no real title available?)
- scientific article; zbMATH DE number 3360361 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- scientific article; zbMATH DE number 3382585 (Why is no real title available?)
- scientific article; zbMATH DE number 3384258 (Why is no real title available?)
- scientific article; zbMATH DE number 3385867 (Why is no real title available?)
- Infinite loop space theory
- La logique des topos
- Monads on symmetric monoidal closed categories
- On closed categories of functors
- On MacLane's conditions for coherence of natural associativities, commutativities, etc
- Relative functor categories and categories of algebras
- Universal algebra in a closed category
Cited in
(24)- An internal language for autonomous categories
- Algebraic properties of quantum quasigroups
- Augmented quasigroups and character algebras
- Monoidal indeterminates and categories of possible worlds
- GS theories: a syntax for higher-order graphs
- Physics, Topology, Logic and Computation: A Rosetta Stone
- Covert movement in logical grammar
- scientific article; zbMATH DE number 4150466 (Why is no real title available?)
- *-Autonomous categories and linear logic
- Monoidal indeterminates and categories of possible worlds
- The formal theory of multimonoidal monads
- The algebra of directed acyclic graphs
- A practical type theory for symmetric monoidal categories
- Updating probabilistic knowledge on condition/event nets using Bayesian networks
- Aspects of categorical recursion theory
- Quantifiers on languages and codensity monads
- Symmetry classes of quantum quasigroups
- Nonsymmetric \(^{\ast}\)-autonomous categories
- Quantization of web geometry: semisymmetrization of linear quantum quasigroups
- Linear logic, coherence and dinaturality
- Equational quantum quasigroups
- A note on natural numbers objects in monoidal categories
- The structure of free closed categories
- The logic of message-passing
This page was built for publication: Languages for monoidal categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q584380)
