nLab
David Jaz Myers
David Jaz Myers is a graduate student at Johns Hopkins.
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, talk at CMU-HoTT Seminar, 2021 (pdf, pdf)
Related Lab entries
category: people
Last revised on March 20, 2021 at 03:05:42. See the history of this page for a list of all contributions to it.