Kategori: And Go Extended Version