3 ms·
Yes. The difference is that here the operation represented by putting wires next to each other is the direct sum, whereas in the Penrose notation the operation
by OscarCunningham 7y ago
Yes. The difference is that here the operation represented by putting wires next to each other is the direct sum, whereas in the Penrose notation the operation is the tensor product. They're both examples of the string diagram notation for monoidal categories. (https://forum.azimuthproject.org/discussion/2335/lecture-73-chapter-4-string-diagrams-and-strictification https://forum.azimuthproject.org/discussion/2335/lecture-73-...)