Abgeleitete Äquivalenz

Eine Äquivalenz zwischen abgeleiteten Kategorien (typischerweise beschränkten oder unbeschränkten abgeleiteten Kategorien abelscher oder differenziell graduierter Kontexte), die Objekte und Morphismen bis auf Quasi-Isomorphie identifiziert und die triangulierte Struktur bewahrt, sodass das homologische Verhalten verschiedener Kontexte übereinstimmt.