High Quality Content by WIKIPEDIA articles! In category theory, string diagrams are a way of representing 2-cells in 2-categories. The idea is to represent structures of dimension d by structures of dimension 2-d, using the Poincare duality. Thus, * an object is represented by a portion of plane, * a 1-cell f:Ato B is represented by a vertical segment — called a string — separating the plane in two (the left part corresponding to A and the right one to B), * a 2-cell alpha:fRightarrow g:Ato B is represented by an intersection of strings (the strings corresponding to f above the link, the strings corresponding to g below the link).

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.