category references

[dannypsnl]

1. https://stacks.math.columbia.edu/tag/0011
2. https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

[dannypsnl]

應該比照人員卡片，這個做個參考卡片好了

[FizzyElt]

開個 references 資料夾，但怎麼判斷算是一個比較重要的 reference

[dannypsnl]

我覺得基本上是盡量只提到書籍，因為網站太容易變動了，提及網站最好是盡量複製需要的文字內容（需要取得授權）

[dannypsnl]

我定義過 bartosz2014.tree 的卡片

\title{Category Theory for Programmers}
\author{Bartosz Milewski}
\taxon{reference}
\date{2014}

\meta{isbn}{978-0-46-424387-8}
\meta{external}{https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/}

\p{For some time now I’ve been floating the idea of writing a book about category theory that would be targeted at programmers. Mind you, not computer scientists but programmers — engineers rather than scientists. I know this sounds crazy and I am properly scared. I can’t deny that there is a huge gap between science and engineering because I have worked on both sides of the divide. But I’ve always felt a very strong compulsion to explain things. I have tremendous admiration for Richard Feynman who was the master of simple explanations. I know I’m no Feynman, but I will try my best. I’m starting by publishing this preface — which is supposed to motivate the reader to learn category theory — in hopes of starting a discussion and soliciting feedback.}

[FizzyElt]

• https://math.mit.edu/~mckernan/Teaching/09-10/Autumn/18.725/l_4.pdf

[dannypsnl]

category 的初階概念應該參考 Mac Lane 的 category theory for working mathematic 就好了

[FizzyElt]

我想說它把一些定義跟名詞都整理出來了

[dannypsnl]

沒有收錄的資料別人沒辦法查啊xd，所以才會出 doi 這種索引系統，普通網址很容易過幾年就死連結了