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