Opaque.Glass
Search
Search
Search
Dark mode
Light mode
Explorer
Essays
Declassification as a vector for technological progress
Resources
Blogs
Taking nonlogical concepts seriously (Kris Brown)
Books
Category Theory (Awodey)
Counterfactuals and Causal Inference
Linear Algebra Done Right
Modal Homotopy Type Theory
Reasons for Logic, Logic for Reasons
People
Cosma Shalizi
Home
❯
Resources
❯
Books
❯
Modal Homotopy Type Theory
Modal Homotopy Type Theory
type-theory
concept-formalisms
david-corfield
todo
Graph View
Backlinks
Taking nonlogical concepts seriously (Kris Brown)