Hyperbolic GeometryIntroduces hyperbolic geometry, covering complete metric spaces, isometries, and Gaussian curvature in dimension 2.
Quotient Groups and Push-outsCovers the construction of push-outs in the category Ens and philosophical concepts of universality and co-universality.