derived-categories

Here are 2 public repositories matching this topic...

Kobayashi2501 / the-M-Conjecture

The M Conjecture proposes a collapse-theoretic foundation for understanding: Motives Mirror Symmetry The category of motives 𝕄_mot By reinterpreting them as functorially-generated fixed points of structural degeneration in the AK Collapse Theory.

category-theory homotopy-type-theory cohomology motives collapse-theory ak-theory mirror-symmetry derived-categories structural-mathematics functorial-simplification

Updated Jul 23, 2025
TeX

chris-dare-dev / derived-alg-geo-lean

Star

Lean formalizations for coherent sheaves, derived categories, Bridgeland stability conditions, and Fourier–Mukai geometry.

algebraic-geometry mathlib lean4 derived-categories bridgeland-stability fourier-mukai

Updated Sep 22, 2026
Lean

Add this topic to your repo

To associate your repository with the derived-categories topic, visit your repo's landing page and select "manage topics."

Learn more