“A foundational book on category theory mentioned during the discussion of logic vs. category theory.”