Geoffr
@URTin
Sun, Jun 12, 2016 12:15 PM
I want to be Kant-free
Geoffr
@URTin
Sun, Jun 12, 2016 12:20 PM
drm343: ...沒有膝蓋 因為中箭
((∑[T𝒰]∏A∈T]A≃1
@suhorng
Sun, Jun 12, 2016 2:07 PM
Kant-free 是什麼 category 的用語嗎?
Geoffr
@URTin
Sun, Jun 12, 2016 3:40 PM
((∑[T𝒰]∏A∈T]A≃1 : 你要不要掰掰看
我是希望不要在報告裡面提到康德，感覺很沒說服力QQ
((∑[T𝒰]∏A∈T]A≃1
@suhorng
Sun, Jun 12, 2016 10:56 PM
原來是康德!
我只聽過 Left Kan-Extension
Geoffr
@URTin
Mon, Jun 13, 2016 4:18 AM
((∑[T𝒰]∏A∈T]A≃1 : 不懂不懂
載入新的回覆