மின்னஞ்சல் பதிவு: Canonicity and homotopy canonicity for cubical type theory