Beautiful!

[timelets]

A poset A is often said to arise concretely if we are given a large category E of
structured spaces, choose an object X in E, and define A to be a category of parts of X (in the sense of E) with inclusions as maps.