HoTT-categories icon indicating copy to clipboard operation
HoTT-categories copied to clipboard

Published 20 hours ago • verified publisher icon CategoricalData

Port chain category from catdb

Open JasonGross opened this issue 12 years ago • 0 comments
trafficstars

https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/ChainCategory.v?at=default

This requires proving that le IsHProp.

JasonGross avatar Oct 18 '13 02:10 JasonGross