253:
183:
Hasegawa, Masahito; Hofmann, Martin; Plotkin, Gordon (2008), "Finite dimensional vector spaces are complete for traced symmetric monoidal categories",
307:
36:
200:
Pictures of processes: automated graph rewriting for monoidal categories and applications to quantum computing
86:
317:
32:
213:
112:
163:
120:
67:
312:
283:
265:
232:
203:
275:
138:
134:
20:
217:
102:
98:
78:
301:
287:
158:
44:
63:
231:
Wiltshire-Gordon, John D. (2014-06-03). "Uniformly
Presented Vector Spaces".
71:
252:
de Felice, Giovanni; Meichanetzidis, Konstantinos; Toumi, Alexis (2020).
130:
40:
279:
116:
153:
270:
237:
208:
16:
The category of finite dimensional vector spaces and linear maps.
258:
8:
269:
236:
207:
175:
123:, seen as one-object categories, into
7:
66:of vector spaces, which is both a
14:
37:finite-dimensional vector spaces
254:"Functorial question answering"
1:
308:Categories in category theory
19:In the mathematical field of
187:, Springer, pp. 367–385
185:Pillars of computer science
58:has two monoidal products:
334:
198:Kissinger, Aleks (2012).
87:compact closed category
35:whose objects are all
113:Group representations
280:10.4204/EPTCS.323.6
218:2012PhDT........17K
164:category of modules
68:categorical product
135:monoidal functors
325:
292:
291:
273:
249:
243:
242:
240:
228:
222:
221:
211:
195:
189:
188:
180:
139:pregroup grammar
333:
332:
328:
327:
326:
324:
323:
322:
298:
297:
296:
295:
251:
250:
246:
230:
229:
225:
197:
196:
192:
182:
181:
177:
172:
150:
105:interpreted in
103:string diagrams
99:Tensor networks
96:
53:
21:category theory
17:
12:
11:
5:
331:
329:
321:
320:
315:
310:
300:
299:
294:
293:
244:
223:
190:
174:
173:
171:
168:
167:
166:
161:
156:
149:
146:
95:
92:
91:
90:
81:, which makes
79:tensor product
75:
52:
49:
47:between them.
15:
13:
10:
9:
6:
4:
3:
2:
330:
319:
318:Vector spaces
316:
314:
311:
309:
306:
305:
303:
289:
285:
281:
277:
272:
267:
263:
259:
255:
248:
245:
239:
234:
227:
224:
219:
215:
210:
205:
201:
194:
191:
186:
179:
176:
169:
165:
162:
160:
157:
155:
152:
151:
147:
145:
144:
140:
136:
132:
128:
126:
122:
118:
114:
110:
108:
104:
100:
93:
88:
84:
80:
76:
73:
69:
65:
61:
60:
59:
57:
50:
48:
46:
42:
38:
34:
30:
26:
22:
261:
257:
247:
226:
199:
193:
184:
178:
142:
129:
124:
111:
106:
97:
82:
55:
54:
28:
24:
18:
159:ZX-calculus
133:models are
45:linear maps
302:Categories
271:1905.07408
202:(Thesis).
170:References
64:direct sum
51:Properties
39:and whose
313:Dimension
288:195874109
264:: 84–94.
238:1406.0786
209:1203.0202
72:coproduct
41:morphisms
31:) is the
148:See also
143:FinVect.
131:DisCoCat
117:functors
94:Examples
43:are all
33:category
214:Bibcode
137:from a
125:FinVect
107:FinVect
83:FinVect
56:FinVect
25:FinVect
286:
154:FinSet
121:groups
70:and a
29:FdVect
284:S2CID
266:arXiv
233:arXiv
204:arXiv
119:from
115:are
101:are
77:the
62:the
27:(or
276:doi
262:323
141:to
304::
282:.
274:.
260:.
256:.
212:.
127:.
109:.
85:a
23:,
290:.
278::
268::
241:.
235::
220:.
216::
206::
89:.
74:,
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.