Pages that link to "Item:Q2524062"

The following pages link to A generalization of the functorial calculus (Q2524062):

Displaying 41 items.

• Traces in symmetric monoidal categories (Q404679) (← links)
• On natural transformations of distinguished functors and their superpositions in certain closed categories (Q579398) (← links)
• Linear logic, coherence and dinaturality (Q685406) (← links)
• Functorial polymorphism (Q753948) (← links)
• On the conditions of full coherence in closed categories (Q757581) (← links)
• The structure of free closed categories (Q803265) (← links)
• Closed categories, star-autonomy, and monoidal comonads (Q834844) (← links)
• Two-dimensional monad theory (Q1121980) (← links)
• Examples of non-monadic structures on categories (Q1140707) (← links)
• Coherence for compact closed categories (Q1146248) (← links)
• Closed categories and the theory of proofs (Q1147133) (← links)
• The geometry of tensor calculus. I (Q1175729) (← links)
• Categories (Q1255566) (← links)
• The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus (Q1314360) (← links)
• Tortile tensor categories (Q1321051) (← links)
• Proof of a conjecture of S. Mac Lane (Q1377606) (← links)
• G-dinaturality. (Q1400601) (← links)
• Self-adjunctions and matrices. (Q1408350) (← links)
• Simple free star-autonomous categories and full coherence (Q1936110) (← links)
• Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← links)
• Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
• Categorical interpretation of logical derivations and its applications in algebra (Q2452950) (← links)
• Coherence for star-autonomous categories (Q2498908) (← links)
• Models of deduction (Q2500815) (← links)
• Coherence in closed categories (Q2544617) (← links)
• On categories associated to a Quasi-Hopf algebra (Q2976189) (← links)
• Generality of proofs and its Brauerian representation (Q3160565) (← links)
• An Australian Conspectus of Higher Categories (Q3400014) (← links)
• (Q3483291) (← links)
• Simplicial Endomorphisms (Q3514792) (← links)
• (Q3913564) (← links)
• Coherence in categorical groups^∗ (Q3924361) (← links)
• Topology and logic as a source of algebra (Q4087978) (← links)
• Coherence in Nonmonoidal Closed Categories (Q4092159) (← links)
• Embedding of Closed Categories Into Monoidal Closed Categories (Q4109811) (← links)
• Identity of Proofs Based on Normalization and Generality (Q4650310) (← links)
• Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
• On Compositionality of Dinatural Transformations (Q5079758) (← links)
• A Universal Characterisation of Codescent Objects (Q5233740) (← links)
• The additivity of traces in monoidal derivators (Q5500787) (← links)
• Closed categories generated by commutative monads (Q5655526) (← links)