☰

マルチカテゴリーの構成

tag-icon • tag-icon diagrams xy-pic tikz-cd
マルチカテゴリーの構成

私は、Leinster の著書「Higher Operads, Higher Categories」で使用されているのと同じ描写を使用して、マルチカテゴリの構成を描く方法を見つけようとしています。私が描こうとしているのは次のとおりです。

ここに画像の説明を入力してください

私も似たようなことをしましたが、完全にはできませんでした。これが私の結果です

\documentclass{article}
\usepackage[all]{xy}
\begin{document}
    \xymatrix{
      a1 \ar@{-}[r] & \ar@{-}[dd] \ar@{-}[dr]  &            & \\
      a2 \ar@{-}[r] &                          & \ar@{-}[r] & a \\
      a3 \ar@{-}[r] & \ar@{-}[ur]              &            & 
    }
\end{document}

ご協力いただければ幸いです。

答え1

ここに画像の説明を入力してください以下は、それに応じて調整できる非常によく似た図です。私のドキュメントでは、すべての線が三角形に隣接していますが、序文をすべて含めたくありませんでした。ワイヤの位置は「手動で」挿入されるため、簡単に変更できます。

\documentclass[11pt]{amsart}

\usepackage[a4paper,top=3cm,bottom=3cm,inner=3cm,outer=3cm]{geometry}
\usepackage{tikz}
\usetikzlibrary{positioning,decorations.markings,arrows.meta,calc,fit,quotes,cd,math,arrows,backgrounds,shapes.geometric}

\begin{document}


\begin{displaymath}
\begin{tikzpicture}[triangle/.style = {fill=gray!20, regular polygon, regular polygon sides=3}]
\path (0,0) node [triangle,draw,shape border rotate=-90,inner sep=0pt,label=178:$\vdots$] (a) {$\theta_n$} (0,4) node [triangle,draw,shape border rotate=-90,inner sep=0pt,label=178:$\vdots$] (b) {$\theta_1$} (3,2) node [triangle,draw,shape border rotate=-90,label=135:$a_1$,label=230:$a_n$,label=178:$\vdots$] (c) {$\theta$} (9,2) node [triangle,draw,shape border rotate=-90,inner sep=-25pt,label=178:$\vdots$] (d) {$\qquad\theta\circ(\theta_1,\ldots,\theta_n)$};
\draw [-] (a) .. controls +(right:2cm) and +(left:1cm).. (c.220);
\draw [-] (b) .. controls +(right:2cm) and +(left:1cm).. (c.140);
\draw [-] (d) to node [above] {$a$} (11.7,2);
\draw [-] (c) to node [above] {$a$} (4,2);
\draw [-] (7.2,3.5) to node [above] {$a_{11}$} (7.85,3.5);
\draw [-] (7.2,.5) to node [below] {$a_{nk_n}$} (7.85,.5);
\draw [-] (-.85,4.3) to node [above] {$a_{11}$} (-.3,4.3);
\draw [-] (-.85,3.6) to node [below] {$a_{1k_1}$} (-.3,3.6);
\draw [-] (-.85,0.3) to node [above] {$a_{n1}$} (-.3,0.3);
\draw [-] (-.85,-0.4) to node [below] {$a_{nk_n}$} (-.3,-0.4);
\node () at (5.5,2) {$\mapsto$};
\end{tikzpicture}
\end{displaymath}
\end{document}

関連情報