Accessible categories and models of linear logic

DOI10.1016/0022-4049(91)90020-3zbMath0719.18004OpenAlexW2077767673MaRDI QIDQ2639952

Michael Barr

Publication date: 1990

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(91)90020-3

zbMATH Keywords

*-autonomous categoryclosed categorydualizing objectcofree coalgebrasmodels of Girard's linear logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Special categories (18B99) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (4)

Glueing and orthogonality for models of linear logic ⋮ Unnamed Item ⋮ Linearizing intuitionistic implication ⋮ Functorial semantics and HSP type theorems

Cites Work

• Corrigenda to: ``The linear abstract machine
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Colimits of accessible categories
• *-Autonomous categories and linear logic
• A dialectica-like model of linear logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Accessible categories and models of linear logic