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