univalence principle
yksikäsitteisyysperiaate
demonstrating univalence
yksikäsitteisyyden osoittaminen
univalence condition
yksikäsitteisyysolosuhteet
maintaining univalence
yksikäsitteisyyden ylläpitäminen
univalence property
yksikäsitteisyysominaisuus
with univalence
yksikäsitteisyyden kanssa
establishing univalence
yksikäsitteisyyden vahvistaminen
univalence analysis
yksikäsitteisyyden analyysi
seeking univalence
yksikäsitteisyyden etsiminen
based on univalence
yksikäsitteisyyden perusteella
the univalence property is crucial for understanding higher category theory.
Yhtenäisyyden ominaisuus on keskeinen ymmärtääkseen korkeamman kategoriateorian.
we investigated the univalence axioms in the context of type theory.
Tutkimme yhtenäisyyden aksioomeja tyypin teorian kontekstissa.
univalence allows for a more general notion of equality.
Yhtenäisyys mahdollistaa yleisemmän yhtäsuuruuden käsitteen.
the univalence condition simplifies certain calculations in homotopy type theory.
Yhtenäisyyden ehto yksinkertaistaa tietyjä laskelmia homotopia-tyypin teoriassa.
we proved the univalence of the identity morphism.
Osoitimme identiteettimuunnoksen yhtenäisyyden.
univalence provides a powerful tool for reasoning about types.
Yhtenäisyys tarjoaa tehokkaan työkalun tyyppejen suhteen pohdiskelussa.
the concept of univalence is central to higher-dimensional algebra.
Yhtenäisyyden käsite on keskeinen korkeamman ulottuvuuden algebran kannalta.
we explored the implications of univalence for model checking.
Tutkimme yhtenäisyyden seurauksia mallintarkistukselle.
univalence plays a significant role in the foundations of mathematics.
Yhtenäisyys on merkittävä rooli matematiikan perusteissa.
the univalence axioms are essential for constructing higher-order universes.
Yhtenäisyyden aksioomat ovat olennaisia korkeamman tason universumien rakentamisessa.
we studied the univalence of interval types.
Tutkimme väli-tyyppien yhtenäisyyttä.
univalence principle
yksikäsitteisyysperiaate
demonstrating univalence
yksikäsitteisyyden osoittaminen
univalence condition
yksikäsitteisyysolosuhteet
maintaining univalence
yksikäsitteisyyden ylläpitäminen
univalence property
yksikäsitteisyysominaisuus
with univalence
yksikäsitteisyyden kanssa
establishing univalence
yksikäsitteisyyden vahvistaminen
univalence analysis
yksikäsitteisyyden analyysi
seeking univalence
yksikäsitteisyyden etsiminen
based on univalence
yksikäsitteisyyden perusteella
the univalence property is crucial for understanding higher category theory.
Yhtenäisyyden ominaisuus on keskeinen ymmärtääkseen korkeamman kategoriateorian.
we investigated the univalence axioms in the context of type theory.
Tutkimme yhtenäisyyden aksioomeja tyypin teorian kontekstissa.
univalence allows for a more general notion of equality.
Yhtenäisyys mahdollistaa yleisemmän yhtäsuuruuden käsitteen.
the univalence condition simplifies certain calculations in homotopy type theory.
Yhtenäisyyden ehto yksinkertaistaa tietyjä laskelmia homotopia-tyypin teoriassa.
we proved the univalence of the identity morphism.
Osoitimme identiteettimuunnoksen yhtenäisyyden.
univalence provides a powerful tool for reasoning about types.
Yhtenäisyys tarjoaa tehokkaan työkalun tyyppejen suhteen pohdiskelussa.
the concept of univalence is central to higher-dimensional algebra.
Yhtenäisyyden käsite on keskeinen korkeamman ulottuvuuden algebran kannalta.
we explored the implications of univalence for model checking.
Tutkimme yhtenäisyyden seurauksia mallintarkistukselle.
univalence plays a significant role in the foundations of mathematics.
Yhtenäisyys on merkittävä rooli matematiikan perusteissa.
the univalence axioms are essential for constructing higher-order universes.
Yhtenäisyyden aksioomat ovat olennaisia korkeamman tason universumien rakentamisessa.
we studied the univalence of interval types.
Tutkimme väli-tyyppien yhtenäisyyttä.
Tutki usein haettuja sanastoja
Haluatko oppia sanastoa tehokkaammin? Lataa DictoGo-sovellus ja nauti uusista sanaston opetus- ja kertausominaisuuksista!
Lataa DictoGo nyt