scientific article; zbMATH DE number 3384258
From MaRDI portal
Publication:5654207
zbMath0243.18016MaRDI QIDQ5654207
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical structures (18D99) Categories and theories (18C99) Foundations, relations to logic and deductive systems (18A15)
Related Items
A universal property of the convolution monoidal structure, Pseudo-distributive laws and axiomatics for variable binding, A general coherence result, Enriched Tannaka reconstruction, Two-dimensional monad theory, Coends of higher arity, Examples of non-monadic structures on categories, Coherence for compact closed categories, Closed categories and the theory of proofs, Coherence for closed categories with biproducts, Triangulations, orientals, and skew monoidal categories, The geometry of tensor calculus. I, Unnamed Item, Linear logic, coherence and dinaturality, REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS, Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions, Languages for monoidal categories, Composing dinatural transformations: towards a calculus of substitution, Categories, On Compositionality of Dinatural Transformations, An Australian Conspectus of Higher Categories, Multiplicative Linear Logics and Fibrations, Coherence in categorical groups∗, Coherence in Nonmonoidal Closed Categories, Abstract Syntax: Substitution and Binders, Tortile tensor categories
