Properties of DivisionCovers the properties of division in integers and the relationship between divisibility and unique quotients.
Quotient Groups and Push-outsCovers the construction of push-outs in the category Ens and philosophical concepts of universality and co-universality.
Equivalence ClassesIntroduces equivalence classes for decomposing a set into subsets of equivalent elements, defining the quotient set X/~.