Languages for monoidal categories
From MaRDI portal
Publication:584380
DOI10.1016/0022-4049(89)90163-1zbMATH Open0693.18003OpenAlexW2162340558MaRDI QIDQ584380FDOQ584380
Authors: Barry Jay 
Publication date: 1989
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(89)90163-1
Recommendations
- A survey of graphical languages for monoidal categories
- Publication:3480252
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On MacLane's conditions for coherence of natural associativities, commutativities, etc
- La logique des topos
- Title not available (Why is that?)
- Categorical algebra
- Title not available (Why is that?)
- On closed categories of functors
- Title not available (Why is that?)
- Title not available (Why is that?)
- Monads on symmetric monoidal closed categories
- Title not available (Why is that?)
- Deductive systems and categories
- Universal algebra in a closed category
- Title not available (Why is that?)
- Coherence in closed categories
- Center and trace
- Adjunctions in monoidal categories
- Relative functor categories and categories of algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Coherence and non-commutative diagrams in closed categories
- Infinite loop space theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (22)
- A note on natural numbers objects in monoidal categories
- The structure of free closed categories
- Symmetry classes of quantum quasigroups
- Monoidal indeterminates and categories of possible worlds
- Quantifiers on languages and codensity monads
- Updating probabilistic knowledge on condition/event nets using Bayesian networks
- The formal theory of multimonoidal monads
- Title not available (Why is that?)
- *-Autonomous categories and linear logic
- Monoidal indeterminates and categories of possible worlds
- An internal language for autonomous categories
- Physics, Topology, Logic and Computation: A Rosetta Stone
- The algebra of directed acyclic graphs
- Nonsymmetric \(^{\ast}\)-autonomous categories
- GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs
- The logic of message-passing
- Augmented quasigroups and character algebras
- Algebraic properties of quantum quasigroups
- Aspects of categorical recursion theory
- Covert movement in logical grammar
- A practical type theory for symmetric monoidal categories
- Linear logic, coherence and dinaturality
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)
