deniz
Search Results
A unifying language enables further discovery
→
Discussion
→
This is the power behind generalized theories like [[category theory]]
→
#
>
and
Homotopy Type Theory
maybe
→