Search Results for ""

In a category C, an initial object is an object I in Ob(C) such that for any other object X in Ob(C), there is one and only one morphism from I to X.

In a category C, a terminal object is an object T in Ob(C) such that for any other object X in Ob(C), there is one, and only one morphism from X to T.

An additive category is a category for which the morphism sets have the structure of Abelian groups. It satisfies some, but not all the properties of an Abelian category.

A term used in category theory to mean a general morphism. The term derives from the Greek omicronmuomicron (omo) "alike" and muomicronrhophiomegasigmaiotasigma (morphosis), ...

Let F and G be fibered categories over a topological space X. A morphism phi:F->G of fibered categories consists of: 1. a functor phi(U):F->G(U) for each open subset U ...

There are no fewer than two closely related but somewhat different notions of gerbe in mathematics. For a fixed topological space X, a gerbe on X can refer to a stack of ...

Isomorphism is a very general concept that appears in several areas of mathematics. The word derives from the Greek iso, meaning "equal," and morphosis, meaning "to form" or ...

In logic, the term "homomorphism" is used in a manner similar to but a bit different from its usage in abstract algebra. The usage in logic is a special case of a "morphism" ...

A function between categories which maps objects to objects and morphisms to morphisms. Functors exist in both covariant and contravariant types.

A general concept in category theory involving the globalization of local morphisms.