A generalization of the functorial calculus

DOI10.1016/0021-8693(66)90006-8MaRDI QIDQ2524062zbMATH OpenOpenAlexFDO

Authors Max Kelly, Samuel Eilenberg

Publication date 1966

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0021-8693(66)90006-8

zbMATH Keywords

general algebraic structures

Cites work

• scientific article; zbMATH DE number 3131597 (Why is no real title available?)
• Categorical algebra
• Tensor products in categories

Cited in

(41)

• Functorial polymorphism
• On Compositionality of Dinatural Transformations
• Closed categories, star-autonomy, and monoidal comonads
• The structure of free closed categories
• Traces in symmetric monoidal categories
• G-dinaturality.
• Categories
• The additivity of traces in monoidal derivators
• Closed categories and the theory of proofs
• Models of deduction
• Coherence in SMCCs and equivalences on derivations in IMML with unit
• On categories associated to a quasi-Hopf algebra
• Categorical interpretation of logical derivations and its applications in algebra
• Topology and logic as a source of algebra
• Self-adjunctions and matrices.
• The geometry of tensor calculus. I
• scientific article; zbMATH DE number 3724667 (Why is no real title available?)
• Coherence in categorical groups^∗
• On natural transformations of distinguished functors and their superpositions in certain closed categories
• Two-dimensional monad theory
• Coherence in closed categories
• Composing dinatural transformations: towards a calculus of substitution
• A universal characterisation of codescent objects
• Identity of Proofs Based on Normalization and Generality
• The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
• On the conditions of full coherence in closed categories
• Coherence for compact closed categories
• Coherence in Nonmonoidal Closed Categories
• Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
• Generality of proofs and its Brauerian representation
• Coherence for star-autonomous categories
• Simplicial Endomorphisms
• An Australian conspectus of higher categories
• Examples of non-monadic structures on categories
• Simple free star-autonomous categories and full coherence
• Tortile tensor categories
• Proof of a conjecture of S. Mac Lane
• Embedding of Closed Categories Into Monoidal Closed Categories
• Closed categories generated by commutative monads
• scientific article; zbMATH DE number 4154448 (Why is no real title available?)
• Linear logic, coherence and dinaturality

This page was built for publication: A generalization of the functorial calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2524062)