isomorphism

US

・

UK

A1 初級

n.名詞同形；類質同像

影片字幕

類別理論 1.1:動機與哲學 (Category Theory 1.1: Motivation and Philosophy)

46:46

類別理論 1.1:動機與哲學 (Category Theory 1.1: Motivation and Philosophy)

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
部分的同構闡明在範疇論中，特定

Lec 7 | 麻省理工學院 6.042J 計算機科學數學，2010年秋季。 (Lec 7 | MIT 6.042J Mathematics for Computer Science, Fall 2010)

22:41

Lec 7 | 麻省理工學院 6.042J 計算機科學數學，2010年秋季。 (Lec 7 | MIT 6.042J Mathematics for Computer Science, Fall 2010)

In terms of graph isomorphism, with the weights on that,

第5A講：任務、狀態和副作用。 (Lecture 5A: Assignment, State, and Side-effects)

15:20

第5A講：任務、狀態和副作用。 (Lecture 5A: Assignment, State, and Side-effects)

then we want there to be connections, isomorphism,

類別理論1.2：什麼是類別？ (Category Theory 1.2: What is a category?)

48:18

類別理論1.2：什麼是類別？ (Category Theory 1.2: What is a category?)

is isomorphism and equality the same thing? Or not? Should it be treated the same way or not?

類別理論 2.1:函數、外貌 (Category Theory 2.1: Functions, epimorphisms)

46:14

類別理論 2.1:函數、外貌 (Category Theory 2.1: Functions, epimorphisms)