Coherence in closed categories
From MaRDI portal
Publication:2544617
DOI10.1016/0022-4049(71)90013-2zbMath0212.35001OpenAlexW1985063546MaRDI QIDQ2544617
G. M. Kelly, Saunders Mac Lane
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
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
