Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added pointer to:
op-fibration fibered in groupoids
It is arguably more logical to say opfibration opfibered in groupoids (Grothendieck school would say simply category cofibered in groupoids).
(Fibered category or category which is fibered is just the transposition of a phrase, in French even the word order does not change.)
1 to 2 of 2