A functorial excursion between algebraic geometry and linear logic

DOI10.1145/3531130.3532488MaRDI QIDQ6649501zbMATH OpenWikidataFDO

Authors Paul-André Melliès

Publication date 6 December 2024

Full work available at URL https://doi.org/10.1145/3531130.3532488

Mathematics Subject Classification ID

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

Recommendations

• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
• Tensor categorical foundations of algebraic geometry
• scientific article; zbMATH DE number 5000963
• Tensor functors between categories of quasi-coherent sheaves
• Algebraic theories and commutativity in a sheaf topos

Cites work

• A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Categorical semantics of linear logic
• Coalgebras over a commutative ring
• Cofree coalgebras and differential linear logic
• Derived algebraic geometry
• Faisceaux algébriques cohérents
• Foundations of Grothendieck Duality for Diagrams of Schemes
• Foundations of Grothendieck Duality for Diagrams of Schemes
• Functors are type refinement systems
• Generalizations of the Sweedler dual
• Glueing and orthogonality for models of linear logic
• Hopf measuring comonoids and enrichment
• scientific article; zbMATH DE number 3670601 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 1924510 (Why is no real title available?)
• scientific article; zbMATH DE number 1421209 (Why is no real title available?)
• scientific article; zbMATH DE number 2229020 (Why is no real title available?)
• Note on the Serre-Swan theorem
• On Sweedler's cofree cocommutative coalgebra.
• Quantum gauge field theory in cohesive homotopy type theory
• 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
• Sheaves in geometry and logic: a first introduction to topos theory
• 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
• The derived category of quasi-coherent sheaves and axiomatic stable homotopy
• The formal theory of Hopf algebras. Part I: Hopf monoids in a monoidal category
• The Historical Development of Algebraic Geometry
• Two algebraic byways from differential equations: Gröbner bases and quivers
• É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)

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)