Category: add documentation
Functor: add documentation
change category to Math