Teorie kategorické množiny - Categorical set theory - Wikipedia

Teorie kategorické množiny je některá z několika verzí teorie množin vyvinutý nebo zpracovaný v kontextu matematiky teorie kategorií.

Reference

  • Barr, M. a Wells, C., Teorie kategorie pro výpočetní vědu, Hemel Hempstead, UK, 1990.
  • Bourbaki, N., Základy dějin matematiky, John Meldrum (trans.), Springer-Verlag, Berlín, Německo, 1994.
  • Kelley, J.L., Obecná topologie, Van Nostrand Reinhold, New York, NY, 1955.
  • Lambek, J. a Scott, P.J., Úvod do kategorické logiky vyšších řádů, Cambridge University Press, Cambridge, Velká Británie, 1986.
  • Lawvere, F.W., a Rosebrugh, R., Sady pro matematiku, Cambridge University Press, Cambridge, Velká Británie, 2003.
  • Lawvere, F.W., a Schanuel, S.H., Konceptuální matematika, první úvod do kategorií, Cambridge University Press, Cambridge, UK, 1997. Dotisk s opravami, 2000.
  • Matematická společnost Japonska, Encyklopedický slovník matematiky, 2. vydání, 2. díl, Kiyosi Itô (ed.), MIT Press, Cambridge, MA, 1993.
  • Mitchell, J.C., Základy programovacích jazyků, MIT Press, Cambridge, MA, 1996.
  • Nestruev, J., Hladké rozdělovače a pozorovatelné objektySpringer-Verlag, New York, NY, 2003. ISBN  0-387-95543-7.
  • Poizat, B., Kurz teorie modelů: Úvod do současné matematické logiky, Moses Klein (trans.), Springer-Verlag, New York, NY, 2000.

Viz také

externí odkazy