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 $F:E\to B$ such that $F^{op}:E^{op}\to B$ 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 $E$ is a trifibration if both $E \to B$ and $E^{op} \to B$ are bifibrations. The category $E^{op}$, fibred over $B$, is obtained by changing the direction of all the vertical arrows in $E$. (The arrows of $E^{op}$ are the equivalence classes of spans with a vertical arrow pointing at the source, and a cartesian arrow pointing at the target.)
A fibration $E \to B$ is a bifibration iff every inverse image functor $t^{\ast}: E_{J} \to E_{I}$ has a left adjoint $t^{!}: E_{I} \to E_{J}$. It is a trifibration iff there is also a right adjoint $t_{\ast}: E_{I} \to E_{J}$.
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.
1 to 16 of 16