Site Navigation
Categories:
Categories
categories
Category (mathematics)
Category
Category theory
Higher category theory
Articles lacking in-text citations from November 2009
All articles lacking in-text citations

Summary Of: Category theory

Category theory provides both with a unifying notion and terminology... Category theory has several faces known not just to specialists... is category theory in its aspect of organising and suggesting manipulations in... A systematic study of category theory then allows us to prove general results about any of these types of mathematical structures... The subsequent development of category theory was powered first by the computational needs of... These foundational applications of category theory have been worked out in fair detail as a basis for... Timeline of category theory and related mathematics... Timeline of category theory and related mathematics... Computer scientists using category theory very commonly write... Category Theory for Computing Science... Basic Category Theory for Computer Scientists... An introduction to Category Theory in four easy movements...

Encyclodia Page On: Category theory

These Are Links To Other Documents
| | mathematics | abstract | mathematical structures | sets | functions | morphisms | topology | groupoid | Categories | theoretical computer science | types | mathematical physics | vector spaces | Samuel Eilenberg | Saunders Mac Lane | algebraic topology | general abstract nonsense | Homological algebra | abstract algebra | Diagram chasing | functors | natural transformation | Topos theory | sheaf theory | pointless topology | categories | class | groups | prove | theorems | identity element | morphisms | group homomorphisms | continuous | topological spaces | topology | smooth functions | manifold theory | relations | functions | allegories | Functor | functor | algebraic topology | fundamental group | topological space | groupoids | Natural transformation | natural transformation | general covariance | Samuel Eilenberg | Saunders Mac Lane | algebraic topology | homology | axiomatic | homology theory | Stanislaw Ulam | Emmy Noether | homological algebra | algebraic geometry | axiomatic set theory | Russell-Whitehead | universal algebra | semantic | higher-order logic | topoi | axiomatic set theory | constructive mathematics | Lawvere | Categorical logic | type theory | intuitionistic logics | functional programming | domain theory | cartesian closed category | lambda calculus | Category (mathematics) | Morphism | class | morphisms | maps | binary operation | Associativity | Identity | identity morphism | identity morphism | commutative diagrams | monomorphism | epimorphism | isomorphism | endomorphism | automorphism | Functor | Functors | opposite category | Natural transformation | commutative | Commutative diagram defining natural transformations | Universal property | Limit (category theory) | empty set | product of two topologies | universal properties | limit | Equivalence of categories | Isomorphism of categories | functor category | Yoneda lemma | Duality | Adjoint functors | 2-category | natural transformations | monoidal categories | Bicategories | natural numbers | n-categories | ordinal number | ω | higher-dimensional algebra | Ronald Brown | Category theory portal | Outline of category theory | Domain theory | Enriched category theory | Glossary of category theory | Higher category theory | Higher-dimensional algebra | Important publications in category theory | Timeline of category theory and related mathematics | Text document with red question mark.svg | list of references | external links | inline citations | improve | where appropriate | ISBN | 0-471-60922-6 | Freyd, Peter J. | Mac Lane, Saunders | Categories for the Working Mathematician | ISBN | 0-8218-1646-2 | ISBN | 0-226-51183-9 | Mathematical Logic | Manchester University | Stanford Encyclopedia of Philosophy | PlanetMath | v | d | mathematics | Logic | Set theory | Algebra | elementary | linear | abstract | Number theory | Analysis | Calculus | Geometry | Topology | Combinatorics | Dynamical systems | Game theory | Information theory | Numerical analysis | Optimization | Computation | Probability | Statistics | Category | Mathematics portal | Outline | Topics | Categories | Category theory | Higher category theory | Articles lacking in-text citations from November 2009 | All articles lacking in-text citations |
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Category theory".