Off-campus UNL users: To download campus access dissertations, please use the following link to log into our proxy server with your NU ID and password. When you are done browsing please remember to return to this page and log out.

Non-UNL users: Please talk to your librarian about requesting this dissertation through interlibrary loan.

The strict higher Grothendieck integral

S. W Dyer, University of Nebraska - Lincoln


This thesis generalizes A. Grothendieck’s construction, denoted by an integral, of a fibered category from a contravariant pseudofunctor, to a construction for n- and even ∞-categories. Only strict higher categories are considered, the more difficult theory of weak higher categories being neglected. Using his axioms for a fibered category, Grothendieck produces a contravariant pseudofunctor from which the original fibered category can be reconstituted by integration. In applications, the integral is often most efficient, constructing the fibered category with its structure laid bare. The situation generalizes the external and internal definitions of the semidirect product in group theory: fibration is the internal notion, while the integral is a form of the external semidirect product. The strict higher integral functor is continuous, and under mild assumptions the integral n-categories produced are complete. The integral retains most formulae (like Fubini’s theorem) familiar from analytic geometry, providing a useful calculus for many applications in pure mathematics.

Subject Area


Recommended Citation

Dyer, S. W, "The strict higher Grothendieck integral" (2015). ETD collection for University of Nebraska - Lincoln. AAI3715728.