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

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

Cited in

(44)

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

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)