Category theory

Topic history | v1 (current) | created by jjones

Details

Category theory

| created by jjones | Add resource "Categories, What’s the Point?"
Title
Category theory
Description
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. Several terms used in category theory, including the term "morphism", are used differently from their uses in the rest of mathematics. In category theory, morphisms obey conditions specific to category theory itself.
Link
https://en.wikipedia.org/?curid=5869

resources

treated in Categories, What’s the Point?
v1 | attached by jjones | Add resource "Categories, What’s the Point?"
treated in What is Applied Category Theory?
v1 | attached by jjones | Add resource "What is Applied Category Theory?"
treated in Categorical informatics
v1 | attached by jjones | Add resource "Categorical informatics"

authors

This topic has no history of related authors.

topics

subtopic of Mathematics
v1 | attached by jjones | Add resource "Categories, What’s the Point?"