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:

On modal type theory and cohesive homotopy type theory

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

category: people

Last revised on June 30, 2021 at 03:30:19. See the history of this page for a list of all contributions to it.