Mizar codification of the category theory
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
Mizar codification of the category theory
- Author
-
Czeslaw Bylinski
- Author(Another name)
-
チェスラウ ビリンスキー
- University
-
信州大学
- Types of degree
-
博士(学術)
- Grant ID
-
乙第8号
- Degree year
-
1998-09-30
Note and Description
博士論文
Table of Contents
- Contents / p1 (0003.jp2)
- 1 Introduction / p5 (0005.jp2)
- 2 Categories and Functors / p7 (0006.jp2)
- 2.1 Structure of a Category / p8 (0007.jp2)
- 2.2 Categories / p11 (0008.jp2)
- 2.3 Covariant Functors / p25 (0015.jp2)
- 2.4 Subcategories / p35 (0020.jp2)
- 3 Products of Categories / p40 (0023.jp2)
- 3.1 Product of Categories / p40 (0023.jp2)
- 3.2 Bifunctors / p43 (0024.jp2)
- 3.3 Partial Functors / p43 (0024.jp2)
- 3.4 Product of Functors / p45 (0025.jp2)
- 4 Opposite Categories / p48 (0027.jp2)
- 4.1 Opposite Categories / p48 (0027.jp2)
- 4.2 Contravariant Functors / p53 (0029.jp2)
- 5 Products and Coproducts in Categories / p62 (0034.jp2)
- 5.1 Indexed families of Morphisms / p62 (0034.jp2)
- 5.2 Retractions and Contractions / p67 (0036.jp2)
- 5.3 Morphisms determined by a Terminal Object / p69 (0037.jp2)
- 5.4 Morphisms determined by an Initial Object / p70 (0038.jp2)
- 5.5 Products / p71 (0038.jp2)
- 5.6 Coproducts / p77 (0041.jp2)
- 6 Category Ens / p84 (0045.jp2)
- 6.1 Mappings / p84 (0045.jp2)
- 6.2 Category Ens / p89 (0047.jp2)
- 6.3 Representable Functors / p93 (0049.jp2)
- 7 Conclusion / p99 (0052.jp2)
- A Notations and Terminology / p100 (0053.jp2)
- Bibliography / p105 (0055.jp2)
- Acknowledgements / p108 (0057.jp2)
- Index / p109 (0057.jp2)