2026-09-20T01:19:02Zhttps://dspace.mit.edu/server/oai/requestoai:dspace.mit.edu:1721.1/390882022-01-13T07:54:35Zcom_1721.1_7582com_1721.1_7581col_1721.1_131022
Aisc Johan de Jong.
Nichols-Barrer, Joshua Paul
Massachusetts Institute of Technology. Dept. of Mathematics.
Massachusetts Institute of Technology. Department of Mathematics
2007-10-01T18:56:27Z
2007-10-01T18:56:27Z
2007
2007
http://hdl.handle.net/1721.1/39088
166326705
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.
140 p.
eng
Massachusetts Institute of Technology
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
Mathematics.
On quasi-categories as a foundation for higher algebraic stacks
Thesis
application/pdf
Publication
unknown
unknown
<Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="ed5e5c88-33c6-405e-ab41-1706bacacc37">
<Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843</Type>
<Language>eng</Language>
<Title>On quasi-categories as a foundation for higher algebraic stacks</Title>
<PublishedIn>
<Publication>
</Publication>
</PublishedIn>
<PublicationDate>2007</PublicationDate>
<Authors>
<Author>
<DisplayName>Nichols-Barrer, Joshua Paul</DisplayName>
<Affiliation>
<OrgUnit>
</OrgUnit>
</Affiliation>
</Author>
</Authors>
<Editors>
</Editors>
<Publishers>
<Publisher>
<DisplayName>Massachusetts Institute of Technology</DisplayName>
<OrgUnit />
</Publisher>
</Publishers>
<License>http://dspace.mit.edu/handle/1721.1/7582</License>
<Keyword>Mathematics.</Keyword>
<Abstract>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.</Abstract>
<Abstract>(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.</Abstract>
<Access xmlns="http://purl.org/coar/access_right"
>
</Access>
</Publication>