In category theory, filtered categories generalize the notion of directed set understood as a category (hence called a directed category; while some use directed category as a synonym for a filtered category).
A category is filtered when
- it is not empty,
- for every two objects and in there exists an object and two arrows and in ,
- for every two parallel arrows in, there exists an object and an arrow such that .
A diagram is said to be of cardinality if the morphism set of its domain is of cardinality . A category is filtered if and only if there is a cone over any finite diagram ; more generally, for a regular cardinal, a category is said to be -filtered if for every diagram in of cardinality smaller than there is a cone over .
A filtered colimit is a colimit of a functor where is a filtered category. This readily generalizes to -filtered limits. An ind-object in a category is a presheaf of sets which is a small filtered colimit of representable presheaves. Ind-objects in a category form a full subcategory in the category of functors . The category of pro-objects in is the opposite of the category of ind-objects in the opposite category .
Read more about Filtered Category: Cofiltered Categories
Other articles related to "filtered category, category, filtered":
... There is a dual notion of cofiltered category ... A category is cofiltered if the opposite category is filtered ... In detail, a category is cofiltered when it is not empty for every two objects and in there exists an object and two arrows and in , for every two parallel arrows in, there exists an object and an arrow ...
Famous quotes containing the word category:
“The truth is, no matter how trying they become, babies two and under dont have the ability to make moral choices, so they cant be bad. That category only exists in the adult mind.”
—Anne Cassidy (20th century)