New Book about Category Theory and Geometry