|
|
1 | (26) |
|
1.1 Basic Concepts of Category Theory |
|
|
1 | (6) |
|
|
7 | (9) |
|
|
16 | (3) |
|
|
19 | (6) |
|
|
25 | (2) |
|
|
27 | (24) |
|
2.1 Definition and Examples |
|
|
27 | (4) |
|
|
31 | (3) |
|
2.3 Involutive Natural Transformations and Adjunctions |
|
|
34 | (5) |
|
2.4 Involutive Equivalences |
|
|
39 | (1) |
|
|
40 | (5) |
|
2.6 Lifting Structures to Involutive Objects |
|
|
45 | (4) |
|
|
49 | (2) |
|
3 Coherence Of Involutive Categories |
|
|
51 | (20) |
|
3.1 Free Strict Involutive Categories |
|
|
52 | (2) |
|
3.2 Free Involutive Categories |
|
|
54 | (6) |
|
3.3 Strictification of Free Involutive Categories |
|
|
60 | (1) |
|
3.4 Involutive Categories as Monadic Algebras |
|
|
61 | (3) |
|
3.5 Presentability of Involutive Categories |
|
|
64 | (5) |
|
3.6 Right Adjoint of the Forgetful Functor |
|
|
69 | (1) |
|
|
70 | (1) |
|
4 Involutive Monoidal Categories |
|
|
71 | (36) |
|
4.1 Definitions and Examples |
|
|
71 | (6) |
|
4.2 Rigidity of Involutive Monoidal Categories |
|
|
77 | (3) |
|
4.3 Involutive Monoidal Functors |
|
|
80 | (3) |
|
4.4 Involutive Monoidal Category of Involutive Objects |
|
|
83 | (3) |
|
|
86 | (5) |
|
4.6 Involutive Commutative Monoids |
|
|
91 | (2) |
|
4.7 Reversing Involutive Monoids |
|
|
93 | (4) |
|
|
97 | (6) |
|
|
103 | (4) |
|
5 Coherence Of Involutive Monoidal Categories |
|
|
107 | (38) |
|
5.1 Free Involutive Monoidal Categories |
|
|
107 | (14) |
|
5.2 Free Involutive Strict Monoidal Categories |
|
|
121 | (3) |
|
5.3 Commutativity of Formal Diagrams |
|
|
124 | (4) |
|
5.4 Strictification of Involutive Monoidal Categories |
|
|
128 | (6) |
|
5.5 Free Involutive Monoidal Categories of Involutive Categories |
|
|
134 | (7) |
|
5.6 Free Involutive Strict Monoidal Categories of Involutive Categories |
|
|
141 | (2) |
|
|
143 | (2) |
|
6 Coherence Of Involutive Symmetric Monoidal Categories |
|
|
145 | (20) |
|
6.1 Free Involutive Symmetric Monoidal Categories |
|
|
146 | (7) |
|
6.2 Free Involutive Strict Symmetric Monoidal Categories |
|
|
153 | (2) |
|
6.3 Commutativity of Formal Diagrams |
|
|
155 | (1) |
|
6.4 Strictification of Involutive Symmetric Monoidal Categories |
|
|
156 | (1) |
|
6.5 Free Involutive Symmetric Monoidal Categories of Involutive Categories |
|
|
157 | (3) |
|
6.6 Free Involutive Strict Symmetric Monoidal Categories of Invol uti ve Categories |
|
|
160 | (2) |
|
|
162 | (3) |
|
7 Categorical Gelfand--Naimark--Segal Construction |
|
|
165 | (20) |
|
7.1 Monoid Inner Product Objects |
|
|
166 | (6) |
|
7.2 Correspondence Between States and Inner Products |
|
|
172 | (4) |
|
7.3 Proofs of Technical Lemmas |
|
|
176 | (8) |
|
|
184 | (1) |
|
|
185 | (44) |
|
|
187 | (8) |
|
|
195 | (6) |
|
8.3 Involutive Operads as Involutive Monoids |
|
|
201 | (6) |
|
8.4 Involutive Monads from Involutive Operads |
|
|
207 | (3) |
|
8.5 Involutive Algebras of Involutive Operads |
|
|
210 | (5) |
|
8.6 Change of Involutive Symmetric Monoidal Categories |
|
|
215 | (5) |
|
8.7 AQFT Involutive Operad |
|
|
220 | (6) |
|
|
226 | (3) |
Symbol Definition List |
|
229 | (6) |
Bibliography |
|
235 | (4) |
Index |
|
239 | |