Type theory and homotopy theory are two interconnected areas of mathematical logic and topology that have gained significant attention in recent research. Type theory serves as a foundation for ...

Homotopy theory and K-theory are two interconnected areas of mathematics that explore the properties of topological spaces and algebraic structures through the lens of homotopy, which is a concept ...