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
→