Category theory

>> Google Books

所蔵情報QRコード

Category theory / Steve Awodey

版:: 2nd ed
資料種別:: 図書
出版情報:: Oxford ; New York : Oxford University Press, 2010
形態:: xv, 311 p. ; 24 cm
シリーズ名:: Oxford logic guides ; 52 <BA00017765>
著者名:: Awodey, Steve, 1959- <DA14798231>
ISBN:: 9780199587360 [0199587361] (: hard)
9780199237180 [0199237182] (: pbk)
書誌ID:: BB02467861

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

First published 2006
Bibliography: p. [303]
Includes index

主題:

Categories (Mathematics)

言語:

英語

目次情報:

Preface to the second edition

Preface

Categories / 1：

Introduction / 1.1：

Functions of sets / 1.2：

Definition of a category / 1.3：

Examples of categories / 1.4：

Isomorphisms / 1.5：

Constructions on categories / 1.6：

Free categories / 1.7：

Foundations: large, small, and locally small / 1.8：

Exercises / 1.9：

Abstract structures / 2：

Epis and monos / 2.1：

Initial and terminal objects / 2.2：

Generalized elements / 2.3：

Products / 2.4：

Examples of products / 2.5：

Categories with products / 2.6：

Hom-sets / 2.7：

Duality / 2.8：

The duality principle / 3.1：

Coproducts / 3.2：

Equalizers / 3.3：

Coequalizers / 3.4：

Groups and categories / 3.5：

Groups in a category / 4.1：

The category of groups / 4.2：

Groups as categories / 4.3：

Finitely presented categories / 4.4：

Limits and colimits / 4.5：

Subobjects / 5.1：

Pullbacks / 5.2：

Properties of pullbacks / 5.3：

Limits / 5.4：

Preservation of limits / 5.5：

Colimits / 5.6：

Exponentials / 5.7：

Exponential in a category / 6.1：

Cartesian closed categories / 6.2：

Heyting algebras / 6.3：

Propositional calculus / 6.4：

Equational definition of CCC / 6.5：

?-calculus / 6.6：

Variable sets / 6.7：

Naturality / 6.8：

Category of categories / 7.1：

Representable structure / 7.2：

Stone duality / 7.3：

Examples of natural transformations / 7.4：

Exponentials of categories / 7.6：

Functor categories / 7.7：

Monoidal categories / 7.8：

Equivalence of categories / 7.9：

Examples of equivalence / 7.10：

Categories of diagrams / 7.11：

Set-valued functor categories / 8.1：

The Yoneda embedding / 8.2：

The Yoneda lemma / 8.3：

Applications of the Yoneda lemma / 8.4：

Limits in categories of diagrams / 8.5：

Colimits in categories of diagrams / 8.6：

Exponentials in categories of diagrams / 8.7：

Topoi / 8.8：

Adjoints / 8.9：

Preliminary definition / 9.1：

Hom-set Definition / 9.2：

Examples of adjoints / 9.3：

Order adjoints / 9.4：

Quantifiers as adjoints / 9.5：

RAPL / 9.6：

Locally cartesian closed categories / 9.7：

Adjoint functor theorem / 9.8：

Monads and algebras / 9.9：

The triangle identities / 10.1：

Monads and adjoints / 10.2：

Algebras for a monad / 10.3：

Comonads and coalgebras / 10.4：

Algebras for endofunctors / 10.5：

Solutions to selected exercises / 10.6：

References

Index

Hom-set definition

Preface to the second edition

Preface

Categories / 1：

Introduction / 1.1：

Functions of sets / 1.2：

Definition of a category / 1.3：

続きを見る

ブックレビュー

類似資料:

1 図書 Basic category theory Borceux, Francis, 1948- Cambridge University Press	7 図書 Categories and modules with K-theory in view (: hard) Berrick, A. J. (A. Jon), Keating, M. E., 1941- Cambridge University Press
2 図書 An introduction to category theory Krishnan, V. Sankrithi (Viakalathur Sankrithi), 1919- North Holland	8 図書 Topology and category theory in computer science Reed, George M, Roscoe, Andrew William, Wachter, R. F Clarendon Press, Oxford University Press
3 電子ブック Categories for quantum theory : an introduction (: electronic bk) Heunen, Chris, Vicary, Jamie Oxford Scholarship Online	9 図書 Kan extensions in enriched category theory Dubuc, Eduardo J. Springer-Verlag
4 電子ブック Basic category theory Borceux, Francis, 1948- Cambridge University Press	10 図書 Basic category theory for computer scientists Pierce, Benjamin C. MIT Press
5 電子ブック Elements of [infinity]-category theory / ((ebook)) Riehl, Emily, Verity, Dominic Cambridge University Press	11 図書 Category theory and applications : a textbook for beginners Grandis, Marco World Scientific
6 図書 Formal category theory : adjointness for 2-categories (: Germany ; : U.S.) Gray, John W. (John Walker), 1931- Springer-Verlag	12 図書 Categories, types, and structures : an introduction to category theory for the working computer scientist Asperti, Andrea, Longo, Giuseppe MIT Press