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 (73)
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
This page was built for publication: On MacLane's conditions for coherence of natural associativities, commutativities, etc
