Remark 4.2.5.2. The notion of a fibration in groupoids was introduced by Grothendieck in [MR0217088] (ExposÃ© 6).

$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Remark 4.2.5.2. The notion of a fibration in groupoids was introduced by Grothendieck in [MR0217088] (ExposÃ© 6).