Topos

Every Set can be considered from a categorical point of view (see Categorical approach) i.e. every set can be considered as a category. On the other hand not every category can be considered as a set. Toposes are categories that have all the properties required to be a set.

TBD