寫作計劃

任何跟數學有關的文章都將移到 http://note-on-cat.blogspot.co.uk 去囉。總之(哎?),有幾個方向有打算要寫:

  • Coalgebra 返代數:這個算是博士研究方向之一,原本想寫些初淺的介紹,但太初淺又覺得無趣,要直接上硬邦邦的範疇描述,沒有先寫範疇論又覺得不大對。
  • Category theory 範疇論:Categorical Logic 範疇邏輯
    1. 基礎範疇論
    2. the construction of initial algebra
    3. Eilenberg-Moore category
    4. finitary monad & algebraic system
    5. order theory 的比較
    6. string diagram and Poincaré duality
  • Coalgebraic logic:這個真的是我的研究題目了,用 coalgebra 一般化模態邏輯(modal logic),用來發展各種不同的模態邏輯系統,而且不限定於集合範疇(the category of sets)上的系統,但沒有很想講這個。

有需求的話請催我吧!!!

Advertisements

3 thoughts on “寫作計劃

    • 關於範疇論的部分,我會從對初學者跟非數學背景比較困難的部份開始談起,到範疇相關的計算。例如 R. Bird 的 AoP 有引用一個定理說 Set 上的 polynomial functors 有 initial algebra,這點有機會也會證明。

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s