Coherence completions of categories

DOI10.1016/S0304-3975(99)00051-1zbMath0974.03052OpenAlexW1963733392MaRDI QIDQ1575878

André Joyal, Hongde Hu

Publication date: 23 August 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(99)00051-1

zbMATH Keywords

coherence spacessoftnesscoherence completion of a categorymodels of linear logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categorical methods in general topology (54B30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (7)

Softness of MALL proof-structures and a correctness criterion with Mix ⋮ Towards Hilbert's 24th Problem: Combinatorial Proof Invariants ⋮ Musings around the geometry of interaction, and coherence ⋮ Softness of hypercoherences and MALL full completeness ⋮ Free \(\mu\)-lattices ⋮ On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication ⋮ The parametric continuation monad

This page was built for publication: Coherence completions of categories