Category theory/Definition

From Citizendium
Jump to navigation Jump to search
This article is a stub and thus not approved.
Main Article
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
A definition or brief description of Category theory.

Loosely speaking, a class of objects and a collection of morphisms which act upon them; the morphisms can be composed, the composition is associative and there are identity objects and rules of identity.