agda-cat Implementation of Category Theory in Agda as a part of excercise for me to understand Category Theory