Fibrations as Eilenberg-Moore algebras
arXiv:1312.1608
Abstract
We give an elementary exposition of some fundamental facts about fibered (or rather opfibered) categories, in terms of monads and 2-categories. The account avoids any mention of category-valued functors and pseudofunctors.