Showing math.CTShow all
2 papers · 1 filter
math.CT2026
Derivations as Algebras
Jean-Simon Pacaud Lemay, Chiara Sava
Differential categories provide the categorical foundations for the algebraic approaches to differentiation. They have been successful in formalizing various important concepts rel…
math.CT2025
The derivator of a dg-category
Francesco Genovese, Chiara Sava, Jan Šťovíček
In this work, we construct the stable derivator associated to a homotopically complete and cocomplete dg-category by explicitly defining homotopy Kan extensions via suitable weight…