1 result found Sort:

adamnemecek
adjoint adamnemecek
5
166
unknown
19
Thoughts on adjoint, norm and such.
norm category-theory adjoint-functors adjoint-operator
Created 2020-01-06
150 commits to master branch, last one 2 years ago