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
→
notes
github
linkedin
calendly
deniz@denizay.org