Remark 11.7.0.15. Removed subsection which originally contained the definitions of left and right fibrations.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 11.7.0.15. Removed subsection which originally contained the definitions of left and right fibrations.