2010/03/11

Transformed, but not yet so naturally

最近再次進攻 natural transformations 和 representations,已經不知道是第幾次嘍。每次讀都有新一層的體悟,或是該說隔閡變得更少了,像現在看到 "natural in X" 至少會有個圖像,不會那麼茫茫然。對於 natural transformations 我已經有 morphisms of functors 的直覺,但說它是 "natural" 就還不太了解 ─ 為什麼這樣的定義就隱寓那一系列的 mappings 是依循同一種方式定義呢?還是先把這問題擱著,今天對付一個特別難纏的 parameter theorem(如果一個 parameterised functor 對每個 parameter value 都有一個 representation,使得 representing object/natural bijection 也是 parameterised,那麼這個 parameterised representation 對於 parameter 也是 natural),準備轉進 adjoint functors 嘍。現在是跟著 Mac Lane & Birkhoff 的 undergraduate algebra 倒數第二章走,走過了再重新挑戰 Mac Lane!

已經收到兩封 email offer letters,一封來自 comlab,另一封今天剛收到,是 Clarendon Scholarship 的正式 offer letter。我先前寄的成績單老早就到英國了,果真是飛快:

Parcel number: EC331371631GB(JK 注:郵包號有變喔,從 TW 變成 GB!)
Status: Delivered
Signed for by: HAMBRIDGE P

Parcel tracks

DateTimeLocationTracking Event
04-03-201010:10Oxford DepotParcel delivered
04-03-201005:49Oxford DepotOut for delivery
04-03-201005:46Oxford DepotArrived at delivery depot
04-03-201001:31National HubScanned at Hub
03-03-201017:07International HubEn route to delivery depot
03-03-201017:07International HubArrived in destination country
02-03-201003:44Delivery Agent - TAIPEI - PTTLeft origin country

但 offer letter 紙本都還沒收到。我的 application 現在不知道落在哪家 college,來來往往大概還要再收個兩三封 offer letters 吧 XD。

Offer 永遠不嫌多,scm 老師在我破百當天來信邀我繼續玩一陣子 pi-calculus with dependent types,說他有新的想法。Sounds interesting! 而且我老早就在盤算退伍後回台北窩一下中研院的可能性,參加 FLOLAC '10、申請簽證、聽音樂會什麼的都方便很多。本來打算靠近一點再說,至少也等 scm 老師回國之後,結果被 scm 老師搶先一步,可以說整個被 scm 老師看透了呀!XD 不過這代表我得找短期租屋,租三個月應該勉強可以?

依三人成虎定理,我每次參加 FLOLAC 都會多一個讀牛津的人!XD

--
還積欠好多事情沒寫…

Labels: ,

Blogger XOO3/12/2010 2:18 am 說:

注意一下 natural transformation 結合的方式有兩種,用 naturality 畫出來的圖形,兩個上下疊在一起想到的是垂直的,有另外一個水平的形成 category of small categories 上的兩個 morphism,是 2-category 最簡單的例子。

可以看一下這兩個 morphism 有什麼關係。

 
Blogger htymrednuht3/12/2010 5:04 am 說:

每次看學長的文章總有望塵莫及的感覺XD

 
Blogger Josh Ko3/12/2010 8:30 am 說:

To XOO: 我轉進 Mac Lane 了,馬上就碰到這兩種合成型式,研究中 XD。

To htymrednuht: 只是先走一步而已 XD。

 
Blogger XOO3/12/2010 10:34 am 說:

我有把這兩種的結合的圖形實際畫出來,有需要再跟我要吧 XD

 

<< 回到主頁