Homotopy theory
- Yuki

- 4 days ago
- 1 min read
A mathematical and logical theory that considers "types of things" as "shapes of space."
type = space
Element = Point in space
Equality = the path connecting two points
Equality between equals = Transformation of roads
This approach involves continuously deforming shapes without cutting or pasting them, and considering them to be the same.
A cup is roughly equivalent to a donut; if deformed continuously, it will have the same structure.

A new mathematical foundational theory that treats the concept of "equality" as a path connecting points or a deformation of space.












Comments