f: A \rightarrow B
f is a morphism from object A to object B. There are a few ways to categorise morphisms using their behaviour across every object.
The morphism is the core of category theory. It describes relations between objects.
- Category Theory
- At the core of category theory is, unsurprisingly, the category. A category is a collection of objects and morphisms, where each object has at least an 'identity morphism'. A morphism is an arrow pointing from one object to another. Objects exist as named points to give the morphisms context. Category theory concerns itself with the composition of morphisms within different categories and the different states that are possible.
- CT: Object
- CT: Categories
- Video Series: Category Theory
- CT: Isomorphism
- Identity Morphism
- A category with a single object is a monoid
- The composition of morphisms in a monoidal category corresponds to an associative binary operation
- Graphs can represent a category
- The Empty Category