Repository logo
Log in(current)
Repository logoMIT Open ScholarshipDSpace@MIT
  1. Home
  2. MIT Libraries
  3. MIT Theses
  4. Doctoral Theses
  5. Weakly enriched higher categories

Weakly enriched higher categories

Thumbnail Image
Download
Name

862974838-MIT.pdf

Description
Full printable version
Size

9.39 MB

Format

Adobe PDF

Checksum (MD5)

45583b977ff5a8c685a554d8e0c18cff

Author(s)
Haugseng, Rune
Advisor(s)
Haynes Miller.
Date Issued
2013
Publisher
Massachusetts Institute of Technology
Abstract
The goal of this thesis is to begin to lay the foundations for a theory of enriched [infinity]categories. We introduce a definition of such objects, based on a non-symmetric version of Lurie's theory of [infinity]-operads. Our first main result is a construction of the correct homotopy theory of enriched [infinity]-categories as a localization of an "algebraic" homotopy theory defined using [infinity]-operads; this is joint work with David Gepner. We then prove some comparison results: When a monoidal [infinity]-category arises from a nice monoidal model category we show that the associated homotopy theory of enriched [infinity]-categories is equivalent to the homotopy theory induced by the model category of enriched categories; when the monoidal structure is the Cartesian product we also show that this is equivalent to the homotopy theory of enriched Segal categories. Moreover, we prove that the homotopy theory of ([infinity], n)-categories enriched in spaces, obtained by iterating our enrichment procedure, is equivalent to that of n-fold complete Segal spaces. We also introduce notions of natural transformations and correspondences in the setting of enriched [infinity]-categories, and use these to construct (co,2)-categories of enriched cocategories, functors, and natural transformations, and double co-categories of enriched [infinity]-categories, functors, and correspondences. Finally, we briefly discuss a non-iterative definition of enriched ([infinity], n)-categories, based on a version of [infinity]-operads over Joyal's categories On, and define what should be the correct [infinity]-category of these.
Description
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2013.
Cataloged from PDF version of thesis.
Includes bibliographical references (pages 189-190).
Subjects
Mathematics.
MIT Department
Massachusetts Institute of Technology. Department of Mathematics
Terms of Use
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
Persistent DSpace Link
http://hdl.handle.net/1721.1/82438
Repository logo
PrivacyPermissionsAccessibilityContact us
Repository logo
Notify us about copyright concerns.