A generalization of the functorial calculus

DOI10.1016/0021-8693(66)90006-8zbMATH Open0146.02501OpenAlexW2088729555MaRDI QIDQ2524062FDOQ2524062

Samuel Eilenberg, Max Kelly

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

• Title not available (Why is that?)
• Categorical algebra
• Tensor products in categories

Cited In (41)

• Closed categories, star-autonomy, and monoidal comonads
• The structure of free closed categories
• Traces in symmetric monoidal categories
• G-dinaturality.
• A Universal Characterisation of Codescent Objects
• An Australian Conspectus of Higher Categories
• The additivity of traces in monoidal derivators
• Categories
• Closed categories and the theory of proofs
• Models of deduction
• Coherence in SMCCs and equivalences on derivations in IMML with unit
• Categorical interpretation of logical derivations and its applications in algebra
• Topology and logic as a source of algebra
• Title not available (Why is that?)
• Self-adjunctions and matrices.
• The geometry of tensor calculus. I
• 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
• On categories associated to a Quasi-Hopf algebra
• 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 in Nonmonoidal Closed Categories
• Coherence for compact closed categories
• Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
• Generality of proofs and its Brauerian representation
• Coherence for star-autonomous categories
• Simplicial Endomorphisms
• Examples of non-monadic structures on categories
• Simple free star-autonomous categories and full coherence
• Tortile tensor categories
• Closed categories generated by commutative monads
• Embedding of Closed Categories Into Monoidal Closed Categories
• Proof of a conjecture of S. Mac Lane
• Title not available (Why is that?)
• On Compositionality of Dinatural Transformations
• Linear logic, coherence and dinaturality
• Functorial polymorphism

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)