Introduction | 1 | (4) | |||
|
5 | (24) | |||
|
5 | (1) | |||
|
6 | (6) | |||
|
12 | (2) | |||
|
14 | (2) | |||
|
16 | (3) | |||
|
19 | (3) | |||
|
22 | (1) | |||
|
22 | (2) | |||
|
24 | (2) | |||
|
26 | (3) | |||
|
29 | (25) | |||
|
29 | (1) | |||
|
30 | (2) | |||
|
32 | (3) | |||
|
35 | (1) | |||
|
36 | (1) | |||
|
37 | (1) | |||
|
38 | (2) | |||
|
40 | (4) | |||
|
44 | (2) | |||
|
46 | (2) | |||
|
48 | (1) | |||
|
49 | (2) | |||
|
51 | (3) | |||
|
54 | (21) | |||
|
54 | (3) | |||
|
57 | (2) | |||
|
59 | (4) | |||
|
63 | (4) | |||
|
67 | (2) | |||
|
69 | (1) | |||
|
70 | (1) | |||
|
71 | (4) | |||
Appendix A. Left Kan extensions preserve boundedness | 75 | (7) | |||
|
75 | (3) | |||
|
78 | (4) | |||
Appendix B. Categorical Preliminaries | 82 | (5) | |||
|
82 | (1) | |||
|
82 | (1) | |||
|
83 | (1) | |||
|
83 | (1) | |||
|
84 | (1) | |||
|
84 | (1) | |||
|
85 | (2) | |||
Bibliography | 87 | (2) | |||
Index | 89 |