We introduce the \emph{tangloid algebra} , a diagrammatic algebra arising from the extended tangloid category , and its subalgebra, the \emph{braidoid algebra} . The construction begins with the unoriented tangloid category , inspired by Turaev’s theory of knotoids, which is obtained from the unoriented welded tangleoid category by removing the welded relation while retaining the forbidden moves and imposing some additional relations. Within this framework, the braidoid category arises naturally as a subcategory of . We then introduce the extended tangloid category by adjoining a placeholder morphism , which allows the generators to be extended to endomorphisms of a fixed -box. The interaction of the placeholder morphism with the crossing morphisms gives rise to diagonal morphisms, and , which are used in the defining relations of . The corresponding extended braidoid category is realised as a subcategory of . For each , we then define the tangloid algebra by linearising the endomorphism algebra , as a unital –algebra presented by diagrammatic generators and relations. We also define the braidoid subalgebra , which provides an algebraic framework for the theory of braidoids. We further introduce the reduced tangloid algebra by imposing two additional reduction relations for trivial knot and trivial knotoid components, and we construct a natural diagrammatic on using diagrammatic reflection, composition, and closure. Our categorical and algebraic setting provides a theoretical framework for studying diagrammatic structures with intrinsic endpoints, namely knotoids, linkoids, and braidoids, and related diagram algebras.

生成讲解博客的中文版本

生成AI智能校验的中文版本