nLab David Jaz Myers
-
old institute page at NYU Abu Dhabi
-
older institute page at Johns Hopkins
Selected writings
On a string diagram-calculus for (virtual) double categories with (virtual) pro-arrow equipments:
-
David Jaz Myers, String Diagrams For Double Categories and (Virtual) Equipments [arXiv:1612.02762]
-
David Jaz Myers, String Diagrams for (Virtual) Proarrow Equipments (2017) [slides: pdf, pdf]
On dynamical systems and their categorical systems theory:
-
David Jaz Myers, Double Categories of Open Dynamical Systems, EPTCS 333 (2021) 154-167 [arXiv:2005.05956, doi:10.4204/EPTCS.333.11]
-
David Jaz Myers, Categorical systems theory, book project [github, pdf]
-
David Jaz Myers, Categorical systems theory, Topos Institute Blog (Nov 2021)
-
David Jaz Myers, Double Categories of Dynamical Systems (2020) [pdf]
-
David Jaz Myers, A general definition of open dynamical systems, talk at MIT Category Theory Seminar (2020) [video:YT]
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)
On twisted cohomology towards hypergeometric integral KZ-solutions in homotopy type theory:
-
David Jaz Myers, Objective Cohomology – Towards topological quantum computation, talk at Geometry, Topology and Physics-Seminar at CQTS (Sep 2022) [pdf]
-
David Jaz Myers: Topological Quantum Gates, talk at Running HoTT 2024, CQTS@NYUAD (April 2024) [video:kt]
following:
- David Jaz Myers, Hisham Sati, Urs Schreiber: Topological Quantum Gates in Homotopy Type Theory, Comm. Math. Phys. 405 172 (2024) [arXiv:2303.02382, doi:10.1007/s00220-024-05020-8]
On orbifolds in differential cohesive homotopy type theory:
- David Jaz Myers, Orbifolds as microlinear types in synthetic differential cohesive homotopy type theory [arXiv:2205.15887]
On cohesive homotopy type theory with a pair of commuting cohesive structures (such as for differential orbifold cohomology):
- David Jaz Myers, Mitchell Riley, Commuting Cohesions [arXiv:2301.13780]
with exposition in:
- David Jaz Myers, Simplicial, Differential, and Equivariant Homotopy Type Theory, talk at CQTS (Jan 2023) [video: rec]
Exposition of homotopy type theory:
- David Jaz Myers, How do you identify one thing with another? – an intro to Homotopy Type Theory, talk in Prof. Sadok Kallel‘s seminar at American University of Sharjah (10 Apr 2023) [slides: pdf]
Related entries
Last revised on June 22, 2025 at 14:49:36. See the history of this page for a list of all contributions to it.