definition. concrete category [riehl2017category, 1.6.17] [tt-0053]
definition. concrete category [riehl2017category, 1.6.17] [tt-0053]
A concrete category is a category \({\cal C}\) equipped with a faithful functor \(\mathscr {F} : {\cal C} \to \mathbf {Set}\).
Add this to where this would be used.