Homotopy Type Theory
unitary isomorphism in a dagger precategory > history
<
unitary isomorphism
category:
redirected to nlab