HoTT/HoTT — pull request #279 by JasonGross (2013-12-09 01:03:49+00:00)
Title: Port some more things from HoTT-categories

including the fact that dualizing is functorial, and the grothendieck construction of functors to set, functors to cat, and pseudofunctors to cat.

This is on top of #269, #274, #275, and #278.