David Jaz Myers is postdoctoral researcher at CQTS @ NYU Abu Dhabi.
institute page at NYU Abu Dhabi
old institute page at Johns Hopkins
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]
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:
On twisted cohomology towards hypergeometric integral KZ-solutions in homotopy type theory:
On orbifolds in differential cohesive homotopy type theory:
On cohesive homotopy type theory with a pair of commuting cohesive structures (such as for differential orbifold cohomology):
with exposition in:
Exposition of homotopy type theory:
Last revised on April 12, 2023 at 16:10:35. See the history of this page for a list of all contributions to it.