DavidJaz
A mathematician. Interested in categorical systems theory, modal type theory, and what it means to be a "thing".
Pinned Repositories
Adjoint-School-2022
appliedcategorytheory.github.io
ACT Adjoint School Website
Cohesion
A personal library, formalizing cohesive homotopy type theory in Agda.
DavidJaz.github.io
Build a Jekyll blog in minutes, without touching the command line.
Dirichlet
oo-Toposes of Dirichlet Functors
Dynamical
Open Monadic Dependent Dynamical Systems... in Idris
DynamicalSystemsBook
Pancake
A toy concatenative language with (hopefully) dependent types.
SymmetryBook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Systems
Double Categories of Open Dynamical Systems
DavidJaz's Repositories
DavidJaz/DynamicalSystemsBook
DavidJaz/Cohesion
A personal library, formalizing cohesive homotopy type theory in Agda.
DavidJaz/Dynamical
Open Monadic Dependent Dynamical Systems... in Idris
DavidJaz/Systems
Double Categories of Open Dynamical Systems
DavidJaz/Pancake
A toy concatenative language with (hopefully) dependent types.
DavidJaz/Adjoint-School-2022
DavidJaz/appliedcategorytheory.github.io
ACT Adjoint School Website
DavidJaz/DavidJaz.github.io
Build a Jekyll blog in minutes, without touching the command line.
DavidJaz/Dirichlet
oo-Toposes of Dirichlet Functors
DavidJaz/SymmetryBook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
DavidJaz/Things
A bucket for writings on mathematical metaphysics
DavidJaz/tridactyl
A Vim-like interface for Firefox, inspired by Vimperator/Pentadactyl.