univalence principle
zasada uniwality
demonstrating univalence
przedstawianie uniwality
univalence condition
warunek uniwality
maintaining univalence
utrzymywanie uniwality
univalence property
właściwość uniwality
with univalence
z uniwalością
establishing univalence
stanowienie uniwality
univalence analysis
analiza uniwality
seeking univalence
szukanie uniwality
based on univalence
na podstawie uniwality
the univalence property is crucial for understanding higher category theory.
Własność uniwality jest kluczowa dla zrozumienia teorii kategorii wyższego rzędu.
we investigated the univalence axioms in the context of type theory.
Badaliśmy aksjomaty uniwality w kontekście teorii typów.
univalence allows for a more general notion of equality.
Uniwality umożliwia bardziej ogólną koncepcję równości.
the univalence condition simplifies certain calculations in homotopy type theory.
Warunek uniwality upraszcza pewne obliczenia w teorii typów homotopijnych.
we proved the univalence of the identity morphism.
Dowiedliliśmy uniwality morfizmu tożsamości.
univalence provides a powerful tool for reasoning about types.
Uniwality dostarcza potężnego narzędzia do rozumowania o typach.
the concept of univalence is central to higher-dimensional algebra.
Koncepcja uniwality jest centralna dla algebry wielowymiarowej.
we explored the implications of univalence for model checking.
Zbadaliśmy konsekwencje uniwality dla sprawdzania modeli.
univalence plays a significant role in the foundations of mathematics.
Uniwality odgrywa znaczącą rolę w fundamentach matematyki.
the univalence axioms are essential for constructing higher-order universes.
Aksjomaty uniwality są niezbędne do konstrukcji uniwersów wyższego rzędu.
we studied the univalence of interval types.
Badaliśmy uniwality typów przedziałów.
univalence principle
zasada uniwality
demonstrating univalence
przedstawianie uniwality
univalence condition
warunek uniwality
maintaining univalence
utrzymywanie uniwality
univalence property
właściwość uniwality
with univalence
z uniwalością
establishing univalence
stanowienie uniwality
univalence analysis
analiza uniwality
seeking univalence
szukanie uniwality
based on univalence
na podstawie uniwality
the univalence property is crucial for understanding higher category theory.
Własność uniwality jest kluczowa dla zrozumienia teorii kategorii wyższego rzędu.
we investigated the univalence axioms in the context of type theory.
Badaliśmy aksjomaty uniwality w kontekście teorii typów.
univalence allows for a more general notion of equality.
Uniwality umożliwia bardziej ogólną koncepcję równości.
the univalence condition simplifies certain calculations in homotopy type theory.
Warunek uniwality upraszcza pewne obliczenia w teorii typów homotopijnych.
we proved the univalence of the identity morphism.
Dowiedliliśmy uniwality morfizmu tożsamości.
univalence provides a powerful tool for reasoning about types.
Uniwality dostarcza potężnego narzędzia do rozumowania o typach.
the concept of univalence is central to higher-dimensional algebra.
Koncepcja uniwality jest centralna dla algebry wielowymiarowej.
we explored the implications of univalence for model checking.
Zbadaliśmy konsekwencje uniwality dla sprawdzania modeli.
univalence plays a significant role in the foundations of mathematics.
Uniwality odgrywa znaczącą rolę w fundamentach matematyki.
the univalence axioms are essential for constructing higher-order universes.
Aksjomaty uniwality są niezbędne do konstrukcji uniwersów wyższego rzędu.
we studied the univalence of interval types.
Badaliśmy uniwality typów przedziałów.
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