Category theory
Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms). A category has two basic properties: the ability to compose the arrows associatively, and the existence of an identity arrow for each object. The language of category theory has been used to formalize concepts of other high-level abstractions such as sets, rings, and groups. Informally, category theory is a general theory of functions.
Category theory - Wikipedia Jump to content From Wikipedia, the free encyclopedia General theory of mathematical structures Schematic representation of three objects and three morphisms of a category, which form a commutative diagram Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac Lane in the mid-20th century in their foundational work on algebraic topology . [ 1 ] Category theory can be used in most areas of mathematics. In particular, many constructions of new mathematical objects from previous ones th
Explore this link on the map →related reading
- Category Theory on Math3mamath3ma.com
- What is Category Theory Anyway?math3ma.com
- Introducing Categories || Math ∩ Programmingjeremykun.com
- Infinity Category Theory Offers a Bird's-Eye View of Mathematics | Scientific Americanscientificamerican.com
- Bartosz Milewski's Programming Cafe | Category Theory, Haskell, Concurrency, C++bartoszmilewski.com
- Functor - Wikipediaen.wikipedia.org
- Adjunctions | Bartosz Milewski's Programming Cafebartoszmilewski.com
- Natural Transformations | Bartosz Milewski's Programming Cafebartoszmilewski.com
- Categories, What's the Point? || Math ∩ Programmingjeremykun.com
- Yoneda lemma - Wikipediaen.wikipedia.org
- Categories for AIcats.for.ai
- Towards a Research Program on Compositional World-Modeling – Topos Institutetopos.site