A generalization of the functorial calculus
From MaRDI portal
Publication:2524062
DOI10.1016/0021-8693(66)90006-8zbMath0146.02501OpenAlexW2088729555MaRDI QIDQ2524062
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
Related Items (41)
Generality of proofs and its Brauerian representation ⋮ Closed categories, star-autonomy, and monoidal comonads ⋮ Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ A Universal Characterisation of Codescent Objects ⋮ Proof of a conjecture of S. Mac Lane ⋮ Two-dimensional monad theory ⋮ Traces in symmetric monoidal categories ⋮ Examples of non-monadic structures on categories ⋮ Simple free star-autonomous categories and full coherence ⋮ G-dinaturality. ⋮ Closed categories generated by commutative monads ⋮ Coherence for compact closed categories ⋮ Closed categories and the theory of proofs ⋮ Simplicial Endomorphisms ⋮ Self-adjunctions and matrices. ⋮ On categories associated to a Quasi-Hopf algebra ⋮ Unnamed Item ⋮ Categorical interpretation of logical derivations and its applications in algebra ⋮ The geometry of tensor calculus. I ⋮ Topology and logic as a source of algebra ⋮ Identity of Proofs Based on Normalization and Generality ⋮ Linear logic, coherence and dinaturality ⋮ Towards Hilbert's 24th Problem: Combinatorial Proof Invariants ⋮ Coherence for star-autonomous categories ⋮ Models of deduction ⋮ On natural transformations of distinguished functors and their superpositions in certain closed categories ⋮ Composing dinatural transformations: towards a calculus of substitution ⋮ Categories ⋮ On Compositionality of Dinatural Transformations ⋮ Functorial polymorphism ⋮ On the conditions of full coherence in closed categories ⋮ Coherence in closed categories ⋮ An Australian Conspectus of Higher Categories ⋮ Unnamed Item ⋮ Coherence in categorical groups∗ ⋮ Coherence in Nonmonoidal Closed Categories ⋮ The additivity of traces in monoidal derivators ⋮ Embedding of Closed Categories Into Monoidal Closed Categories ⋮ The structure of free closed categories ⋮ The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus ⋮ Tortile tensor categories
Cites Work
This page was built for publication: A generalization of the functorial calculus
