David Jaz Myers: Homotopy type theory for doing category theory

David Jaz Myers: Homotopy type theory for doing category theory

David Jaz Myers, The tangent bundles of spheresSee more

David Jaz Myers, The tangent bundles of spheres

Berkeley Seminar: David Jaz Myers, 8/7/2023See more

Berkeley Seminar: David Jaz Myers, 8/7/2023

David Jaz Myers: "A synthetic approach to orbifolds"See more

David Jaz Myers: 'A synthetic approach to orbifolds'

David Myers: Behavioral Mereology: A Modal Logic for Passing ConstraintsSee more

David Myers: Behavioral Mereology: A Modal Logic for Passing Constraints

David Jaz Myers: "Three Realisms and The Idea of Sheaves"See more

David Jaz Myers: 'Three Realisms and The Idea of Sheaves'

David Jaz Myers - Topological Quantum Gates in Homotopy Type TheorySee more

David Jaz Myers - Topological Quantum Gates in Homotopy Type Theory

David Jaz Myers: Open dynamical systems, trajectories and hierarchical planningSee more

David Jaz Myers: Open dynamical systems, trajectories and hierarchical planning

David Jaz Myers - Logical Topology and Axiomatic CohesionSee more

David Jaz Myers - Logical Topology and Axiomatic Cohesion

David Jaz Myers: Double Categories of Open Dynamical SystemsSee more

David Jaz Myers: Double Categories of Open Dynamical Systems

David Jaz Myers: A general definition of open dynamical systemSee more

David Jaz Myers: A general definition of open dynamical system

David Jaz Myers, Higher Schreier theorySee more

David Jaz Myers, Higher Schreier theory

News