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

Published 20 hours ago • verified publisher icon CategoricalData

Port LimitFunctorTheorems, InducedLimitFunctors

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

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

JasonGross avatar Oct 18 '13 02:10 JasonGross