---- > [!definition] Definition. ([[two-object coslice category]]) > Flipping most of the arrows in [[two-object slice category]] gives a two-object analog to [[coslice category]], denoted $\mathsf{C}^{A,B}$. Explicitly: > > $\text{Obj}(\mathsf{C}^{A,B})$ is defined to be diagrams > > ```tikz > \usepackage{tikz-cd} > \begin{document} > % https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBoBGAXVJADcBDAGwFcYkQAtEAX1PU1z5CKcqWLU6TVuwCCPPiAzY8BIqIBMEhizaIQAIR4SYUAObwioAGYAnCAFskZEDghJRkneyvzrdx4jOrkjqNNrSeqYgNIz0AEYwjAAKAirCIDZYpgAWOEbcQA > \begin{tikzcd} > & A \arrow[ld, "f"'] \\ > Z & \\ > & B \arrow[lu, "g"] > \end{tikzcd} > \end{document} > > ``` > > in $\mathsf{C}$, and morphisms > ```tikz > \usepackage{tikz-cd} > \begin{document} > % https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBoBGAXVJADcBDAGwFcYkQAtAfXJAF9S6TLnyEU5UsWp0mrdgEF+gkBmx4CRCQCZpDFm0QgAQkqFrRRLRV2yDIUyuHqxyAMzWaeuYYeqRGlAAWDxl9dm4tXycLFABWSRsww0UBM38XeJ1PW3YTPmkYKABzeCJQADMAJwgAWyQyEBwIJAlQ7xByngcq2vqaJqQrNrsirppGegAjGEYABWiAkEqsIoALHBAaOFWsco3EAFpyVI7qusR3RubEQJOe8-irpAA2bKSOrki7s6RHgcQAOzjKYzebmRbLNYbN7tUZfSh8IA > \begin{tikzcd} > & A \arrow[ld, "f_1"] & & & & A \arrow[ld, "f_2"] \\ > Z_1 & & {} \arrow[r] & {} & Z_2 \arrow[rd, "g_2"'] & \\ > & B \arrow[lu, "g_1"', shift left]& & & & B > \end{tikzcd} > \end{document} > ``` > > > are *commutative* diagrams > > ```tikz > \usepackage{tikz-cd} > \begin{document} > % https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZAJgBoAGAXVJADcBDAGwFcYkQBBEAX1PU1z5CKcqQCM1Ok1bsAWgH0xPPiAzY8BImPGSGLNohALiy-uqFEyxXdIMgAQj0kwoAc3hFQAMwBOEALZI2iA4EEiiUvrsXoogNIz0AEYwjAAKAhrCIIwwXjhxIMlgUEgAzOS83n6BiMGhZTR6MoausfFJKenmmoY+WK4AFvk0RSWIALTllSC+AUE09Yhkkc0gADpr2K7+9AUJyWkZFoZYYNiwpjPVSMuLEU12MSbtB12CPSCn52zTszW3YUQpUatnYrWe2Q6h26WS+WAu3Eo3CAA > \begin{tikzcd}[arrows=<-] > & & A \\ > Z_1 \arrow[r, "\sigma" description] \arrow[rru, "f_1", bend left] \arrow[rrd, "g_1"', bend right] & Z_2 \arrow[ru, "f_2" description] \arrow[rd, "g_2" description] & \\ > & & B > \end{tikzcd} > \end{document} > ``` > > (i.e., we must have $f_{2}=\sigma f_{1}$ and $g_{1}=\sigma f_{2}$). > > The composition of morphisms > > ```tikz > \usepackage{tikz-cd} > \usepackage{amsmath} > \begin{document} > % https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZAJgBoAGAXVJADcBDAGwFcYkQBBEAX1PU1z5CKcqQCM1Ok1bsAWgH0xPPiAzY8BImPGSGLNohALiy-uqFEyxXdIMgAQqdUCNw5AGYdNPTMMAdPxwYAA8cYHowKG4nNUFNFAAWLyl9OXkTXjM4twBWZJ87BXcYlwsUADYKG1TDLkznc3jkSutvW3ZHbkkYKABzeCJQADMAJwgAWyRtEBwIJFEU3xAhxRAaRnoAIxhGAAVS+JBGGCGcNZBtyKR3cnrRiamaWeu2mpBe1fWtnf3G4RARlhegALM40S5QJAAWhudzGk0Q02eiDIizsAWwvXG9HOG22ewO-ywYGwsCc9wRqORCwK7BWJi++N+2XYxNJbDhDxRTzmiE8aPYHwZR2+BL+rJJWDJnIReRmvMqIqZhIl7POtP8gXozHJ8KQiuRAHZGT8VYY2VK2K8litijL9TykAAOE1ilnmyVk612D52lQUpByo3gmBXPk09qGem6rlB3kui6hyGIGELPGm8WGQEgsECwxCniUbhAA > \begin{tikzcd}[arrows=<-] > & & A & & & & A \\ > Z_1\arrow[r, "\sigma" description] \arrow[rru, "f_1", bend left] \arrow[rrd, "g_1"', bend right] & Z_2 \arrow[ru, "f_2" description] \arrow[rd, "g_2" description] & & \text{and} & Z_2 \arrow[rru, "f_2", bend left] \arrow[rrd, "g_2"', bend right] \arrow[r, "\tau" description] & Z_3 \arrow[ru, "f_3" description] \arrow[rd, "g_3" description] & \\ > & & B & & & & B > \end{tikzcd} > \end{document} > ``` > > > is defined to be the diagram obtained by first 'concatenating' thus: > > ```tikz > \usepackage{tikz-cd} > \begin{document} > % https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBoBGAXVJADcBDAGwFcYkQAtAfXJAF9S6TLnyEU5CtTpNW7bgCZ+gkBmx4CReZJoMWbRJy4BmJULWiiR0sSm7ZBgIKmVw9WORX5tmfpAAhfikYKABzeCJQADMAJwgAWyQtEBwIJCsQRnoAIxhGAAVXCwMsMGxYEB0fdkjjZxj4xJoUpAAWGkyc-MKNYtKscsq9dhDagSjYhMQJZNTEJI7cgvMekBKytkH7EAAdbZx6ZjqJpGnmxHS7XxrFduzF7rFVvoGQHLAoNOIxkHrJ09m2hk7l1lo81v0NtIhgYRjdXjB3kgALRGL7KX5IMgzNI0N4fc5YhYgkQrcEvS7VHhHBqILFnQFEpYksHPSEUmFU3EI-EotHjGl02bTRkPdhktlVAy7bAhOL0QJ8IA > \begin{tikzcd}[arrows=<-] > & & & A \\ > Z_1 \arrow[rrru, "f_1" description, bend left] \arrow[rrrd, "g_1" description, bend right] \arrow[r, "\sigma" description] & Z_2 \arrow[rru, "f_2" description, bend left] \arrow[rrd, "g_2" description, bend right] \arrow[r, "\tau" description] & Z_3\arrow[ru, "f_3" description] \arrow[rd, "g_3" description] & \\ > & & & B > \end{tikzcd} > \end{document} > ``` > > and then 'removing the center' > > ```tikz > \usepackage{tikz-cd} > \begin{document} > % https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBoBGAXVJADcBDAGwFcYkQAtAfXJAF9S6TLnyEUAJgrU6TVu24BmfoJAZseAkQWli0hizaIQAQWVD1oraXF7ZhkACF+0mFADm8IqABmAJwgAtkjkNDgQSJIgjPQARjCMAArCGmIgWGDYsCA0+nJG3lxKAj7+QYghIGFI2lGx8UkWmkbpmWw5duxuhWYgfoFIZJXhiJFxYFDVg9FxicmWzRlYWe0G7AW8xb2lA6HDNdP1c01pi8syq0ZdvDRjE4gAtArEm31lg1XlNAezjaktS21znkQAAdEHYNwBegAAjBOHozGcfCAA > \begin{tikzcd}[arrows=<-] > & & & A \\ > Z_1 \arrow[rrru, "f_1" description, bend left] \arrow[rrrd, "g_1" description, bend right] \arrow[rr, "\sigma \tau" description] & & Z_3 \arrow[ru, "f_3" description] \arrow[rd, "g_3" description] & \\ > & & & B > \end{tikzcd} > \end{document} > ``` > > where the result is commutative because $\mathsf{C}$ is a [[category]]. > > It is clear the identity morphisms exist and behave correctly with respect to composition, and that associativity holds. ^definition > [!generalization] > - [[multi-object coslice category]] ^generalization ---- #### ---- #### References > [!backlink] > ```dataview > TABLE rows.file.link as "Further Reading" > FROM [[]] > FLATTEN file.tags as Tag > WHERE Tag = "#definition" OR Tag = "#theorem" OR Tag = "#MOC" OR Tag = "#proposition" OR Tag = "#axiom" > GROUP BY Tag > ``` > [!frontlink] > ```dataview > TABLE rows.file.link as "Further Reading" > FROM outgoing([[]]) > FLATTEN file.tags as Tag > WHERE Tag = "#definition" OR Tag = "#theorem" OR Tag = "#MOC" OR Tag = "#proposition" OR Tag = "#axiom" > GROUP BY Tag > ``` #reformatrevisebatch02