Category theory/Definition

From Citizendium
< Category theory
Revision as of 08:59, 19 May 2008 by imported>Peter Lyall Easthope (Repaired the reference to rules of identity.)
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 and rules of identity.