A functorial excursion between algebraic geometry and linear logic
type: Item
instance of: scholarly article
title: A functorial excursion between algebraic geometry and linear logic
DOI: 10.1145/3531130.3532488
author: Paul-André Melliès
publication date: 2024-12-06T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 14A15
Mathematics Subject Classification ID: 18D15
Mathematics Subject Classification ID: 18M05
zbMATH DE Number: 7954879
MaRDI profile type: MaRDI publication profile
cites work: Coalgebras over a commutative ring
cites work: Cofree coalgebras and differential linear logic
cites work: Q3867914
cites work: The Historical Development of Algebraic Geometry
cites work: An introduction to differential linear logic: proof-nets, models and antiderivatives
cites work: Q5704403
cites work: Q4707048
cites work: É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)
cites work: Q2551490
cites work: 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
cites work: Q4143433
cites work: Foundations of Grothendieck Duality for Diagrams of Schemes
cites work: Hopf measuring comonoids and enrichment
cites work: Glueing and orthogonality for models of linear logic
cites work: Q4946238
cites work: Sheaves in geometry and logic: a first introduction to topos theory
cites work: Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers
cites work: Q3075441
cites work: Functors are type refinement systems
cites work: A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
cites work: Note on the Serre‐Swan theorem
cites work: On Sweedler's cofree cocommutative coalgebra.
cites work: The formal theory of hopf algebras Part I: Hopf monoids in a monoidal category
cites work: Generalizations of the Sweedler dual
cites work: Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
cites work: Faisceaux algébriques cohérents
cites work: The derived category of quasi-coherent sheaves and axiomatic stable homotopy
cites work: Derived algebraic geometry
Wikidata QID: Q130818496
description: scientific article; zbMATH DE number 7954879