mauroporta/Autour_de_DAG
Notes for the cycle of seminars organized by G. Vezzosi at Paris 7 during Spring 2013. Subject: Introduction to Derived Algebraic Geometry
Public GitHub Catalog
Discovered Sep 26, 2026
mauroporta / Prova
It's a first attempt to create a new repository
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#7968606GitHub System ID
mauroportaOrganization / User
PublicVisibility
ActiveCatalog Status
More from mauroporta
mauroporta/functors
An overview of all properties of the functors induced by a morphism of schemes