The tag has no usage guidance.

learn more… | top users | synonyms

0
votes
0answers
47 views

What is the size of the automorphism group of an abstract polytope with Schläfli symbol $\{p,q\}$?

Let $\Gamma_{p,q}$ be the automorphism group of the aforementioned abstract polytope. What is the size of this group?
4
votes
1answer
90 views

Singularity-free isotopies between string diagrams for monoidal categories

Given a monoidal category, it is a theorem of Joyal and Street that an equation between string diagrams is provable from the axioms if and only if there is a recumbent isotopy that relates them. The ...
6
votes
2answers
240 views

String diagrams for bimodules over noncommutative algebras?

I'm trying to do some calculations with bimodules (over Azumaya algebras, as it happens), and I need a string diagram notation that mixes the tensor product over the base ring (a symmetric monoidal ...
7
votes
1answer
349 views

String diagrams for (weak) monoidal categories

Hi, In a strict monoidal category, where the associator, left and right unitor are identity morphisms we have the following relations between (string) diagrams: where $i_x$ and $e_x$ are the unit ...
8
votes
2answers
363 views

Diagram calculus for weak 2-functors between bicatgories

I have to do some messy calculations with weak 2-functors between bicategories, and I know the most efficient way to do it would be via some sort of string diagram methods. Also, it means that I can ...