Introduction to Game Theory
《Introduction to Game Theory》 · 第 217 页 · Definition 13.0.1
A relative category is a pair \((\mathcal C,\mathcal W)\), where \(\mathcal C\) is a category and \(\mathcal W\) is a wide subcategory whose morphisms are called weak equivalences.