Topos ile Category
Matematik
Topoloji
Normal
Özet
İçinde mantık kurulabilen, küme kuramına alternatif kategoridir. İLE Nesne ve oklardan oluşan genel yapıdır. İlki, ikincinin mantık taşıyan özel bir türüdür.
Ayrıntılı Açıklama
Formül: Logic structure İLE arrows objects
Formül
Logic structure İLE arrows objects