derived category
homotopy category of chain complexes in an abelian category with inverses to quasi-isomorphisms adjoined
homotopy category of chain complexes in an abelian category with inverses to quasi-isomorphisms adjoined
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).