Mizar codification of the category theory

この論文にアクセスする

この論文をさがす

著者

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

書誌事項

タイトル

Mizar codification of the category theory

著者名

Czeslaw Bylinski

著者別名

チェスラウ ビリンスキー

学位授与大学

信州大学

取得学位

博士(学術)

学位授与番号

乙第8号

学位授与年月日

1998-09-30

注記・抄録

博士論文

目次

  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)
2アクセス

各種コード

  • NII論文ID(NAID)
    500000174431
  • NII著者ID(NRID)
    • 8000000174707
  • DOI(NDL)
  • NDL書誌ID
    • 000000338745
  • データ提供元
    • NDL ONLINE
    • NDLデジタルコレクション

書き出し

ページトップへ