Cofiltered Categories
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:
“all the categories which we employ to describe conscious mental acts, such as ideas, purposes, resolutions, and so on, can be applied to ... these latent states.”
—Sigmund Freud (1856–1939)