Publication:5595187

zbMath0198.33701MaRDI QIDQ5595187

Joachim Lambek

Publication date: 1969

zbMATH Keywords

general algebraic structures

Mathematics Subject Classification ID

18-XX: Category theory; homological algebra

Related Items

Unnamed Item, On weak higher-dimensional categories. I. 2, Theory of finite pseudoalgebras, Generalized enrichment of categories, Relaxed multicategory structure of a global category of rings and modules, On natural transformations of distinguished functors and their superpositions in certain closed categories, Languages for monoidal categories, Linear logic, coherence and dinaturality, Coherence in Cartesian closed categories and the generality of proofs, The structure of free closed categories, An abstract framework for environment machines, An algebraic structure for derivations in rewriting systems, Natural deduction and coherence for weakly distributive categories, Closed categories and the theory of proofs, Pre-recursive categories, Conditional rewriting logic as a unified model of concurrency, Prelogic of logoi, Quantifier-complete categories, Proof of a conjecture of S. Mac Lane, Triples on functor categories, G-dinaturality., On categorical equivalence of Gentzen-style derivations in IMLL, Representable multicategories, On weak higher dimensional categories. I: Part 1, Equality of morphism and coherence theorem for biclosed categories, Abstract substitution in enriched categories, Coherence in SMCCs and equivalences on derivations in IMML with unit, Associative algebras related to conformal algebras., Polycategories via pseudo-distributive laws, Gröbner-Shirshov bases, conformal algebras, and pseudo-algebras., Irreducible modules over finite simple Lie pseudoalgebras. I: Primitive pseudoalgebras of type \(W\) and \(S\)., Rings, modules, and algebras in infinite loop space theory, Coherence in closed categories, Simple associative conformal algebras of linear growth, Unnamed Item, Unnamed Item, Unnamed Item