Fibrations as Eilenberg-Moore algebras

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.

Cited by in corpus (3)

• Denseness conditions, morphisms and equivalences of toposes
• The dual fibration in elementary terms
• On fibrations between internal groupoids