Coherence in closed categories
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3305156 (Why is no real title available?)
- scientific article; zbMATH DE number 3316072 (Why is no real title available?)
- scientific article; zbMATH DE number 3385867 (Why is no real title available?)
- A generalization of the functorial calculus
- Coherence of adjoints, associativities, and identities
- Deductive systems and categories
- Functors between tensored categories
- On MacLane's conditions for coherence of natural associativities, commutativities, etc
Cited in
(81)- Ologisms
- On Compositionality of Dinatural Transformations
- Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions
- Morita equivalence of module categories with tensor products
- A-transformation dans les arbres n-aires
- Interacting quantum observables: categorical algebra and diagrammatics
- Three faces of natural deduction
- Isomorphic formulae in classical propositional logic
- G-dinaturality.
- On categorical equivalence of Gentzen-style derivations in IMLL
- Categories
- Closed categories and the theory of proofs
- Coherence for categories with associativity, commutativity and distributivity
- Coherence in linear predicate logic
- Kompakt erzeugte Räume und Limesräume. (Compactly generated spaces and limit spaces)
- Models of deduction
- Coherence in SMCCs and equivalences on derivations in IMML with unit
- Purity and flatness in symmetric monoidal closed exact categories
- On embedding closed categories
- Linear Läuchli semantics
- Interaction graphs: multiplicatives
- Coherence for bicategories, lax functors, and shadows
- Topology and logic as a source of algebra
- A categorical reduction system for linear logic
- \(E_ n\)-ring categories
- Coherence in categorical groups∗
- On natural transformations of distinguished functors and their superpositions in certain closed categories
- Languages for monoidal categories
- Discrete-time machines in closed monoidal categories. I
- Two-dimensional monad theory
- Proof nets and semi-star-autonomous categories
- Hermitian \(K\)-theory, derived equivalences and Karoubi's fundamental theorem
- Exhausting strategies, joker games and full completeness for IMLL with unit
- An internal language for autonomous categories
- scientific article; zbMATH DE number 3558028 (Why is no real title available?)
- Algebraic geometry in first-order logic
- Monads generated by monoids
- Wall-crossing, Hitchin systems, and the WKB approximation
- Kohaerenz in Kategorien mit Gruppenstruktur
- Inheritance as implicit coercion
- scientific article; zbMATH DE number 7450001 (Why is no real title available?)
- The development and prospects for category theory
- On the conditions of full coherence in closed categories
- Coherence for compact closed categories
- Coherence in Nonmonoidal Closed Categories
- The \(n\)-fold reduced bar construction
- Witt groups of smooth projective quadrics
- Abstract tensor systems as monoidal categories
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
- Generality of proofs and its Brauerian representation
- Coherence for star-autonomous categories
- scientific article; zbMATH DE number 7204450 (Why is no real title available?)
- Multiplicative infinite loop space theory
- Simplicial Endomorphisms
- Brauer groups and Amitsur cohomology for general commutative ring extensions
- Une théorie combinatoire des séries formelles
- First quadrant spectral sequences in algebraic k-theory via homotopy colimits
- Cyclic multicategories, multivariable adjunctions and mates
- An Australian conspectus of higher categories
- Absolutely pure covers of sheaves
- General comodule-contramodule correspondence
- \(\ast\)-autonomous envelopes and conservativity
- Examples of non-monadic structures on categories
- Hopf algebras and linear logic
- Simple free star-autonomous categories and full coherence
- Proof of a S.Mac Lane conjecture (extended abstract)
- Natural deduction and coherence for weakly distributive categories
- Coherence for monoidal endofunctors
- Tortile tensor categories
- Coherence for closed categories with biproducts
- Abel transformation and harmonic analysis. I
- On paradoxes in normal form
- Equality of morphism and coherence theorem for biclosed categories
- Coherence and embedding of algebras
- Natural transformations of the superpositions of distinguished functors in certain closed categories
- Proof of a conjecture of S. Mac Lane
- Aspects of categorical recursion theory
- Combinatorial flows as bicolored atomic flows
- Embedding of Closed Categories Into Monoidal Closed Categories
- Linear logic, coherence and dinaturality
- ON THE GENERALIZED H-LIE STRUCTURE OF ASSOCIATIVE ALGEBRAS IN YETTER-DRINFELD CATEGORIES
This page was built for publication: Coherence in closed categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2544617)
