Category theory

Category theory formalizes mathematical structure and its concepts in terms of a collection of objects and of arrows (also called morphisms).

This mathematics-related article is a stub. You can help out with Wikiquote by expanding it!

Quotes

Category theory plays somewhat the same role in algebra and topology that set theory plays in analysis.
- Brayton Gray: Homotopy Theory: An Introduction to Algebraic Topology. Academic Press. 12 November 1975. p. 17. ISBN 978-0-08-087380-0.

The cornerstone of Category Theory is the Yoneda lemma. It asserts that a category $C$ $C$ may be embedded in the category $C^{\wedge }$ $C^{\wedge }$ of all contravariant functors from this category to the category Set of sets, the morphisms in Set being the usual maps. This allows us, in some sense, to reduce Category Theory to Set Theory. The Yoneda lemma naturally leads to the notion of representable functor, and in particular to that of adjoint functor.
- Masaki Kashiwara and Pierre Schapira: Categories and Sheaves. Springer Science & Business Media. 20 October 2005. p. 9. ISBN 978-3-540-27949-5.

External links

Wikipedia

Wikipedia has an article about:

Category theory

Mathematics
Mathematicians (by country)	Abel • Anaxagoras • Archimedes • Aristarchus of Samos • Averroes • Arnold • Banach • Cantor • Cartan • Chern • Cohen • Descartes • Diophantus • Erdős • Euclid • Euler • Fourier • Gauss • Gödel • Grassmann • Grothendieck • Hamilton • Hilbert • Hypatia • Lagrange • Laplace • Leibniz • Milnor • Newton • von Neumann • Noether • Penrose • Perelman • Poincaré • Pólya • Pythagoras • Riemann • Russell • Schwartz • Serre • Tao • Tarski • Thales • Turing • Weil • Weyl • Wiles • Witten
Numbers	1 • 23 • 360 • e • π • Fibonacci numbers • Irrational number • Negative number • Number • Prime number • Quaternion • Octonion
Concepts	Abstraction • Algorithms • Axiomatic system • Completeness • Deductive reasoning • Differential equation • Dimension • Ellipse • Elliptic curve • Exponential growth • Infinity • Integration • Geodesic • Induction • Proof • Partial differential equation • Principle of least action • Prisoner's dilemma • Probability • Randomness • Theorem • Topological space • Wave equation
Results	Euler's identity • Fermat's Last Theorem
Pure math	Abstract algebra • Algebra • Analysis • Algebraic geometry (Sheaf theory) • Algebraic topology • Arithmetic • Calculus • Category theory • Combinatorics • Commutative algebra • Complex analysis • Differential calculus • Differential geometry • Differential topology • Ergodic theory • Foundations of mathematics • Functional analysis • Game theory • Geometry • Global analysis • Graph theory • Group theory • Harmonic analysis • Homological algebra • Invariant theory • Logic • Non-Euclidean geometry • Nonstandard analysis • Number theory • Numerical analysis • Operations research • Representation theory • Ring theory • Set theory • Sheaf theory • Statistics • Symplectic geometry • Topology
Applied math	Computational fluid dynamics • Econometrics • Fluid mechanics • Mathematical physics • Science
History of math	Ancient Greek mathematics • Euclid's Elements • History of algebra • History of calculus • History of logarithms • Indian mathematics • Principia Mathematica
Other	Mathematics and mysticism • Mathematics education • Mathematics, from the points of view of the Mathematician and of the Physicist • Philosophy of mathematics • Unification in science and mathematics