Homotopy Type Theory
trilinear function > history
<
multilinear function
category:
redirected to nlab