Open Collections

Page Metadata

Item Metadata

Title	A proof of the model-independence of $\infty$-category theory
Creator	Riehl, Emily
Publisher	Banff International Research Station for Mathematical Innovation and Discovery
Date Issued	2018-05-11T11:30
Description	In joint work with Dominic Verity we prove that four models of (â ,1)-categories â quasi-categories, complete Segal spaces, Segal categories, and 1-complicial sets â are equivalent for the purpose of developing â -category theory. To prove this we first introduce the notion of an â -cosmos, a category in which â -categories live as objects, an example of which is given by each of the four models mentioned above. We then explain how the category theory of â -categories can be developed inside any â -cosmos; eg, we define right adjoints and limits and prove that the former preserve the latter. We conclude by arguing that the four above mentioned â -cosmoi all biequivalent, the upshot being that â -categorical structures are preserved, reflected, and created by a number of â change-of-modelâ functors. More precisely, we show that each of these â -cosmoi have a biequivalent â calculus of modules,â modules between â -categories being a vehicle to express â -categorical universal properties.
Extent	59.0
Subject	Mathematics Algebraic topology Category theory; homological algebra
Geographic Location	Oaxaca (Mexico : State)
Type	Moving Image
FileFormat	video/mp4
Language	eng
Notes	Author affiliation: Johns Hopkins University
Series	BIRS Workshop Lecture Videos (Oaxaca (Mexico : State))
Date Available	2019-03-25
Provider	Vancouver : University of British Columbia Library
Rights	Attribution-NonCommercial-NoDerivatives 4.0 International
DOI	10.14288/1.0377438
URI	http://hdl.handle.net/2429/69196
Affiliation	Non UBC
Peer Review Status	Unreviewed
Scholarly Level	Faculty
Rights URI	http://creativecommons.org/licenses/by-nc-nd/4.0/
AggregatedSourceRepository	DSpace

Download

Media

48630-201805111130-Riehl_lrv.mp4 [ 385.88MB ]

Metadata

JSON: 48630-1.0377438.json

JSON-LD: 48630-1.0377438-ld.json

RDF/XML (Pretty): 48630-1.0377438-rdf.xml

RDF/JSON: 48630-1.0377438-rdf.json

Turtle: 48630-1.0377438-turtle.txt

N-Triples: 48630-1.0377438-rdf-ntriples.txt

Original Record: 48630-1.0377438-source.json

Citation

48630-1.0377438.ris

Cite

Usage Statistics

Share

Embed

Customize your widget with the following options, then copy and paste the code below into the HTML of your page to embed this item in your website.

Include Metadata Specify width in pixels (leave blank for auto-width):

                        
                            <div id="ubcOpenCollectionsWidgetDisplay">
                            <script id="ubcOpenCollectionsWidget"
                            src="{[{embed.src}]}"
                            data-item="{[{embed.item}]}"
                            data-collection="{[{embed.collection}]}"
                            data-metadata="{[{embed.showMetadata}]}"
                            data-width="{[{embed.width}]}"
                            data-media="{[{embed.selectedMedia}]}"
                            async >
                            </script>
                            </div>
                        
                    

Our image viewer uses the IIIF 2.0 standard. To load this item in other compatible viewers, use this url:

https://iiif.library.ubc.ca/presentation/dsp.48630.1-0377438/manifest

Comment

Related Items