===== Concrete category ===== ==== Collection ==== | @#FFBB00: definiendum | @#FFBB00: $\langle\!\langle {\bf C},F\rangle\!\rangle$ in it | | @#AAFFAA: inclusion | @#AAFFAA: $\bf C$ ... locally small category | | @#AAFFAA: inclusion | @#AAFFAA: $F:{\bf C}\longrightarrow{\bf Set}$ | | @#AAFFAA: inclusion | @#AAFFAA: $F$ ... faithful | ----- === Reference === Wikipedia: [[http://en.wikipedia.org/wiki/Concrete_category|Concrete category]] ----- === Subset of === [[Locally small category]] === Requirements === [[Faithful functor]]