Category Theory

• Within category theory, we adopt the notion that functions are not just rules (mappings), but rules with a domain and codomain.
• Let be sets. denotes the set of all functions with domain and codomain .
  • Let be a function. The function Is defined by the mapping .
  • Let be a function. The function n is defined by the mapping .
  • Both of the above are called the hom functors.

Topics §

• Category Theory — Notation Guide

Links §

• Category Theory for Computing Sciences by Barr and Wells
• Set Theory