Added a cross-reference to topological concrete category.

]]>Could you be more specific about which part of the entry you are referring to?

]]>Put the comprehensible definition first.

]]>Oh, and I’ve also added the example of the “prime spectrum” on the opposite category of rings as a nonexample (it’s not faithful), and listed Ho(Top) in the nonexamples section as well.

]]>Rel is also concretizable, since the singleton set is a separator, so I’ve moved it to the examples section.

I think the original intent was to provide examples where there was a naive notion of “underlying set” that did not extend to a functor. So I’ve added some additional language to the “examples” section to that effect.

]]>Added to examples the case of small categories, and of locally small categories with small separators.

]]>I corrected the article to list $Set_\bot$ (sets and partial functions) as an example of a a concrete category.

Is $Rel$ not concretizable? The explanation given is inadequate; it only suggests a *specific* functor is not faithful. (and… I’m not actually sure what the suggested functor is intended to be)

The article also lists $Rel(C)$ as a nonexample, but that’s incorrect, since every small category is concretizable. Was there supposed to be an additional condition given on $C$?

]]>added pointer to:

- Jiří Adámek, Horst Herrlich, George Strecker,
*Abstract and Concrete Categories*, Wiley 1990, reprinted as: Reprints in Theory and Applications of Categories, No. 17 (2006) pp. 1-507 (tac:tr17)

Added the statement of the Isbell-Freyd characterization of concrete categories, in the special case of finitely complete categories for which it looks more familiar, along with the proof of necessity.

]]>