An internal language for autonomous categories

DOI10.1007/BF00873993zbMath0806.03044OpenAlexW3091815692WikidataQ57006902 ScholiaQ57006902MaRDI QIDQ1320337

Samson Abramsky, Leopoldo Román, Ian Mackie

Publication date: 16 February 1995

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00873993

zbMATH Keywords

coherenceinternal languagesymmetric monoidal closed categoriesautonomous categoryinternal recursion theorymultiplicative fragment of intuitionistic linear logicterm assignment languageweak natural numbers object

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (14)

Natural number objects in Dialectica categories ⋮ The syntactic side of autonomous categories enriched over generalised metric spaces ⋮ Unnamed Item ⋮ The logic of message-passing ⋮ Linearity and iterator types for Gödel's system \(\mathcal T\) ⋮ Covert Movement in Logical Grammar ⋮ Gödel's system \(\mathcal T\) revisited ⋮ Partial Recursive Functions and Finality ⋮ Relating categorical semantics for intuitionistic linear logic ⋮ GS·Λ Theories ⋮ Aspects of Categorical Recursion Theory ⋮ The Power of Closed Reduction Strategies ⋮ Lilac: a functional programming language based on linear logic ⋮ An internal language for autonomous categories

Uses Software

• Lilac

Cites Work

• Linear logic
• Languages for monoidal categories
• Linear logic, coherence and dinaturality
• Computational interpretations of linear logic
• A note on natural numbers objects in monoidal categories
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Monoidal categories with natural numbers object
• An internal language for autonomous categories
• Cartesian categories with natural numbers object
• Coherence in closed categories
• Why commutative diagrams coincide with equivalent proofs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An internal language for autonomous categories