Mizar codification of the category theory

Access this Article

Search this Article

Author

    • Czeslaw Bylinski チェスラウ ビリンスキー

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

  1. Contents / p1 (0003.jp2)
  2. 1 Introduction / p5 (0005.jp2)
  3. 2 Categories and Functors / p7 (0006.jp2)
  4. 2.1 Structure of a Category / p8 (0007.jp2)
  5. 2.2 Categories / p11 (0008.jp2)
  6. 2.3 Covariant Functors / p25 (0015.jp2)
  7. 2.4 Subcategories / p35 (0020.jp2)
  8. 3 Products of Categories / p40 (0023.jp2)
  9. 3.1 Product of Categories / p40 (0023.jp2)
  10. 3.2 Bifunctors / p43 (0024.jp2)
  11. 3.3 Partial Functors / p43 (0024.jp2)
  12. 3.4 Product of Functors / p45 (0025.jp2)
  13. 4 Opposite Categories / p48 (0027.jp2)
  14. 4.1 Opposite Categories / p48 (0027.jp2)
  15. 4.2 Contravariant Functors / p53 (0029.jp2)
  16. 5 Products and Coproducts in Categories / p62 (0034.jp2)
  17. 5.1 Indexed families of Morphisms / p62 (0034.jp2)
  18. 5.2 Retractions and Contractions / p67 (0036.jp2)
  19. 5.3 Morphisms determined by a Terminal Object / p69 (0037.jp2)
  20. 5.4 Morphisms determined by an Initial Object / p70 (0038.jp2)
  21. 5.5 Products / p71 (0038.jp2)
  22. 5.6 Coproducts / p77 (0041.jp2)
  23. 6 Category Ens / p84 (0045.jp2)
  24. 6.1 Mappings / p84 (0045.jp2)
  25. 6.2 Category Ens / p89 (0047.jp2)
  26. 6.3 Representable Functors / p93 (0049.jp2)
  27. 7 Conclusion / p99 (0052.jp2)
  28. A Notations and Terminology / p100 (0053.jp2)
  29. Bibliography / p105 (0055.jp2)
  30. Acknowledgements / p108 (0057.jp2)
  31. Index / p109 (0057.jp2)
2access

Codes

  • NII Article ID (NAID)
    500000174431
  • NII Author ID (NRID)
    • 8000000174707
  • DOI(NDL)
  • NDLBibID
    • 000000338745
  • Source
    • NDL ONLINE
    • NDL Digital Collections

Export

Page Top