On MacLane's conditions for coherence of natural associativities, commutativities, etc
From MaRDI portal
Publication:2555556
DOI10.1016/0021-8693(64)90018-3zbMath0246.18008OpenAlexW2121576397MaRDI QIDQ2555556
Publication date: 1964
Published in: Journal of Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0021-8693(64)90018-3
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) General theory of categories and functors (18A99)
Related Items
Categorical algebra, Unnamed Item, Finitary birepresentations of finitary bicategories, Fuzzy terms, Braided premonoidal Mac Lane coherence, Eilenberg-Kelly reloaded, The sequent calculus of skew monoidal categories, Coherence in SMCCs and equivalences on derivations in IMML with unit, The Catalan simplicial set II, Skew-closed categories, Higher categories, strings, cubes and simplex equations, On the third cohomology group of commutative monoids, Axiomatizing Petri net concatenable processes, Semistrict higher gauge theory, Coherence via focusing for symmetric skew monoidal categories, The linear abstract machine, Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures, Enrichment through variation, Unnamed Item, Natural deduction and coherence for weakly distributive categories, Hochschild cohomology, monoid objects and monoidal categories, Unnamed Item, Medial commutativity, Adjunction in the absence of identity, Unnamed Item, Coherence for categories with associativity, commutativity and distributivity, Proof Theory of Partially Normal Skew Monoidal Categories, Monads of oplax actions are skew monoidales, Simple free star-autonomous categories and full coherence, Weak rigid monoidal category, Categorification, term rewriting and the Knuth-Bendix procedure, How to prove decidability of equational theories with second-order computation analyser SOL, The Catalan simplicial set, Adjunctions and defects in Landau-Ginzburg models, Remarks on units of skew monoidal categories, Absolute lax 2-categories, Coherence for bicategories, lax functors, and shadows, Kohaerenz in Kategorien mit Gruppenstruktur, Unnamed Item, Unnamed Item, Witness algebra and anyon braiding, The geometry of tensor calculus. I, Hochschild cohomology of ring objects in monoidal categories, Topology and logic as a source of algebra, Schreier theory for central extensions of categorical groups1, An axiomatization of the algebra of Petri net concatenable processes, Coherence and strictification for self-similarity, Convergence in formal topology: a unifying notion, Unnamed Item, Unnamed Item, Proof nets and semi-star-autonomous categories, Distributive laws via admissibility, Coalgebroids in monoidal bicategories and their comodules, Languages for monoidal categories, Higher-dimensional Mac Lane's pentagon and Zamolodchikov equations, Elementary remarks on units in monoidal categories, Braided distributivity, Wide right Morita contexts in lax-unital bicategories, Coherence of adjoints, associativities, and identities, Relative functor categories and categories of algebras, Some remarks on symmetry for a monoidal category, Coherence in closed categories, Axiomatics for Data Refinement in Call by Value Programming Languages, Tensor categories with fusion rules of self-duality for finite abelian groups, An Australian Conspectus of Higher Categories, Unnamed Item, Coherence for associativity not an isomorphism, \(\vartheta\)-localizations and \(\vartheta\)-monads, Coherence in categorical groups∗, Unnamed Item, Schreier theory for singular extensions of categorical groups and homotopy classification∗∗, Embedding of Closed Categories Into Monoidal Closed Categories, The Sequent Calculus of Skew Monoidal Categories
Cites Work
