Functors Main article: functor Functors are structure-preserving maps between categories. They can be thought of as morphisms in the category of al...

Pullback of sieves The most common operation on a sieve is pullback . Pulling back a sieve S on c by an arrow f : c ?? c gives a new sieve f * S on...

Final topology - Wikipedia, the free encyclopedia Final topology From Wikipedia, the free encyclopedia Jump to: navigation , search In general topo...

G -sets are nothing but functors from this category to Set The category of all directed graphs is cartesian closed; this is a functor category as e...

As mentioned above, the category of all abelian groups is an abelian category. The category of all finitely generated abelian groups is also an abe...

Simplicial category - Wikipedia, the free encyclopedia Simplicial category From Wikipedia, the free encyclopedia Jump to: navigation , search In ma...

Spectral sequence Abelian category Triangulated category Derived category [ edit ] Applications Group cohomology Galois cohomology Lie algebra coho...

Complete Heyting algebras arise as the Lindenbaum algebras of (intuitionistic) logics with infinite disjunction. [ edit ] Frames and locales The ob...

Spec even defines a contravariant functor from the category of commutative rings to the category of locally ringed spaces . In fact it is the unive...

List of curve topics List of triangle topics List of circle topics List of topics related to ? List of general topology topics List of differential...

Practical geometry 2.2 Axiomatic geometry 2.3 Geometric constructions 2.4 Numbers in geometry 2.5 Geometry of position 2.6 Geometry beyond Euclid 2...

Complete algebraic variety - Wikipedia, the free encyclopedia Complete algebraic variety From Wikipedia, the free encyclopedia   (Redirected from C...