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

Date	Time	Location	Tracking Event
04-03-2010	10:10	Oxford Depot	Parcel delivered
04-03-2010	05:49	Oxford Depot	Out for delivery
04-03-2010	05:46	Oxford Depot	Arrived at delivery depot
04-03-2010	01:31	National Hub	Scanned at Hub
03-03-2010	17:07	International Hub	En route to delivery depot
03-03-2010	17:07	International Hub	Arrived in destination country
02-03-2010	03:44	Delivery Agent - TAIPEI - PTT	Left 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

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