Street fibration



A Street fibration, or weak fibration, is a generalization of a Grothendieck fibration which obeys the principle of equivalence, i.e. covariant under equivalence of categories. In Cat, almost all Street fibrations which arise in practice are actually Grothendieck fibrations, so the extra generality is not very useful; since it is also fairly cumbersome, it is rarely used. However, when working with anafunctors or internally to a bicategory (a weak 2-category), one is essentially forced to work with Street fibrations instead; see below.


Let p:EBp\colon E\to B be a functor. The notion of when a morphism of EE is cartesian is unchanged from the version for Grothendieck fibrations. However, now we say that pp is a Street fibration if for any f:abf:a\to b and eE be\in E_b there exists a cartesian ϕ:ee\phi:e'\to e and an isomorphism h:p(e)ah:p(e') \cong a such that fh=p(ϕ)f\circ h = p(\phi).

An internalized version of this definition can be given in any 2-category; see fibration in a 2-category. The above definition corresponds to the special case of the 2-category Cat.

In terms of adjoint inverses

Back in the 1960s, J. Gray characterized fibrations as the functors p:EBp\colon E\to B where for every aEa \in E the slice functor? p/a:E/aB/p(a)p/a \colon E/a \to B/p(a) has a right adjoint right inverse c ac_a. One avoids violating the principle of equivalence if one just requires that c ac_a is full and faithful, i.e. the counit of the adjunction p/ac ap/a \dashv c_a is an isomorphism. Explicating this condition in elementary terms, one arrives at the above definition.

A simpler version of this characterization is the following.


A functor p:EBp \colon E \to B is a cloven Street fibration if and only if the canonical functor i:EB/pi \colon E \to B/p has a right adjoint rr in Cat/BCat / B.


First, recall that the 2-category Cat/BCat/B has objects the functors CBC \to B, as morphisms the triangles

C h C fg B \array{C & \xrightarrow{h} & C' \\ & f \searrow \cong \swarrow g & \\ & B & }

which commute up to specified isomorphism, and as 2-cells the natural transformations α:h 1h 2\alpha : h_1 \to h_2 which commute with the specified isomorphisms (i.e. fgh 1gαgh 2f f \xrightarrow{\cong} g h_1 \xrightarrow{g \alpha} g h_2 \xrightarrow{\cong} f is the identity).

Next, recall that the comma category B/pB/p has objects the triples (x,e,k)(x, e, k), with k:xp(e)k \colon x \to p(e) a morphism in BB. Let π:B/pB\pi \colon B/p \to B denote the projection (x,e,k)x(x, e, k) \mapsto x. The canonical morphism i:pB/pi\colon p \to B/p in Cat/BCat/B sends eEe\in E to the triple (p(e),e,1 p(e))(p(e),e,1_{p(e)}).

Somewhat imprecisely, seeing both categories EE and B/pB/p as sitting over BB means that functors between those should be the identity (up to specified isomorphism) on the bb component, and natural transformations should have the identity as their bb component (modulo the specified isomorphisms).

Now, to give an adjunction iri \dashv r in CatCat, it suffices to give, for each object k:xp(e)k \colon x \to p(e) in B/pB/p, an object r(x,e,k)=r(k)r(x,e,k) = r(k) in EE and an arrow i(r(k))=(p(r(k)),r(k),1 p(r(k)))(x,e,k)i(r(k)) = (p(r(k)), r(k), 1_{p(r(k))}) \to (x,e,k) in B/pB/p that is universal from ii to kk. Such an arrow consists of a pair of morphisms θ k:p(r(k))x\theta_k\colon p(r(k)) \to x in BB and ϵ k:r(k)e\epsilon_k\colon r(k) \to e in EE such that

p(r(k)) 1 p(r(k)) θ p(ϵ k) x k p(e) \array{ p(r(k)) & \overset{1}{\to} & p(r(k)) \\ \mathllap{\theta} \downarrow & & \downarrow \mathrlap{p(\epsilon_k)} \\ x & \underset{k}{\to} & p(e) }

commutes, i.e. such that p(ϵ k)=kθ kp(\epsilon_k) = k \circ \theta_k.

Note that since x=π(x,e,k)x = \pi(x,e,k), the morphisms θ\theta supply a natural transformation θ:prπ\theta\colon p r \to \pi, not necessarily invertible. By general doctrinal adjunction arguments, in order for iri \dashv r to be an adjunction in Cat/BCat/B, it is necessary and sufficient that θ\theta be invertible (and we then use it to make rr into a morphism in Cat/BCat/B).

Now, the universal property of (θ k,ϵ k)(\theta_k,\epsilon_k) tells us that for any other morphism in B/pB/p from some i(y)i(y) to kk, i.e., for any yy and any pair (f,g)(f,g) making the square

p(y) 1 p(y) f p(g) x k p(e) \array{ p(y) & \stackrel{1}{\to} & p(y) \\ \mathllap{f} \downarrow & & \downarrow \mathrlap{p(g)} \\ x & \underset{k}{\to} & p(e) }

commute, there is a unique map h:yr(k)h \colon y \to r(k) in BB such that the above square factors in B/pB/p as

p(y) 1 p(y) p(h) p(h) p(r(k)) 1 p(r(k)) θ k p(ϵ k) x k p(e). \array{ p(y) & \stackrel{1}{\to} & p(y) \\ \mathllap{p(h)} \downarrow & & \downarrow \mathrlap{p(h)} \\ \mathllap{p(r(k))} & \stackrel{1}{\to} & \mathrlap{p(r(k))}\\ \mathllap{\theta_k} \downarrow & & \downarrow \mathrlap{p(\epsilon_k)} \\ x & \underset{k}{\to} & p(e). }

In other words, the universal property provides a unique hh such that ϵ kh=g\epsilon_k \circ h = g and θ kp(h)=f\theta_k \circ p(h) = f, which exactly asserts that ϵ k\epsilon_k is a cartesian arrow.

Thus, the existence of a right adjoint to ii means precisely that for each morphism k:xp(e)k \colon x \to p(e), a choice is given of a cartesian lift of kk up to isomorphism. In turn, this means that pp is a cloven fibration.

Other definitions

Most other characterizations of Grothendieck fibrations can also be given in a way which does not violate the principle of equivalence to characterize Street fibrations.

Comparison to Grothendieck fibrations

Every Grothendieck fibration is a Street fibration, as is every equivalence of categories (the latter are not in general Grothendieck fibrations). Since Street fibrations are closed under composition, any functor equivalent to a Street fibration is also a Street fibration (this is the “covariance” property). As remarked above, however, almost all functors in Cat which one wants to treat as “fibrations” are actually Grothendieck fibrations. Moreover, in CatCat every Street fibration is the composite of an equivalence with a Grothendieck fibration: the latter can be taken to be a fibrant replacement of it in the canonical model structure on Cat. (In fact, a Street fibration is a Grothendieck fibration precisely when it is also a isofibration.)

For these reasons, Street fibrations in CatCat are little-studied. The fact that they exist, and that any Street fibration is equivalent to a Grothendieck one, can be useful in assuaging philosophical worries about violation of the principle of equivalence in the notion of Grothendieck fibration, but in practice in CatCat one usually wants to use Grothendieck fibrations.

However, when internalizing in other 2-categories, covariance becomes more important. This is most obvious when the 2-category in which one wishes to internalize is only a weak 2-category (a bicategory), in which it does not even make much sense to internalize the notion of Grothendieck fibration. (This is even the case in Cat if we define it using anafunctors, as is often important to do in the absence of the axiom of choice.) However, even when internalizing in a strict 2-category, if the strict 2-category itself is “only defined up to biequivalence,” then one is again compelled to use internal Street fibrations, since they are “covariant under biequivalence” of the containing bicategory, whereas Grothendieck fibrations are not.

For example, this is arguably the case in the 2-category Topos, where we have to make the arbitrary choice of whether to define the morphisms to be left-exact left adjoints f *f^*, right adjoints f *f_* having a left-exact left adjoint, or adjoint pairs (f *,f *)(f^*,f_*) in which f *f^* is left exact. The three choices give three strict 2-categories which are all biequivalent, but not strictly 2-equivalent; thus it is more sensible to consider internal Street fibrations in ToposTopos than strict Grothendieck ones.


Since Street fibrations are the “minimal covariant modification” of Grothendieck ones, any property enjoyed by Grothendieck fibrations which is itself covariant under equivalence will also be possessed by Street fibrations.

One thing to note is that in general, when working with Street fibrations, one must always replace fibers with essential fibers. In particular, the lifting property of a Street fibration is insufficient for a morphism u:JIu\colon J\to I in BB to induce a functor u *:E IE Ju^*\colon E^I\to E^J between strict fibers, but such a functor is induced between essential fibers. In this way we can reconstruct a pseudofunctor B opCatB^{op}\to Cat from any Street fibration, and show that the 2-category of Street fibrations is equivalent to that of such pseudofunctors (though not, as in the case of Grothendieck fibrations, strictly 2-equivalent).

Just as every Grothendieck fibration is a strictly exponentiable functor, i.e. an exponentiable morphism in the strict 2-category Cat, every Street fibration is a non-strictly exponentiable functor, i.e. an exponentiable morphism in the weak 2-category Cat.


Of course, any Grothendieck fibration is a Street fibration, but the interest is in those which are not Grothendieck. Some of the applications are internal to 2-categories other than Cat.

  • The original motivation was to consider fibrations (and opfibrations, and two-sided fibrations) in VCat opV Cat^{op} as a means to construct Prof.

  • Street fibrations in Topos are discussed in the paper of Johnstone below.

Street fibrations in Cat also arise in mathematics, though often under different names. The following examples were pointed out by George Janelidze, Steve Lack, and Ross Street.

  • The notion of “admissible object” in categorical Galois theory can be expressed in terms of a functor being (partially) a Street fibration, not generally Grothendieck.

  • Any left exact (or, more generally, “semi-left exact”) reflection is a Street fibration, not generally Grothendieck.


The notion was originally defined in

although there it was given in a very abstract form. A more explicit form like that given above can be found in

  • Ross Street, Conspectus of variable categories

Some alternate characterizations, and applications in Topos, are discussed in

Revised on May 18, 2017 03:51:31 by Anonymous Coward (