References for Category theory

Back to article

References to other articles, organized by section

Algebraic topology
Associativity
Category (mathematics)
Computer science
Contravariant functor
Direct product
Duality (mathematics)
Function (mathematics)
Function composition
Functional programming
Functor
Identity element
Mathematical object
Mathematical structure
Monoid
Morphism
Natural transformation
Object (category theory)
Quotient space
Samuel Eilenberg
Saunders Mac Lane
Semantics (computer science)

Categories

Associativity
Binary operation
Class (set theory)
Identity (mathematics)
Identity morphism
Map (mathematics)
Morphism

Examples

Category of sets
Function (mathematics)
Function composition

Morphisms

Automorphism
Commutative diagram
Endomorphism
Epimorphism
Isomorphism
Monomorphism
Morphism
Retract (category theory)
Section (category theory)

Functors

Functor
Opposite category

Natural transformations

Commutative diagram

Universal constructions, limits, and colimits

Empty set
Product topology
Universal property

Equivalent categories

Equivalence of categories

Further concepts and results

Adjoint functors
Dual (category theory)
Functor category
Yoneda lemma

Higher-dimensional categories

2-category
Bicategory
Higher-dimensional algebra
Monoidal category
N-category
Natural number
Natural transformation
Ordinal number
Quasi-category
Ronald Brown (mathematician)
Ω (ordinal number)

Historical notes

Algebraic geometry
Algebraic structure
Algebraic topology
Applied category theory
Axiomatic set theory
Cartesian closed category
Categorical abstract machine
Categorical logic
Constructivism (mathematics)
Domain theory
Emmy Noether
Feynman diagrams
Functional programming
Functor
Group theory
Guerino Mazzola
Homological algebra
Homology (mathematics)
Homomorphism
Intuitionistic logic
John Baez
Lambda calculus
Mathematical logic
Mathematical structure
Physics
Pointless topology
Samuel Eilenberg
Saunders Mac Lane
Scheme theory
Semantics (computer science)
Sheaf (mathematics)
Stanislaw Ulam
Stephen Schanuel
Topological invariant
Topology
Topos
Type theory
Universal algebra
William Lawvere

Source on Wikipedia (https://en.wikipedia.org)

--

Gemipedia Home
Go to Article
Using English Wikipedia. Change Language?

--
Size: 6.52 KB. 97.07% smaller than original: 222.55 KB 🤮
Fetched: 22 ms. Converted: 464 ms. 🐇

Made with 📚 and ❤️ by Acidus (mailto://)

All Wikipedia content is licensed under CC BY-SA 3.0