( Homotopi tip kuramı. )
FaRkLaR Kılavuzu
01.10.2025 [13:24]
UNİVALENCE İLE HİGHER INDUCTİVE TYPES İLE CUBİCAL
Formül: A ≃ B → A
ile/||/<>
HOTT
B
Formül: A ≃ B → A
ile/||/<>
HOTT
B
FaRkLaR Kılavuzu
01.10.2025 [13:24]
(1996'dan beri)
Henüz yorum eklenmemiş. İlk yorumu siz ekleyebilirsiniz...