Expressing ‘the structure of’ in homotopy type theory
Sign Up to like & getrecommendations! Published in 2017 at "Synthese"
DOI: 10.1007/s11229-017-1569-7
Abstract: As a new foundational language for mathematics with its very different idea as to the status of logic, we should expect homotopy type theory to shed new light on some of the problems of philosophy… read more here.
Keywords: type theory; homotopy type; type; mathematics ... See more keywords
Symmetric monoidal smash products in homotopy type theory
Sign Up to like & getrecommendations! Published in 2024 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129524000318
Abstract: Abstract In homotopy type theory, few constructions have proved as troublesome as the smash product. While its definition is just as direct as in classical mathematics, one quickly realises that in order to define and… read more here.
Keywords: homotopy type; smash; smash products; symmetric monoidal ... See more keywords
Preface: Advances in Homotopy Type Theory
Sign Up to like & getrecommendations! Published in 2024 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129524000410
Abstract: Abstract We give a brief overview of the special issue of MSCS “Advances in Homotopy Type Theory.” read more here.
Keywords: preface advances; homotopy type; advances homotopy; type theory ... See more keywords
Rational homotopy type of projectivization of the tangent bundle of certain spaces
Sign Up to like & getrecommendations! Published in 2024 at "Arab Journal of Mathematical Sciences"
DOI: 10.1108/ajms-02-2024-0029
Abstract: PurposeThe paper aims to determine the rational homotopy type of the total space of projectivized bundles over complex projective spaces using Sullivan minimal models, providing insights into the algebraic structure of these spaces.Design/methodology/approachThe paper utilises… read more here.
Keywords: homotopy type; projectivized bundles; rational homotopy; space ... See more keywords