UNİVALENCE İLE HİGHER INDUCTİVE TYPES İLE CUBİCAL ile/||/<> HOTT
Sözcük Ağacı Görünümü
Sözcükler:
UNİVALENCE İLE HİGHER INDUCTİVE TYPES İLE CUBİCAL
HOTT
Bağlaç Açıklamaları:
İle
Ve
Değil
Yerine
Paralel
›‹
Karşıt
← İçe
→ Dışa
Veya
( Homotopi tip kuramı. )
FaRkLaR Kılavuzu 01.10.2025 [16:24]
( Formül: A ≃ B → A = B )
FaRkLaR Kılavuzu 01.10.2025 [16:24]
