nLab David Jaz Myers

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

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 August 9, 2022 at 08:47:53. See the history of this page for a list of all contributions to it.