Documentation

DerivedAlgGeo.CategoryTheory.Triangulated.StabilityCondition.Mukai

Mukai charges and stability-condition adapters #

This sibling package consumes the generic weak-stability and tilting APIs. It contains the Mukai-specific numerical charge, slope compatibility, ambient Grothendieck-group transport, explicit geometric inputs, and final tilted-heart stability-function assembly.