Category theory/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>Peter Lyall Easthope m (Initialized the page.) |
imported>Peter Lyall Easthope m (→Related fields: Changed "Analysis" to "Mathmatical Analysis".) |
||
| (10 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
{{subpages}} | {{subpages}} | ||
==Parent topics== | ==Parent topics== | ||
{{r| | {{r|Abstract algebra}} | ||
==Subtopics== | ==Subtopics== | ||
{{r| | {{r|Class (set theory)|Class}} | ||
{{r|Initial object}} | |||
{{r|Limit (category theory)|Limit}} | |||
{{r|Morphism}} | |||
{{r|Terminal object}} | |||
{{r|Topos theory}} | |||
{{r|Universal property}} | |||
===Examples of categories=== | |||
{{r|Category of sets|'''Set'''}} | |||
{{r|Category of topological spaces|'''Top'''}} | |||
{{r|Category of functors|'''Funct'''}} | |||
{{r|Category of schemes|'''Scheme'''}} | |||
==Other related topics== | ==Other related topics== | ||
===Related fields=== | |||
{{r|Analysis}} | {{r|Mathematical Analysis}} | ||
{{r|Automata | {{r|Automata theory}} | ||
{{r|Formal | {{r|Formal languages}} | ||
{{r|Geometry}} | {{r|Geometry}} | ||
{{r|Logic}} | {{r|Logic}} | ||
{{r|Topology}} | {{r|Topology}} | ||
===People=== | |||
{{r|Samuel Eilenberg}} | |||
{{r|Saunders Mac Lane}} | |||
Latest revision as of 10:12, 11 May 2009
- 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]: Category whose objects are sets and whose morphisms are functions between those sets. [e]
- Top [r]: Category whose objects are topological spaces and whose morphisms are continuous functions. [e]
- Funct [r]: Category whose objects are functors in another category and whose morphisms are natural transformations. [e]
- Scheme [r]: Add brief definition or description
Related fields
- Mathematical Analysis [r]: Add brief definition or description
- 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]