The n-Category Café
A group blog on math, physics and philosophy
The n-Category Café's Latest Posts
Watch a rolling ball illustrate an exceptional incidence geometry!
Try to understand how dimension can depend on scale
Bishop sets and Klein geometries are both quotient constructions, and can both be realized by HITs, in contrast to the univalence/extensionality based approach common in set theory.
Book release of 'Mathematics Without Apologies'
Log in to leave a comment