近日更新

  1. 在寫畢業論文,沒空寫新的文章。
  2. 在 Blogger 建立新的 blog(這裡),修改範本檔後支援 MathJax 數學顯示效果極佳,所以以後關於範疇論以及數學相關的都在那。
  3. 交出論文之後希望有空能將 Categorical Logic and Type Theory 的習題寫完,重新整理 Enriched Category Theory 的筆記 …
Advertisements

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