representable morphism of stacks
(∞,1)-category of (∞,1)-sheaves
Extra stuff, structure and property
locally n-connected (n,1)-topos
locally ∞-connected (∞,1)-topos, ∞-connected (∞,1)-topos
structures in a cohesive (∞,1)-topos
A morphism of stacks over a site is called representable if for all representable objects and all morphisms the homotopy pullback in
is again representable.
Push-forward in generalized cohomology
Along representable morphisms of stacks over smooth manifolds (smooth infinity-groupoids) is induced a push-forward in generalized cohomology operation.
The general definition appears for instance as def. 38.5 in
(there with stacks perceived equivalently and dually under the Grothendieck construction as fibered categories).
Applications of push-forward in generalized cohomology along representable morphisms appear for instance in
Revised on November 7, 2012 21:53:48
by Urs Schreiber