Category Theory is the mathematical theory of structure-respecting transformations. A category consists of arrows (or morphisms) between objects. For example, we can form a category by taking partially ordered sets as the objects and order-respecting mappings as the arrows. Using general category-theoretical notions, we can then determine the meaning of such concepts as the product of two partially ordered sets. Such general notions are typically defined by universal properties, which determine the result uniquely (up to isomorphism).

For further online information, see: A Gentle Introduction to Category Theory - the calculational approach, by Maarten Fokkinga,

Revision: r1.1 - 09 May 2001 - 21:56 - EelcoVisser
Transform > CategoryTheory
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback