| http://www.w3.org/ns/prov#value | - If B is an object of a finitely (2-)complete 2-category K, then the 2-category Fib(B) of fibrations over B is monadic over K/B, where 'fibration' is meant in Street's sense (see nLab or Street's Fibrations in bicategories in the Cahiers or the paper cited by Buschi Sergio above).
|
