請輸入想查詢的單字或片語
isomorphism
US
・
UK
A1 初級
n.
名詞
同形 ; 類質同像
影片字幕
類別理論 1.1:動機與哲學 (Category Theory 1.1: Motivation and Philosophy)
46:46
this is called the Curry-Howard-Lambek
isomorphism
which says that
這被稱為 Curry-Howard-Lambek 同構,它告訴我們
part of this
isomorphism
says that in category theory, there's certain
部分的同構闡明在範疇論中,特定
B1 中級