Relative Concreteness
In some parts of category theory, most notably topos theory, it is common to replace the category Set with a different category X, often called a base category. For this reason, it makes sense to call a pair (C,U) where C is a category and U a faithful functor C → X a concrete category over X. For example, it may be useful to think of the models of a theory with N sorts as forming a concrete category over SetN.
In this context, a concrete category over Set is sometimes called a construct.
Read more about this topic: Concrete Category
Famous quotes containing the word relative:
“Excellence or virtue is a settled disposition of the mind that determines our choice of actions and emotions and consists essentially in observing the mean relative to us ... a mean between two vices, that which depends on excess and that which depends on defect.”
—Aristotle (384–323 B.C.)