On quasi-categories as a foundation for higher algebraic stacks
Thesis (Ph. D. )--Massachusetts Institute of Technology, Dept. of Mathematics, 2007.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2007
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/39088 |
| _version_ | 1811096242937135104 |
|---|---|
| author | Nichols-Barrer, Joshua Paul |
| author2 | Aisc Johan de Jong. |
| author_facet | Aisc Johan de Jong. Nichols-Barrer, Joshua Paul |
| author_sort | Nichols-Barrer, Joshua Paul |
| collection | MIT |
| description | Thesis (Ph. D. )--Massachusetts Institute of Technology, Dept. of Mathematics, 2007. |
| first_indexed | 2024-09-23T16:40:51Z |
| format | Thesis |
| id | mit-1721.1/39088 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T16:40:51Z |
| publishDate | 2007 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/390882019-04-12T09:19:49Z On quasi-categories as a foundation for higher algebraic stacks Nichols-Barrer, Joshua Paul Aisc Johan de Jong. Massachusetts Institute of Technology. Dept. of Mathematics. Massachusetts Institute of Technology. Dept. of Mathematics. Mathematics. Thesis (Ph. D. )--Massachusetts Institute of Technology, Dept. of Mathematics, 2007. Includes bibliographical references (p. 139-140). We develop the basic theory of quasi-categories (a.k.a. weak Kan complexes or ([infinity], 1)- categories as in [BV73], [Joy], [Lur06]) from first principles, i.e. without reference to model categories or other ideas from algebraic topology. Starting from the definition of a quasi-category as a simplicial set satisfying the inner horn-filling condition, we define and prove various properties of quasi-categories which are direct generalizations of categorical analogues. In particular, we look at functor quasi-categories, Hom-spaces, isomorphisms, equivalences between quasi-categories, and limits. In doing so, we employ exclusively combinatorial methods, as well as adapting an idea of Makkai's ("very subjective morphisms," what turn out in this case to be simply trivial Kan fibrations) to get a handle on various notions of equivalence. We then begin to discuss a new approach to the theory of left (or right) fibrations, wherein the quasi-category of all left fibrations over a given base S is described simply as the large simplicial set whose n-simplices consist of all left fibrations over S x [delta]n. (cont.) We conjecture that this large simplicial set is a quasi-category, and moreover that the case S = * gives an equivalent quasi-category to the commonly-held quasi-category of spaces; we offer some steps towards proving this. Finally, assuming the conjecture true, we apply it to give simple descriptions of limits in this quasi-category, as well as a straightforward construction of a Yoneda functor for quasi-categories which we then prove is fully faithful. by Joshua Paul Nicholas-Barrer. Ph.D. 2007-10-01T18:56:27Z 2007-10-01T18:56:27Z 2007 2007 Thesis http://hdl.handle.net/1721.1/39088 166326705 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 140 p. application/pdf Massachusetts Institute of Technology |
| spellingShingle | Mathematics. Nichols-Barrer, Joshua Paul On quasi-categories as a foundation for higher algebraic stacks |
| title | On quasi-categories as a foundation for higher algebraic stacks |
| title_full | On quasi-categories as a foundation for higher algebraic stacks |
| title_fullStr | On quasi-categories as a foundation for higher algebraic stacks |
| title_full_unstemmed | On quasi-categories as a foundation for higher algebraic stacks |
| title_short | On quasi-categories as a foundation for higher algebraic stacks |
| title_sort | on quasi categories as a foundation for higher algebraic stacks |
| topic | Mathematics. |
| url | http://hdl.handle.net/1721.1/39088 |
| work_keys_str_mv | AT nicholsbarrerjoshuapaul onquasicategoriesasafoundationforhigheralgebraicstacks |