573 |
573 |
574 |
574 |
575 \subsection{\texorpdfstring{$A_\infty$}{A-infinity} 1-categories} |
575 \subsection{\texorpdfstring{$A_\infty$}{A-infinity} 1-categories} |
576 \label{sec:comparing-A-infty} |
576 \label{sec:comparing-A-infty} |
577 In this section, we make contact between the usual definition of an $A_\infty$ category |
577 In this section, we make contact between the usual definition of an $A_\infty$ category |
578 and our definition of an $A_\infty$ disk-like $1$-category, from \S \ref{ss:n-cat-def}. |
578 and our definition of a disk-like $A_\infty$ $1$-category, from \S \ref{ss:n-cat-def}. |
579 |
579 |
580 \medskip |
580 \medskip |
581 |
581 |
582 Given an $A_\infty$ disk-like $1$-category $\cC$, we define an ``$m_k$-style" |
582 Given a disk-like $A_\infty$ $1$-category $\cC$, we define an ``$m_k$-style" |
583 $A_\infty$ $1$-category $A$ as follows. |
583 $A_\infty$ $1$-category $A$ as follows. |
584 The objects of $A$ are $\cC(pt)$. |
584 The objects of $A$ are $\cC(pt)$. |
585 The morphisms of $A$, from $x$ to $y$, are $\cC(I; x, y)$ |
585 The morphisms of $A$, from $x$ to $y$, are $\cC(I; x, y)$ |
586 ($\cC$ applied to the standard interval with boundary labeled by $x$ and $y$). |
586 ($\cC$ applied to the standard interval with boundary labeled by $x$ and $y$). |
587 For simplicity we will now assume there is only one object and suppress it from the notation. |
587 For simplicity we will now assume there is only one object and suppress it from the notation. |
620 Corresponding to this decomposition the operad action gives a map $\mu: A\ot A\to A$. |
620 Corresponding to this decomposition the operad action gives a map $\mu: A\ot A\to A$. |
621 Define the gluing map to send $(f_1, a_1)\ot (f_2, a_2)$ to $(g, \mu(a_1\ot a_2))$. |
621 Define the gluing map to send $(f_1, a_1)\ot (f_2, a_2)$ to $(g, \mu(a_1\ot a_2))$. |
622 Operad associativity for $A$ implies that this gluing map is independent of the choice of |
622 Operad associativity for $A$ implies that this gluing map is independent of the choice of |
623 $g$ and the choice of representative $(f_i, a_i)$. |
623 $g$ and the choice of representative $(f_i, a_i)$. |
624 |
624 |
625 It is straightforward to verify the remaining axioms for a $A_\infty$ disk-like 1-category. |
625 It is straightforward to verify the remaining axioms for a disk-like $A_\infty$ 1-category. |
626 |
626 |
627 |
627 |
628 |
628 |
629 |
629 |
630 |
630 |