Category theory/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>Jitse Niesen (add examples of categories, clean up) |
imported>Peter Lyall Easthope m (→Examples of categories: Corrected the <b>Set</b> example.) |
||
| Line 13: | Line 13: | ||
==Examples of categories== | ==Examples of categories== | ||
{{r| | <b>{{r|Set}}</b>, the category of sets | ||
{{r|Set}} | <!-- {{r|Set}} --> | ||
{{r| | {{r|<b>Top</b>, the category of topological spaces}} | ||
{{r|Topological space}} | {{r|Topological space}} | ||
{{r|Category of functors}} | {{r|Category of functors}} | ||
Revision as of 15:47, 14 September 2008
- See also changes related to Category theory, or pages that link to Category theory or to this page or whose text contains "Category theory".
Parent topics
- Abstract algebra [r]: Branch of mathematics that studies structures such as groups, rings, and fields. [e]
Subtopics
- Class [r]: Add brief definition or description
- Initial object [r]: Add brief definition or description
- Limit [r]: Add brief definition or description
- Morphism [r]: Add brief definition or description
- Terminal object [r]: Add brief definition or description
- Topos theory [r]: Add brief definition or description
- Universal property [r]: Add brief definition or description
Examples of categories
- Set [r]: Please do not use this term in your topic list, because there is no single article for it. Please substitute a more precise term. See Set (disambiguation) for a list of available, more precise, topics. Please add a new usage if needed., the category of sets
- [[Top, the category of topological spaces]] [r]: [{{fullurl:Top, the category of topological spaces/Definition|action=edit&preload=Template%3ADef_preload}} Add brief definition or description]
- Topological space [r]: A mathematical structure (generalizing some aspects of Euclidean space) defined by a family of open sets. [e]
- Category of functors [r]: Category whose objects are functors in another category and whose morphisms are natural transformations. [e]
- Category of schemes [r]: Add brief definition or description
- Scheme [r]: Topological space together with commutative rings for all its open sets, which arises from 'glueing together' spectra (spaces of prime ideals) of commutative rings. [e]
Related fields
- Analysis [r]: Please do not use this term in your topic list, because there is no single article for it. Please substitute a more precise term. See Analysis (disambiguation) for a list of available, more precise, topics. Please add a new usage if needed.
- Automata theory [r]: Add brief definition or description
- Formal languages [r]: Add brief definition or description
- Geometry [r]: The mathematics of spacial concepts. [e]
- Logic [r]: The study of the standards and practices of correct argumentation. [e]
- Topology [r]: A branch of mathematics that studies the properties of objects that are preserved through continuous deformations (such as stretching, bending and compression). [e]
People
- Samuel Eilenberg [r]: Add brief definition or description
- Saunders Mac Lane [r]: Add brief definition or description