{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/82438"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/82438","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"Weakly enriched higher categories","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_html":"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_has_math":false,"creators":["Haugseng, Rune"],"institution":"Massachusetts Institute of Technology","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":"Massachusetts Institute of Technology. Department of Mathematics.","school":null,"contributors":[],"advisors":["Haynes Miller."],"committee_chairs":[],"committee_members":[],"year":2013,"date_issued":"2013","date_published":"2013","updated_at":"2026-07-22T22:20:50Z","subjects":["Mathematics."],"languages":["eng"],"rights":["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."],"rights_urls":["http://dspace.mit.edu/handle/1721.1/7582"],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/1721.1/82438","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Haynes Miller."]},{"key":"dc:contributor.department","label":"Department","values":["Massachusetts Institute of Technology. Department of Mathematics."]},{"key":"dc:contributor.other","label":"Dc Contributor Other","values":["Massachusetts Institute of Technology. Department of Mathematics."]},{"key":"dc:creator","label":"Author","values":["Haugseng, Rune"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2013-11-18T19:23:21Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2013-11-18T19:23:21Z"]},{"key":"dc:date.issued","label":"Date","values":["2013"]},{"key":"dc:publisher","label":"Institution","values":["Massachusetts Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Mathematics."]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["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."]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://dspace.mit.edu/handle/1721.1/7582"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/1721.1/82438"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2013.","Cataloged from PDF version of thesis.","Includes bibliographical references (pages 189-190)."]},{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["Ph.D."]},{"key":"dc:title","label":"Title","values":["Weakly enriched higher categories"]}]}],"canonical_facts":{"dc:contributor.advisor":["Haynes Miller."],"dc:contributor.department":["Massachusetts Institute of Technology. Department of Mathematics."],"dc:contributor.other":["Massachusetts Institute of Technology. Department of Mathematics."],"dc:creator":["Haugseng, Rune"],"dc:date.accessioned":["2013-11-18T19:23:21Z"],"dc:date.available":["2013-11-18T19:23:21Z"],"dc:date.issued":["2013"],"dc:description":["Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2013.","Cataloged from PDF version of thesis.","Includes bibliographical references (pages 189-190)."],"dc:description.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."],"dc:description.degree":["Ph.D."],"dc:identifier.uri":["http://hdl.handle.net/1721.1/82438"],"dc:language.iso":["eng"],"dc:publisher":["Massachusetts Institute of Technology"],"dc:rights":["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."],"dc:rights.uri":["http://dspace.mit.edu/handle/1721.1/7582"],"dc:subject":["Mathematics."],"dc:title":["Weakly enriched higher categories"],"dc:type":["Thesis"]},"updated_at":"2026-07-22T22:20:50Z"}