HoTT
A typical example of diagrammatic proofs
UIP as an incarnation of "Being"
Coherence condition of two proofs in Cubical Agda?
Tag Cloud
CPS
Chinese
Dialectics
HoTT
Idealism
Languages
Logics
Marxism
Mathematics
Philosophy
Zizek
diagrammatic reasoning
foundations