2026-09-19T21:55:12Zhttps://dspace.mit.edu/server/oai/requestoai:dspace.mit.edu:1721.1/824382022-01-13T07:54:04Zcom_1721.1_7582com_1721.1_7581col_1721.1_131022
Haynes Miller.
Haugseng, Rune
Massachusetts Institute of Technology. Department of Mathematics.
Massachusetts Institute of Technology. Department of Mathematics
2013-11-18T19:23:21Z
2013-11-18T19:23:21Z
2013
http://hdl.handle.net/1721.1/82438
862974838
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2013.
Cataloged from PDF version of thesis.
Includes bibliographical references (pages 189-190).
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.
by Rune Haugseng.
Ph.D.
190 pages
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.
Weakly enriched higher categories
Thesis
application/pdf
false
Publication
unknown
unknown
<Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="0d3ccc6b-87cf-4577-a80a-7995daa423ef">
<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>Weakly enriched higher categories</Title>
<PublishedIn>
<Publication>
</Publication>
</PublishedIn>
<PublicationDate>2013</PublicationDate>
<Authors>
<Author>
<DisplayName>Haugseng, Rune</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>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.</Abstract>
<Access xmlns="http://purl.org/coar/access_right"
>
</Access>
</Publication>