# Franklin

### Staff View

LEADER 04839cam a2200481 i 4500

005
20210321215841.0

008
200307t20202020nyua b 001 0 eng c

001
9977946367303681

010

a| 2019054943

019

a| 1184477936

020

a| 9781108479622
q| hardcover

020

a| 1108479626
q| hardcover

035

a| (OCoLC)1147928841
z| (OCoLC)1184477936

035

a| (OCoLC)on1147928841

040

a| PUL
b| eng
e| rda
c| PUL
d| YDX
d| OCLCF
d| DLC
d| OCLCO
d| YDX
d| LWU
d| UND
d| BDF
d| OCLCO

042

a| pcc

049

a| PAUU

050

0

0

a| QA169
b| .R53 2020

082

0

0

a| 514/.24
2| 23

084

a| 415.7
2| njb/10

100

1

a| Richter, Birgit,
d| 1971-
e| author.

245

1

0

a| From categories to homotopy theory /
c| Birgit Richter.

264

1

a| Cambridge ;
a| New York, NY :
b| Cambridge University Press,
c| 2020.

264

4

c| ©2020

300

a| x, 390 pages :
b| illustrations ;
c| 24 cm.

336

a| text
b| txt
2| rdacontent

336

a| still image
b| sti
2| rdacontent

337

a| unmediated
b| n
2| rdamedia

338

a| volume
b| nc
2| rdacarrier

490

1

a| Cambridge studies in advanced mathematics ;
v| 188

504

a| Includes bibliographical references and index.

505

0

a| Basic notions in category theory -- Natural transformations and the Yoneda-Lemma -- (Co)limits -- Kan extensions -- Comma categories and the Grothendieck construction -- Monads and comonads -- Abelian categories -- Symmetric monoidal categories -- Enriched categories -- Simplicial objects -- The nerve and the classifying space of a small category -- A brief introduction to operads -- Classifying spaces of symmetric monoidal categories -- Approaches to iterated loop spaces via diagram categories -- Functor homology -- Homology and cohomology of small categories.

520

a| "Category theory has at least two important features. The first one is that it allows us to structure our mathematical world. Many constructions that you encounter in your daily life look structurally very similar, like products of sets, products of topological spaces, products of modules and then you might be delighted to learn that there is a notion of a product of objects in a category and all the above examples are actually just instances of such products, here in the category of sets, topological spaces and modules, so you don't have to reprove all the properties products have, because they hold for every such construction. So category theory helps you to recognize things as what they are. It also allows you to express objects in a category by something that looks apparently way larger. For instance the Yoneda Lemma describes a set of the form F(C) (where C is an object of some category and F is a functor from that category to the category of sets) as the set of natural transformations between another nice functor and F. This might look like a bad deal, but in this set of natural transformations you can manipulate things and this reinterpretation for instance gives you cohomology operations as morphisms between the representing objects. Another feature is that you can actually use category theory in order to build topological spaces and to do homotopy theory. A central example is the nerve of a (small) category: You view the objects of your category as points, every morphism gives a 1-simplex, a pair of composable morphisms gives a 2-simplex and so on. Then you build a topological space out of this by associating a topological n-simplex to an n-simplex in the nerve, but you do some non-trivial gluing, for instance identity morphisms don't really give you any information so you shrink the associated edges. In the end you get a CW complex BC for every small category C. Properties of categories and functors translate into properties of this space and continuous maps between such spaces. For instance a natural transformation between two functors gives rise to a homotopy between the induced maps and an equivalence of categories gives a homotopy equivalence of the corresponding classifying spaces. Classifying spaces of categories give rise to classifying spaces of groups but you can also use them and related constructions to build the spaces of the algebraic K-theory spectrum of a ring, you can give models for iterated based loop spaces and you can construct explicit models of homotopy colimits and much more"--
c| Provided by publisher.

650

0

a| Categories (Mathematics)

650

0

a| Homotopy theory.

650

7

a| Categories (Mathematics)
2| fast
0| (OCoLC)fst00849000

650

7

a| Homotopy theory.
2| fast
0| (OCoLC)fst00959852

650

7

a| Catégories (mathématiques)
0| (FrPBN)11940303
2| ram

650

7

a| Topologie.
0| (FrPBN)11944597
2| ram

650

7

a| Homotopie.
0| (FrPBN)11939592
2| ram

830

0

a| Cambridge studies in advanced mathematics ;
v| 188.

985

a| math
d| cl. sep.
b| 648646-16

994

a| C0
b| PAU