A functorial excursion between algebraic geometry and linear logic

DOI10.1145/3531130.3532488WikidataQ130818496 ScholiaQ130818496MaRDI QIDQ6649501

Publication date: 6 December 2024

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Schemes and morphisms (14A15) Monoidal categories, symmetric monoidal categories (18M05)

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Generalizations of the Sweedler dual
Derived algebraic geometry
On Sweedler's cofree cocommutative coalgebra.
Faisceaux algébriques cohérents
The derived category of quasi-coherent sheaves and axiomatic stable homotopy
Sheaves in geometry and logic: a first introduction to topos theory
Coalgebras over a commutative ring
Glueing and orthogonality for models of linear logic
Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
Séminaire de géométrie algébrique du Bois Marie 1960/61 (SGA 1), dirigé par Alexander Grothendieck. Augmenté de deux exposés de M. Raynaud. Revêtements étales et groupe fondamental. Exposés I à XIII. (Seminar on algebraic geometry at Bois Marie 1960/61 (SGA 1), directed by Alexander Grothendieck. Enlarged by two reports of M. Raynaud. Ètale coverings and fundamental group)
Éléments de géométrie algébrique. I: Le langage des schémas. II: Étude globale élémentaire de quelques classe de morphismes. III: Étude cohomologique des faisceaux cohérents (première partie)
Functors are type refinement systems
The formal theory of hopf algebras Part I: Hopf monoids in a monoidal category
An introduction to differential linear logic: proof-nets, models and antiderivatives
Hopf measuring comonoids and enrichment
A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
Note on the Serre‐Swan theorem
Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
Foundations of Grothendieck Duality for Diagrams of Schemes
Foundations of Grothendieck Duality for Diagrams of Schemes
Cofree coalgebras and differential linear logic
Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers
The Historical Development of Algebraic Geometry

This page was built for publication: A functorial excursion between algebraic geometry and linear logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6649501)