A binary operation on the class of coherently diagonal complexes
arXiv:1003.4766
Abstract
We use mathematical induction to prove that the horizontal composition in the class of coherently diagonal complexes is indeed a binary operation. That is to say, the embedding of two coherently diagonal complexes in an alternating planar diagram produces a coherently diagonal complex.
20 pages, 9 figures