univalence principle
prinsipi ya univalence
demonstrating univalence
kutumia univalence
univalence condition
mwendo wa univalence
maintaining univalence
kupunguza univalence
univalence property
chakula cha univalence
with univalence
na univalence
establishing univalence
kutatua univalence
univalence analysis
utafiti wa univalence
seeking univalence
kutafuta univalence
based on univalence
ala ya univalence
the univalence property is crucial for understanding higher category theory.
Ukifichua wa univalence ni muhimu kwa kujifunza teori ya kategoria ya juu.
we investigated the univalence axioms in the context of type theory.
Tulitafuta aksiyamu za univalence katika mamlaka ya teori ya mifumo.
univalence allows for a more general notion of equality.
Univalence inafanya mamlaka ya kusahihisha kwa mifumo ya kawaida zaidi.
the univalence condition simplifies certain calculations in homotopy type theory.
Sharti ya univalence inasafiri mifumo ya kusahihisha katika teori ya mifumo ya homotopy.
we proved the univalence of the identity morphism.
Tuliondoka univalence ya mifumo ya identite.
univalence provides a powerful tool for reasoning about types.
Univalence ina alama ya kifuatilia kwa kujifunza mifumo.
the concept of univalence is central to higher-dimensional algebra.
Mfano wa univalence ni muhimu kwa algebra ya dimensia ya juu.
we explored the implications of univalence for model checking.
Tulitafuta maombi ya univalence kwa kuchagua model.
univalence plays a significant role in the foundations of mathematics.
Univalence ina mji mkuu katika mibadiliko ya hisabati.
the univalence axioms are essential for constructing higher-order universes.
Aksiyamu za univalence ni muhimu kwa kujenga mifumo ya juu ya kawaida.
we studied the univalence of interval types.
Tulifanyia ujumbe wa univalence ya mifumo ya interval.
univalence principle
prinsipi ya univalence
demonstrating univalence
kutumia univalence
univalence condition
mwendo wa univalence
maintaining univalence
kupunguza univalence
univalence property
chakula cha univalence
with univalence
na univalence
establishing univalence
kutatua univalence
univalence analysis
utafiti wa univalence
seeking univalence
kutafuta univalence
based on univalence
ala ya univalence
the univalence property is crucial for understanding higher category theory.
Ukifichua wa univalence ni muhimu kwa kujifunza teori ya kategoria ya juu.
we investigated the univalence axioms in the context of type theory.
Tulitafuta aksiyamu za univalence katika mamlaka ya teori ya mifumo.
univalence allows for a more general notion of equality.
Univalence inafanya mamlaka ya kusahihisha kwa mifumo ya kawaida zaidi.
the univalence condition simplifies certain calculations in homotopy type theory.
Sharti ya univalence inasafiri mifumo ya kusahihisha katika teori ya mifumo ya homotopy.
we proved the univalence of the identity morphism.
Tuliondoka univalence ya mifumo ya identite.
univalence provides a powerful tool for reasoning about types.
Univalence ina alama ya kifuatilia kwa kujifunza mifumo.
the concept of univalence is central to higher-dimensional algebra.
Mfano wa univalence ni muhimu kwa algebra ya dimensia ya juu.
we explored the implications of univalence for model checking.
Tulitafuta maombi ya univalence kwa kuchagua model.
univalence plays a significant role in the foundations of mathematics.
Univalence ina mji mkuu katika mibadiliko ya hisabati.
the univalence axioms are essential for constructing higher-order universes.
Aksiyamu za univalence ni muhimu kwa kujenga mifumo ya juu ya kawaida.
we studied the univalence of interval types.
Tulifanyia ujumbe wa univalence ya mifumo ya interval.
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