This is your work, valued

David Jaz Myers

Advanced
@DavidJaz

A mathematician. Interested in categorical systems theory, modal type theory, and what it means to be a "thing".

DynamicalSystemsBook. TeX

57

Cohesion. A personal library, formalizing cohesive homotopy type theory in Agda.

13

Dynamical. Open Monadic Dependent Dynamical Systems... in Idris

3

Systems. Double Categories of Open Dynamical Systems

3

Adjoint-School-2022. Jupyter Notebook

1