You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Alex Kreitzberg (Jun 15 2020 at 23:39):Hello,
I'm interested in learning about category theory for projective geometry, and so tried to find the book:
Anders Kock: the category aspect of projective space
But it's not on amazon or online near as I can tell. How can I obtain it or something similar?
For context, for those interested, I was impressed with how well synthetic projective geometry supported "drawing intuitions". I was introduced to this via the book "perspective and Projective Geometry by Annalisa Crannell,..."
However, In this book an ideal point of a line l, is defined as the label of the set of lines parallel to l. The Extended Euclidean Space is constructed with devices like this. This model is almost immediately discarded after it's used to prove all of the typical Axioms for projective Geometry.
I was curious whether there was a more intuitive categorical approach for defining the Extended Euclidean Space, or what a categorical approach to Synthetic Projective Geometry might look like. Any recommendations?
Alex Kreitzberg (Jun 16 2020 at 05:04):Thank you!