category theory Concepts
Paths and cylinders
essential fiber of a functor is a non- evil replacement for the fiber. It is a category-theoretic version of a homotopy fiber. Definition
be a functor and p : E → B p:E\to B an b ∈ B b\in B object. The essential fiber of over p p is the following category: b b
its objects are pairs
where ( e , ϕ ) (e,\phi) is an object and e ∈ E e\in E is an ϕ : p ( e ) ≅ b \phi\colon p(e)\cong b isomorphism. its morphisms
are morphisms ( e , ϕ ) → ( e ′ , ϕ ′ ) (e,\phi)\to (e',\phi') in f : e → e ′ f\colon e\to e' such that E E . ϕ ′ ∘ p ( f ) = ϕ \phi' \circ p(f) = \phi
The essential fiber can be identified with the
pseudopullback of along the functor p p from the b : 1 → B b\colon 1\to B terminal category which picks out the object . It can also be identified with a b b homotopy fiber in the canonical model structure on Cat. When groupoids are identified with homotopy 1-types, the essential fiber actually coincides with the classical homotopy fiber (up to equivalence). Relationship to fibrations
is an p p isofibration, then any of its essential fibers is equivalent to the corresponding strict fiber. This includes the case when is a p p Grothendieck fibration.
On the other hand, when
is a p p Street fibration (the non-evil version of a Grothendieck fibration), then essential fibers do not coincide with strict fibers, and essential fibers are the more useful notion. In particular, the correspondence between fibrations and pseudofunctors only goes through for Street fibrations if one defines the pseudofunctor using essential fibers.
Revised on September 16, 2010 16:59:48