nLab David Jaz Myers

David Jaz Myers is graduating at Johns Hopkins, now transitioning to CQTS.

• personal webpage

• Johns Hopkins webpage

Selected writings

On logical topology in the context of cohesive toposes, modal type theory and cohesive homotopy type theory:

• David Jaz Myers, Logical Topology and Axiomatic Cohesion, talk at Geometry in Modal Homotopy Type Theory 2019 (pdf slides)

On modal type theory and cohesive homotopy type theory

• David Jaz Myers, Good Fibrations through the Modal Prism (arXiv:1908.08034v2)

Formalization of the shape/flat-fracture square (differential cohomology hexagon) in cohesive modal homotopy type theory homotopy type theory:

• David Jaz Myers, Modal Fracture of Higher Groups (arXiv:2106.15390), related talk at CMU-HoTT Seminar, 2021 (pdf, pdf)

Related $n$Lab entries

• logical topology

• synthetic differential topology

• modal type theory

category: people