A generalization of the functorial calculus
From MaRDI portal
Publication:2524062
DOI10.1016/0021-8693(66)90006-8zbMATH Open0146.02501OpenAlexW2088729555MaRDI QIDQ2524062FDOQ2524062
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
Cites Work
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)