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
❯
tags
❯
Tag: concept-formalisms
Tag: concept-formalisms
1 item with this tag.
Aug 04, 2025
Modal Homotopy Type Theory
type-theory
concept-formalisms
david-corfield
todo