CategoriesIntroduces categories as collections of objects with morphisms and identity morphisms.
Functions and DataCovers the implementation of rational arithmetic using functions to encapsulate data structures.
Categorical Context of G-objectsDelves into the categorical framework for group actions and the correspondence between G-actions on c and functors from BG to C.
