Definition 11 [03RD]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context Β· Original author HTML
Definition 11
Let and be -pre-categories over . An -functor is a functor between the corresponding non-unital -pre-categories such that takes quasi-isomorphisms in to quasi-isomorphisms in .