HoTT/HoTT — pull request #362 by JasonGross (2014-04-07 01:12:49+00:00)
Title: Set category is univalent

This is on top of #361