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

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)*

category: people

Last revised on August 9, 2022 at 08:47:53. See the history of this page for a list of all contributions to it.