Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
category_._set_theory [2014/04/07 19:00] nikolaj |
category_._set_theory [2014/04/07 19:02] nikolaj |
||
|---|---|---|---|
| Line 11: | Line 11: | ||
| ==== Discussion ==== | ==== Discussion ==== | ||
| - | Within set theory, we can define a category as quintuple given by two sets and two maps into them. The $\prod$-notation giving the set theoretical model for polymorphic functions, is given in [[function]]. | + | Within set theory, we can define a category as quintuple given by two sets and two maps into them. The $\prod$-notation giving the set theoretical model for dependend/polymorphic functions, is given in [[function]]. |
| The three axioms say the following: The hom-sets are pairwise disjoint, the composition is associative and $id$ denotes the identity. | The three axioms say the following: The hom-sets are pairwise disjoint, the composition is associative and $id$ denotes the identity. | ||
