Filtered category

Filtered category

In category theory, filtered categories generalize the notion of directed set.

A category J is filtered when
* it is not empty,
* for every two objects j and j' in J there exists an object k and two arrows f:j o k and f':j' o k in J,
* for every two parallel arrows u,v:i o j in J, there exists an object k and an arrow w:j o k such that wu=wv.

A filtered colimit is a colimit of a functor F:J o C where J is a filtered category.

Cofiltered categories

There is a dual notion of cofiltered category. A category J is cofiltered if the opposite category J^{mathrm{op is filtered. In detail, a category is cofiltered when
* it is not empty
* for every two objects j and j' in J there exists an object k and two arrows f:k o j and f':k o j' in J,
* for every two parallel arrows u,v:j o i in J, there exists an object k and an arrow w:k o j such that uw=vw.

A (co)filtered limit is a limit of a functor F:J o C where J is a cofiltered category.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Category of rings — In mathematics, the category of rings, denoted by Ring, is the category whose objects are rings (with identity) and whose morphisms are ring homomorphisms (preserving the identity). Like many categories in mathematics, the category of rings is… …   Wikipedia

  • Limit (category theory) — In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products and inverse limits. The dual notion of a colimit generalizes constructions such as disjoint… …   Wikipedia

  • Abelian category — In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties. The motivating prototype example of an abelian category is the category of… …   Wikipedia

  • List of mathematics articles (F) — NOTOC F F₄ F algebra F coalgebra F distribution F divergence Fσ set F space F test F theory F. and M. Riesz theorem F1 Score Faà di Bruno s formula Face (geometry) Face configuration Face diagonal Facet (mathematics) Facetting… …   Wikipedia

  • Directed set — In mathematics, a directed set (or a directed preorder or a filtered set) is a nonempty set A together with a reflexive and transitive binary relation ≤ (that is, a preorder), with the additional property that every pair of elements has an upper… …   Wikipedia

  • Spectral sequence — In the area of mathematics known as homological algebra, especially in algebraic topology and group cohomology, a spectral sequence is a means of computing homology groups by taking successive approximations. Spectral sequences are a… …   Wikipedia

  • Brewing — Brewer redirects here. For other uses, see Brewer (disambiguation). This article is about the commercial brewing of beer. For making tea, see Steeping. For homebrewing, see Homebrewing. A 16th century brewery Brewing is the production of beer… …   Wikipedia

  • Sake — For other uses, see Sake (disambiguation). Dedicated sake barrels at Itsukushima Shrine …   Wikipedia

  • Whisky — This article is about the alcoholic beverage. For other uses, see Whisky (disambiguation). A glass of whisky Whisky (Scottish English and British English) or whiskey (Hiberno English and American English[1]) is a ty …   Wikipedia

  • Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”