*-Autonomous Envelopes and Conservativity

Reference. *-Autonomous Envelopes and Conservativity

Cite

Cite as @shulman-2021-autonomous (helia, typst) · \cite{shulman-2021-autonomous} (LaTeX)

BibTeX

bibtex · 1 line

@article{shulman-2021-autonomous, title={*-Autonomous Envelopes and Conservativity}, volume={353}, ISSN={2075-2180}, url={http://dx.doi.org/10.4204/eptcs.353.9}, DOI={10.4204/eptcs.353.9}, journal={Electronic Proceedings in Theoretical Computer Science}, publisher={Open Publishing Association}, author={Shulman, Michael}, year={2021}, month=Dec, pages={175–194} }

hayagriva YAML (typst)

yaml · 15 lines

shulman-2021-autonomous:
  type: article
  title: '*-Autonomous Envelopes and Conservativity'
  author: Shulman, Michael
  date: 2021-12
  page-range: 175-194
  url: http://dx.doi.org/10.4204/eptcs.353.9
  serial-number:
    doi: 10.4204/eptcs.353.9
    issn: 2075-2180
  parent:
    type: periodical
    title: Electronic Proceedings in Theoretical Computer Science
    publisher: Open Publishing Association
    volume: 353

Download: shulman-2021-autonomous.bib · shulman-2021-autonomous.yml

Cites 36 works (1 here)

With notes (1)

Glueing and orthogonality for models of linear logic hyland_glueing_2003TCS · 2003

We present the general theory of the method of glueing and associated technique of orthogonality for constructing categorical models of all the structure of linear logic: in particular we treat the exponentials in detail. We indicate simple applications of the methods and show that they cover familiar examples.

DOI

External (35)

DwyerKan homotopy theory for cyclic operads (2021)
The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (2020)
(Op)lax natural transformations, twisted quantum field theories, and ``even higher'' Morita categories (2017)
Simple free star-autonomous categories and full coherence (2012)
Physics, Topology, Logic and Computation: A Rosetta Stone (2010)
Proof-net Categories (2007)
Coherence of the Double Involution on -Autonomous Categories (2006)
Morphisms and modules for poly-bicategories (2003)
Proof theory in the abstract (2002)
Categorical glueing and logical predicates for models of linear logic (1999)
Full completeness for models of Linear Logic (1998)
Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories (1997)
Weakly distributive categories (1997)
On property-like structures (1997)
Chu I: cofree equivalences, dualities, and -autonomous categories (1997)
Natural deduction and coherence for weakly distributive categories (1996)
Traced monoidal categories (1996)
Locally presentable and accessible categories (1994)
Linear Logic, Bimodules, and Full Coherence for Autonomous Categories (1994)
Linear logic, coherence and dinaturality (1993)
A typed foundation for directional logic programming (1993)
Lectures on Linear Logic (1992)
Proof nets and coherence theorems (1991)
Some Syntactical Observations on Linear Logic (1991)
Acceptors as values (1991)
Logiques, catégories & machines: implantation de langages de programmation guidée par la logique catégorique (1988)
Basic concepts of enriched category theory (1982)
Constructing *-autonomous categories (appendix to *-Autonomous Categories, LNM 752) (1979)
Constructing *-autonomous categories (1978)
Polycategories (1975)
A reflection theorem for closed categories (1972)
Categories of continuous functors. I (1972)
Coherence in closed categories (1971)
On closed categories of functors (1970)
Structure of categories (1966)