Category theory/Definition

From Citizendium
< Category theory
Revision as of 21:34, 17 May 2008 by imported>Peter Lyall Easthope (Initialized.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
This article is a stub and thus not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
A definition or brief description of Category theory.

Loosly 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 obeying rules of identity.