M8: Teoria Kategorii [TODO]

Tutaj rzeczy podobne do mojego projektu kategoriowego: github.com/wkolowski/CoqCat Wstęp (TODO)