Publication:5595187
From MaRDI portal
zbMath0198.33701MaRDI QIDQ5595187
Publication date: 1969
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, 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
