Toposes, triples, and theories

このページのQRコード

種類:

図書

責任表示:

Michael Barr, Charles Wells

出版情報:

New York ; Tokyo : Springer-Verlag, c1985

著者名:

シリーズ名:

ISBN:

9780387961156 [0387961151] (us)

9783540961154 [3540961151] (gw)

9781489900234 [1489900233] (: pbk)

注記:

Bibliography: p. 333-338
Includes indexes

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Categories (Mathematics); Toposes; Triples, Theory of
分類・件名:	LCC : QA169 DDC : 512/.55 NDC8 : 415.7 LCSH : Categories (Mathematics) LCSH : Toposes LCSH : Triples, Theory of
LCCN:	84020233
TTLL:	eng
言語:	英語
形態:	xiii, 345 p. : ill. ; 25 cm
書誌ID:	BA00209518

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Category theory for computing science Barr, Michael, Wells, Charles Prentice Hall	7 図書 *-Autonomous categories Barr, Michael Springer-Verlag
2 電子ブック Accessible categories : the foundations of categorical model theory Makkai, Michael, 1939-, Paré, Robert, 1944- American Mathematical Society	8 図書 Category theory for computing science Barr, Michael, Wells, Charles Prentice Hall
3 図書 First order categorical logic : model-theoretical methods in the theory of topoi and related categories Makkai, Michael, 1939-, Reyes, Gonzalo E., 1937- Springer-Verlag	9 図書 Exact categories and categories of sheaves Barr, Michael, Grillet, Pierre Antoine, Van Osdol, Donovan H. Springer-Verlag
4 図書 Algebra in a localic topos with applications to ring theory Borceux, Francis, 1948-, Bossche, Gilberte van den, 1942- Springer-Verlag	10 図書 Model theory and topoi : a collection of lectures by various authors Lawvere, F. W, Maurer, Christian, Wraith, G. C Springer-Verlag
5 図書 Algebraic K-theory and its geometric applications Moss, Robert Michael Forrester, Thomas, Charles Benedict, University of Hull Springer-Verlag	11 図書 Algebraic theories Manes, Ernest G., 1943- Springer-Verlag
6 図書 Toposes, algebraic geometry and logic Bucur, Ion, 1930-1976, Lawvere, F. William, 1937-, Dalhousie University Springer-Verlag	12 図書 Ring theory Faith, Carl Clifton, 1927- Springer-Verlag