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.
created bifibration
I think that the pushforward in a bifibration should be called $$f_$$, not , because it is left adjoint to the pullback
rather than right adjoint. Also in many bifibrations there is also a right adjoint to
, which it makes more sense to call
, although that adjoint is not concisely describable in fibrational language.
Huh, that's supposed to say f_!, but for some reason it isn't parsing correctly.
I personally agree and use that convention. Benabou-Raubaud use $f_*$ as well as many algebraic and categorical treatments (maybe even Borceux but have no time to check now). I prefer the way Mike suggests, it clicks the right way at least for us who do something between algebra and geometry.
You used in domain cofibration, so I fixed it to u_!.
I also feel strongly that "cofibration" is the wrong word here. Cofibrations have an extension property, but "cofibered categories" still have a lifting property. So "opfibration" is better. I know that Grothendieck used "cofibration" but I maintain that he should have known better.
Thanks Mike. I added Pierre Gabriel and references to group scheme (the latter are a subset of tyhe references at algebraic group, I ommitted those which are mainly about algebraic groups in narrow sense and variety techology and not about general group schemes and scheme language). Chanegs to several related items. I do not know of the bio data of Pierre Gabriel (strange enough, the wikipedia has so many irrelevant French and Swiss mathematicians covered but not a person of his stature...).
I changed the title to domain opfibration as Mike suggested. On the other hand I changed back the u_! to u_* in THAT entry.
Unlike the case of codomain fibration, where I agreed with Mike that left adjoint to u^* should be called u_!, and NOT u_*, in the case of domain cofibration we can have right adjoint of u_* which is NOT u^* but u^!, at least in geometry. Thus one has u_! -| u^* -| u_* -| u^! as in algebraic geometry (in the cases when these functors exist). If you want to have one and the same notation for all bifibration then you do not fit the examples, I prefer to fit the examples with the respective standard which is in geometry self-consistent.
To say differently, you can call a direct image in a co/opfibration either f_* or f_!, DEPENDING ON CONTEXT, however, once the context dictates one of them then you have no choice between f^* and f^! as the left versus right adjointness solely dictates the choice.
maybe I am mixed up:
Isn't the functor the one classified by
and hence a fibration? I would have thought it's the codomain functor
that is an opfibration, as it is classified by
Urs, the fibration which is emphasised in domain fibration is about the pullback which is the usual INVERSE image. You obviously talk about the secondary cofibration structure via post-composition. I mean both are bifibrations but one strcuture is emphasised and that one is giving the name to (co)cartesian morphisms. (Co)cartesian arrows in these are exactly upper arrows of (co)cartesian squares in C.
Urs notices that while the codomain fibration requires (to be a fibration) pullbacks, the cofibration part (though it did not play the same historical role) of the SAME functor does not need anything. We could in fact talk about historically motivating examples of codomain fibration and domain cofibration, as I listed, but also of "obvious" domain fibration and codomain cofibration which are used in treatment of sieves and cosieves for Grothendieck (co)topologies.
I have now added plenty of "pedagogical" details to codomain fibration.
I also linked to it in the respective example-sections at overcategory and at bifibration.
Okay, I'll go along with u_* and u^! for domain opfibration, but I added some explanation as to why it's different from the usual notation for bifibrations. (Why doesn't u_! work in latex on the forum?)
We have a section called ’Remark’ which has only
A bifibration such that is a bifibration as well is called a trifibration (cf. Pavlović 1990, p.315).
As this MO comment observes, it’s rather misleading. In that paper by Pavlović it says
We say that is a trifibration if both and are bifibrations. The category , fibred over , is obtained by changing the direction of all the vertical arrows in . (The arrows of are the equivalence classes of spans with a vertical arrow pointing at the source, and a cartesian arrow pointing at the target.)
A fibration is a bifibration iff every inverse image functor has a left adjoint . It is a trifibration iff there is also a right adjoint .
It sounds like it’s due its own page, so I’ll start one.
I moved the “Remark” with link to trifibration into the Related Concepts section.
reworded the paragraph on bifibrations of model categories that used to be a sub-section of its own and made it a remark here pointing instead to Grothendieck construction for model categories for details
The part of the entry on “Relation to distributive laws” should be moved to two-sided fibration; the use of the term “bifibration” used here is not consistent with the rest of the entry.
I was also wondering if there is an original reference where bifibrations were defined; I imagine this might be the same place where Grothendieck fibrations were defined.
should be moved
Please do! If you have the energy.
Regarding the question concerning original references:
I haven’t spotted bifibrations in Grothendieck’s “Technique de descente…”, but they are introduced very clearly and with that terminology (up to translation) in:
A few years later Gray’s text speaks of “functors that are both fibrations as well as opfibrations” but does not call them “bifibrations”:
(Have added these to the entry here.)
Incidentally, I don’t see bifibrations (or even opfibrations) mentioned at all in Bénabou 1985 which makes me suspect that they are also not mentioned in Bénabou 1975 but I don’t have a useful enough copy of the latter to bother checking
Deleted the reference to Buckley (fibrations of 2-categories) and instead added a disambiguation warning to the top of the entry.
Will create now fibration of 2-categories to have this sorted out.
[edit: Oh, now I see that this is already redirecting to somewhere :-)]
deleting the subsection on “Relation to distributive laws” and the reference to von Glehn 2015, moving both to two-sided fibration
added pointer to:
for the statement that a fibration is a bifibration iff all its base change functors have an adjoint on the appropriate side.
1 to 24 of 24