Add resource "Categories, What’s the Point?" Accepted
The requested resource couldn't be found.
Changes: 5
-
Add Categories, What’s the Point?
- Title
-
- Unchanged
- Categories, What’s the Point?
- Type
-
- Unchanged
- Web
- Created
-
- Unchanged
- 2013-04-16
- Description
-
- Unchanged
- Perhaps primarily due to the prominence of monads in the Haskell programming language, programmers are often curious about category theory.
- Link
-
- Unchanged
- https://jeremykun.com/2013/04/16/categories-whats-the-point/
- Identifier
-
- Unchanged
- no value
Resource | v1 | current (v1) -
Add Category theory
- Title
-
- Unchanged
- Category theory
- Description
-
- Unchanged
- 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
-
- Unchanged
- https://en.wikipedia.org/?curid=5869
Topic | v1 | current (v1) -
Add Category theory treated in Categories, What’s the Point?
- Current
- treated in
Topic to resource relation | v1 -
Add Mathematics parent of Category theory
- Current
- parent of
Topic to topic relation | v1 -
Add Jeremy Kun created Categories, What’s the Point?
- Current
- created
Author to resource relation | v1