Coherence in closed categories
From MaRDI portal
Publication:2544617
DOI10.1016/0022-4049(71)90013-2zbMath0212.35001OpenAlexW1985063546MaRDI QIDQ2544617
Publication date: 1971
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(71)90013-2
Related Items (78)
Generality of proofs and its Brauerian representation ⋮ First quadrant spectral sequences in algebraic k-theory via homotopy colimits ⋮ ON THE GENERALIZED H-LIE STRUCTURE OF ASSOCIATIVE ALGEBRAS IN YETTER-DRINFELD CATEGORIES ⋮ Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ Proof of a S.Mac Lane conjecture (extended abstract) ⋮ Unnamed Item ⋮ \(E_ n\)-ring categories ⋮ Cyclic multicategories, multivariable adjunctions and mates ⋮ Proof of a conjecture of S. Mac Lane ⋮ Two-dimensional monad theory ⋮ Linear Läuchli semantics ⋮ Natural deduction and coherence for weakly distributive categories ⋮ The development and prospects for category theory ⋮ Wall-crossing, Hitchin systems, and the WKB approximation ⋮ Coherence for categories with associativity, commutativity and distributivity ⋮ Examples of non-monadic structures on categories ⋮ Simple free star-autonomous categories and full coherence ⋮ Exhausting strategies, joker games and full completeness for IMLL with unit ⋮ Purity and flatness in symmetric monoidal closed exact categories ⋮ Combinatorial flows as bicolored atomic flows ⋮ G-dinaturality. ⋮ On categorical equivalence of Gentzen-style derivations in IMLL ⋮ Coherence for compact closed categories ⋮ Closed categories and the theory of proofs ⋮ Simplicial Endomorphisms ⋮ Coherence for closed categories with biproducts ⋮ Coherence for bicategories, lax functors, and shadows ⋮ Kohaerenz in Kategorien mit Gruppenstruktur ⋮ Three faces of natural deduction ⋮ Unnamed Item ⋮ Une théorie combinatoire des séries formelles ⋮ Hopf algebras and linear logic ⋮ Interacting quantum observables: categorical algebra and diagrammatics ⋮ Inheritance as implicit coercion ⋮ Witt groups of smooth projective quadrics ⋮ Topology and logic as a source of algebra ⋮ Hermitian \(K\)-theory, derived equivalences and Karoubi's fundamental theorem ⋮ Linear logic, coherence and dinaturality ⋮ Abstract Tensor Systems as Monoidal Categories ⋮ Towards Hilbert's 24th Problem: Combinatorial Proof Invariants ⋮ Coherence for monoidal endofunctors ⋮ Proof nets and semi-star-autonomous categories ⋮ Discrete-time machines in closed monoidal categories. I ⋮ Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions ⋮ Monads generated by monoids ⋮ On embedding closed categories ⋮ Interaction graphs: multiplicatives ⋮ Coherence for star-autonomous categories ⋮ Models of deduction ⋮ On natural transformations of distinguished functors and their superpositions in certain closed categories ⋮ Languages for monoidal categories ⋮ The \(n\)-fold reduced bar construction ⋮ Brauer groups and Amitsur cohomology for general commutative ring extensions ⋮ On paradoxes in normal form ⋮ Categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Coherence in linear predicate logic ⋮ On Compositionality of Dinatural Transformations ⋮ Natural transformations of the superpositions of distinguished functors in certain closed categories ⋮ On the conditions of full coherence in closed categories ⋮ An Australian Conspectus of Higher Categories ⋮ Kompakt erzeugte Räume und Limesräume. (Compactly generated spaces and limit spaces) ⋮ Unnamed Item ⋮ Algebraic geometry in first-order logic ⋮ A-transformation dans les arbres n-aires ⋮ Coherence in categorical groups∗ ⋮ Morita equivalence of module categories with tensor products ⋮ Equality of morphism and coherence theorem for biclosed categories ⋮ Coherence in Nonmonoidal Closed Categories ⋮ Isomorphic formulae in classical propositional logic ⋮ Multiplicative infinite loop space theory ⋮ Coherence and embedding of algebras ⋮ Embedding of Closed Categories Into Monoidal Closed Categories ⋮ Aspects of Categorical Recursion Theory ⋮ An internal language for autonomous categories ⋮ Tortile tensor categories ⋮ Abel transformation and harmonic analysis. I
Cites Work
This page was built for publication: Coherence in closed categories
