blob: a46fe85b4956f20295417ff337667e806b7a73b6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
+++
title = "Objects"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["4d1"]
forwardlinks = ["4d3", "4d2a"]
zettelid = "4d2"
+++
Objects have to have the following properties:
- For objects A, B, we have "Set" of morphisms: $A \rightarrow_f B$
- Composition:
$\mathit{Mor}(A, B) \times \mathit{Mor}(B, C) = \mathit{Mor}(A, C)$
- Identity morphisms: $\mathit{Mor}(A, A)$
And morphisms have to follow the following axioms:
- Association: $(f \circ g) \circ h = f \circ (g \circ h)$
- Identity: $f \circ I_B = f$, $I_A \circ f = f$
|