Цахим шуудангийн бүртгэл: Основы теории категорий