univalence principle
egyszerűség elve
demonstrating univalence
az egyszerűség bizonyítása
univalence condition
egyszerűség feltétele
maintaining univalence
az egyszerűség fenntartása
univalence property
egyszerűség tulajdonsága
with univalence
egyszerűséggel
establishing univalence
az egyszerűség meghatározása
univalence analysis
egyszerűség elemzése
seeking univalence
egyszerűség keresése
based on univalence
az egyszerűség alapján
the univalence property is crucial for understanding higher category theory.
A univerzalitás tulajdonsága kulcsfontosságú a magasabb kategóriák elméletének megértéséhez.
we investigated the univalence axioms in the context of type theory.
A univerzalitás axiómáit vizsgáltuk a típuselmélet kontextusában.
univalence allows for a more general notion of equality.
A univerzalitás lehetővé teszi a egyenlőség általánosabb fogalmát.
the univalence condition simplifies certain calculations in homotopy type theory.
A univerzalitás feltétele egyszerűsíti a homotópia típuselméletben bizonyos számításokat.
we proved the univalence of the identity morphism.
Bizonyítottuk az identitás morfizmus univerzalitását.
univalence provides a powerful tool for reasoning about types.
A univerzalitás erős eszközt nyújt a típusokkal való gondolkodáshoz.
the concept of univalence is central to higher-dimensional algebra.
A univerzalitás fogalma központi szerepet játszik a magasabb dimenziós algebrában.
we explored the implications of univalence for model checking.
Felkutattuk a univerzalitás modellezési ellenőrzésre gyakorolt hatásait.
univalence plays a significant role in the foundations of mathematics.
A univerzalitás szerepet játszik a matematika alapjaiban.
the univalence axioms are essential for constructing higher-order universes.
A univerzalitás axiómái szükségesek a magasabb rendű univerzumok építéséhez.
we studied the univalence of interval types.
Vizsgáltuk az intervallum típusok univerzalitását.
univalence principle
egyszerűség elve
demonstrating univalence
az egyszerűség bizonyítása
univalence condition
egyszerűség feltétele
maintaining univalence
az egyszerűség fenntartása
univalence property
egyszerűség tulajdonsága
with univalence
egyszerűséggel
establishing univalence
az egyszerűség meghatározása
univalence analysis
egyszerűség elemzése
seeking univalence
egyszerűség keresése
based on univalence
az egyszerűség alapján
the univalence property is crucial for understanding higher category theory.
A univerzalitás tulajdonsága kulcsfontosságú a magasabb kategóriák elméletének megértéséhez.
we investigated the univalence axioms in the context of type theory.
A univerzalitás axiómáit vizsgáltuk a típuselmélet kontextusában.
univalence allows for a more general notion of equality.
A univerzalitás lehetővé teszi a egyenlőség általánosabb fogalmát.
the univalence condition simplifies certain calculations in homotopy type theory.
A univerzalitás feltétele egyszerűsíti a homotópia típuselméletben bizonyos számításokat.
we proved the univalence of the identity morphism.
Bizonyítottuk az identitás morfizmus univerzalitását.
univalence provides a powerful tool for reasoning about types.
A univerzalitás erős eszközt nyújt a típusokkal való gondolkodáshoz.
the concept of univalence is central to higher-dimensional algebra.
A univerzalitás fogalma központi szerepet játszik a magasabb dimenziós algebrában.
we explored the implications of univalence for model checking.
Felkutattuk a univerzalitás modellezési ellenőrzésre gyakorolt hatásait.
univalence plays a significant role in the foundations of mathematics.
A univerzalitás szerepet játszik a matematika alapjaiban.
the univalence axioms are essential for constructing higher-order universes.
A univerzalitás axiómái szükségesek a magasabb rendű univerzumok építéséhez.
we studied the univalence of interval types.
Vizsgáltuk az intervallum típusok univerzalitását.
Explore frequently searched vocabulary
Want to learn vocabulary more efficiently? Download the DictoGo app and enjoy more vocabulary memorization and review features!
Download DictoGo Now