univalence principle
단일성 원리
demonstrating univalence
단일성을 보여주다
univalence condition
단일성 조건
maintaining univalence
단일성을 유지하다
univalence property
단일성 속성
with univalence
단일성과 함께
establishing univalence
단일성을 확립하다
univalence analysis
단일성 분석
seeking univalence
단일성을 추구하다
based on univalence
단일성 기반
the univalence property is crucial for understanding higher category theory.
유니버설성은 고차 범주론을 이해하는 데 필수적입니다.
we investigated the univalence axioms in the context of type theory.
우리는 유니버설성 공리들을 타입 이론의 맥락에서 조사했습니다.
univalence allows for a more general notion of equality.
유니버설성은 등가의 더 일반적인 개념을 가능하게 합니다.
the univalence condition simplifies certain calculations in homotopy type theory.
유니버설성 조건은 호모토피 타입 이론에서 특정 계산을 간소화합니다.
we proved the univalence of the identity morphism.
우리는 항등 사상의 유니버설성을 증명했습니다.
univalence provides a powerful tool for reasoning about types.
유니버설성은 타입에 대한 추론을 위한 강력한 도구를 제공합니다.
the concept of univalence is central to higher-dimensional algebra.
유니버설성의 개념은 고차원 대수의 중심입니다.
we explored the implications of univalence for model checking.
우리는 유니버설성의 모델 검사에 대한 함의를 탐구했습니다.
univalence plays a significant role in the foundations of mathematics.
유니버설성은 수학의 기초에서 중요한 역할을 합니다.
the univalence axioms are essential for constructing higher-order universes.
유니버설성 공리는 고차원 우주의 구축에 필수적입니다.
we studied the univalence of interval types.
우리는 구간 타입의 유니버설성을 연구했습니다.
univalence principle
단일성 원리
demonstrating univalence
단일성을 보여주다
univalence condition
단일성 조건
maintaining univalence
단일성을 유지하다
univalence property
단일성 속성
with univalence
단일성과 함께
establishing univalence
단일성을 확립하다
univalence analysis
단일성 분석
seeking univalence
단일성을 추구하다
based on univalence
단일성 기반
the univalence property is crucial for understanding higher category theory.
유니버설성은 고차 범주론을 이해하는 데 필수적입니다.
we investigated the univalence axioms in the context of type theory.
우리는 유니버설성 공리들을 타입 이론의 맥락에서 조사했습니다.
univalence allows for a more general notion of equality.
유니버설성은 등가의 더 일반적인 개념을 가능하게 합니다.
the univalence condition simplifies certain calculations in homotopy type theory.
유니버설성 조건은 호모토피 타입 이론에서 특정 계산을 간소화합니다.
we proved the univalence of the identity morphism.
우리는 항등 사상의 유니버설성을 증명했습니다.
univalence provides a powerful tool for reasoning about types.
유니버설성은 타입에 대한 추론을 위한 강력한 도구를 제공합니다.
the concept of univalence is central to higher-dimensional algebra.
유니버설성의 개념은 고차원 대수의 중심입니다.
we explored the implications of univalence for model checking.
우리는 유니버설성의 모델 검사에 대한 함의를 탐구했습니다.
univalence plays a significant role in the foundations of mathematics.
유니버설성은 수학의 기초에서 중요한 역할을 합니다.
the univalence axioms are essential for constructing higher-order universes.
유니버설성 공리는 고차원 우주의 구축에 필수적입니다.
we studied the univalence of interval types.
우리는 구간 타입의 유니버설성을 연구했습니다.
자주 검색된 어휘를 탐색하세요
어휘를 더 효율적으로 학습하고 싶으신가요? DictoGo 앱을 다운로드하여 더 많은 어휘 암기 및 복습 기능을 경험해 보세요!
지금 DictoGo를 다운로드하세요