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 such that .
A cofiltered limit is a limit of a functor where is a cofiltered category.
Read more about this topic: Filtered Category
Famous quotes containing the word categories:
“Kitsch ... is one of the major categories of the modern object. Knick-knacks, rustic odds-and-ends, souvenirs, lampshades, and African masks: the kitsch-object is collectively this whole plethora of trashy, sham or faked objects, this whole museum of junk which proliferates everywhere.... Kitsch is the equivalent to the cliché in discourse.”
—Jean Baudrillard (b. 1929)