Structures for Grothendieck Fibrations

Published in Master Degree thesis, 2020

Master’s degree thesis. We prove a monadicity and a comonadicity result for the Grothendieck fibrations. The comonadicity result is original.

Download here