-
Notifications
You must be signed in to change notification settings - Fork 0
/
ctcheat.bib
53 lines (47 loc) · 1.43 KB
/
ctcheat.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
@book{adamek:joy,
title = {Abstract and Concrete Categories: The Joy of Cats},
url = {http://www.prgmea.com/pdf/abstract/9.pdf},
urldate = {2014-03-20},
author = {{Jirı Adámek} and {Horst Herrlich} and Strecker, George E.},
year = {2004},
}
@book{awodey:ct,
address = {Oxford; New York},
title = {Category Theory},
isbn = {9780199237180},
language = {English},
publisher = {Oxford University Press},
author = {Awodey, Steve},
month = aug,
year = {2010}
}
@book{pierce:basicct,
address = {Cambridge, Massachusetts},
series = {Foundations of Computing Series},
title = {Basic Category Theory for Computer Scientists},
isbn = {9780262660716},
language = {English},
publisher = {{MIT} Press},
author = {Pierce, Benjamin C.},
month = aug,
year = {1991}
}
@article{hinze:f,
title = {Functional {Pearl}: {F} for {Functor}},
url = {http://www.cs.ox.ac.uk/people/daniel.james/functor/functor.pdf},
journal = {ICFP},
author = {Ralf Hinze and Jennifer Hackett and Daniel W. H. James},
year = {2012},
}
@misc{milewski:limits,
title = {Understanding Limits},
url = {http://bartoszmilewski.com/2014/05/08/understanding-limits-2/},
journal = {Bartosz Milewski's Programming Cafe},
author = {Bartosz Milewski},
}
@misc{milewski:ends,
title = {Natural Transformations and Ends},
url = {http://bartoszmilewski.com/2014/07/15/natural-transformations-and-ends/},
journal = {Bartosz Milewski's Programming Cafe},
author = {Bartosz Milewski},
}