[問題] How useful is category theory?

[carelai (我心依舊)]

Is it a must to learn in order to conduct researches in PLT?

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 124.77.64.36
※ 文章網址: https://www.ptt.cc/bbs/PLT/M.1447918554.A.813.html
※ 編輯: carelai (124.77.64.36), 11/19/2015 15:48:33
推 suhorng: 作PLT的什麼研究? PLT範圍很大
→ carelai: models and semantics
→ carelai: What do you think?
→ suhorng: I'm sorry. I'm not familiar with this area...
→ suhorng: Just that indeed people give categorical semantics