HoTT/HoTT — pull request #630 by JasonGross (2014-12-02 04:33:43+00:00)
Title: Functoriality of adjoints - respecting composition

Also, I've added non-dependent versions.

I don't know how to state the dependent versions, though.

The next PR after this one will probably assemble them all into a functor, and hopefully have a dependent version, too.