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:
“Personal change, growth, development, identity formation—these tasks that once were thought to belong to childhood and adolescence alone now are recognized as part of adult life as well. Gone is the belief that adulthood is, or ought to be, a time of internal peace and comfort, that growing pains belong only to the young; gone the belief that these are marker events—a job, a mate, a child—through which we will pass into a life of relative ease.”
—Lillian Breslow Rubin (20th century)