File:Category_SVG.svg · Wikimedia Commons · See Wikimedia Commons
category
Sign in to savealgebraic structure of objects and morphisms between objects, which can be associatively composed if the (co)domains agree
Wikidata facts
- Image
- Category SVG.svg
Show 3 more facts
- time of discovery or invention
- 1945-00-00
- series ordinal
- 1
- quantity symbol (string)
- C
via Wikidata · CC0
~21 min read
Article
This is a category with a collection of objects A, B, C and collection of morphisms denoted f, g, g ∘ f, and the loops are the identity arrows. This category is typically denoted by a boldface 3.
In mathematics, a category (sometimes called an abstract category to distinguish it from a concrete category) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the category of sets, whose objects are sets and whose arrows are functions.