國立虎尾科技大學 |

Elements of [infinity]-category theory

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Elements of [infinity]-category theory/ Emily Riehl, Dominic Verity.
Author:	Riehl, Emily.
other author:	Verity, Dominic.
Published:	Cambridge ; New York, NY :Cambridge University Press, : 2022.,
Description:	xix, 759 p. :ill., digital ; : 23 cm.;
Notes:	Title from publisher's bibliographic system (viewed on 21 Jan 2022).
Subject:	Categories (Mathematics) -
Online resource:	https://doi.org/10.1017/9781108936880
ISBN:	9781108936880

Elements of [infinity]-category theory
Riehl, Emily.

Elements of [infinity]-category theory[electronic resource] /Emily Riehl, Dominic Verity. - Cambridge ; New York, NY :Cambridge University Press,2022. - xix, 759 p. :ill., digital ;23 cm. - Cambridge studies in advanced mathematics ;194. - Cambridge studies in advanced mathematics ;134..

Title from publisher's bibliographic system (viewed on 21 Jan 2022).

[Infinity]-Cosmoi and their homotopy 2-categories -- Adjunctions, limits, and colimits I -- Comma [infinity]-categories -- Adjunctions, limits, and colimits II -- Fibrations and Yoneda's lemma -- Exotic [infinity]-cosmoi -- Two-sided fibrations and modules -- The calculus of modules -- Formal category theory in a virtual equipment -- Change-of-model functors -- Model independence -- Applications of model independence.

The language of ∞-categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninitiated. To explain what exactly an ∞-category is requires various technical models, raising the question of how they might be compared. To overcome this, a model-independent approach is desired, so that theorems proven with any model would apply to them all. This text develops the theory of ∞-categories from first principles in a model-independent fashion using the axiomatic framework of an ∞-cosmos, the universe in which ∞-categories live as objects. An ∞-cosmos is a fertile setting for the formal category theory of ∞-categories, and in this way the foundational proofs in ∞-category theory closely resemble the classical foundations of ordinary category theory. Equipped with exercises and appendices with background material, this first introduction is meant for students and researchers who have a strong foundation in classical 1-category theory.

ISBN: 9781108936880Subjects--Topical Terms:

580337
Categories (Mathematics)

LC Class. No.: QA169 / .R55 2022

Dewey Class. No.: 512.55

Elements of [infinity]-category theory
LDR:02345nam a2200265 a 4500 001 1096620
003 UkCbUP
005 20220204053054.0
006 m d
007 cr nn 008maaau
008 221229s2022 enk o 1 0 eng d
020 $a 9781108936880 $q (electronic bk.)
020 $a 9781108837989 $q (hardback)
035 $a CR9781108936880
040 $a UkCbUP $b eng $c UkCbUP $d GP
050 0 0 $a QA169 $b .R55 2022
082 0 0 $a 512.55 $2 23
090 $a QA169 $b .R555 2022
100 1 $a Riehl, Emily. $3 1239715
245 1 0 $a Elements of [infinity]-category theory $h [electronic resource] / $c Emily Riehl, Dominic Verity.
260 $a Cambridge ; New York, NY : $b Cambridge University Press, $c 2022.
300 $a xix, 759 p. : $b ill., digital ; $c 23 cm.
490 1 $a Cambridge studies in advanced mathematics ; $v 194
500 $a Title from publisher's bibliographic system (viewed on 21 Jan 2022).
505 0 $a [Infinity]-Cosmoi and their homotopy 2-categories -- Adjunctions, limits, and colimits I -- Comma [infinity]-categories -- Adjunctions, limits, and colimits II -- Fibrations and Yoneda's lemma -- Exotic [infinity]-cosmoi -- Two-sided fibrations and modules -- The calculus of modules -- Formal category theory in a virtual equipment -- Change-of-model functors -- Model independence -- Applications of model independence.
520 $a The language of ∞-categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninitiated. To explain what exactly an ∞-category is requires various technical models, raising the question of how they might be compared. To overcome this, a model-independent approach is desired, so that theorems proven with any model would apply to them all. This text develops the theory of ∞-categories from first principles in a model-independent fashion using the axiomatic framework of an ∞-cosmos, the universe in which ∞-categories live as objects. An ∞-cosmos is a fertile setting for the formal category theory of ∞-categories, and in this way the foundational proofs in ∞-category theory closely resemble the classical foundations of ordinary category theory. Equipped with exercises and appendices with background material, this first introduction is meant for students and researchers who have a strong foundation in classical 1-category theory.
650 0 $a Categories (Mathematics) $3 580337
650 0 $a Infinite groups. $3 579346
700 1 $a Verity, Dominic. $3 1405887
830 0 $a Cambridge studies in advanced mathematics ; $v 134. $3 1133579
856 4 0 $u https://doi.org/10.1017/9781108936880