---- (there is probably a better name...) > [!definition]+ Definition. ([[fibered two-object slice category]]) > Let $\mathsf{C}$ be a [[category]] and choose two morphisms $\alpha \in \text{Hom}(A,C)$, $\beta \in \text{Hom}(B,C)$ in $\mathsf{C}$, note the shared target. We then consider a [[category]] $\mathsf{C}_{\alpha, \beta}$ as follows: the objects of $\mathsf{C}_{\alpha,\beta}$ are commutative diagrams of the form > > ```tikz > \usepackage{tikz-cd} > \begin{document} > % https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQBBEAX1PU1z5CKMgCZqdJq3YAhHnxAZseAkVGliEhizaIQAYXn9lQouQ1apukAC0eEmFADm8IqABmAJwgBbJOZAcCCR1SR12AB0IpjQAC3ojEC9fJDJA4MRQxnoAIxhGAAUBFWEQTywnWJwQGm1pPSi8nATeD28-RABmGiD-Wqt2d0Tkju701JpsvMLi0z1yyur+8L0ne24gA > \begin{tikzcd} > & A \arrow[rd, "\alpha"] & \\ > Z \arrow[ru, "f"] \arrow[rd, "g"'] & & C \\ > & B \arrow[ru, "\beta"'] & > \end{tikzcd} > \end{document} > ``` > and morphisms > > ```tikz > \usepackage{tikz-cd} > \begin{document} > % https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQBBEAX1PU1z5CKMgCZqdJq3YAhHnxAZseAkVGliEhizaIQAYXn9lQouQ1apukAC0A+sSOKBK4cgDMFmtul6nSwVUUABYvSR12fxdTFABWMJ9re1EokyDkADYKSwi9Ll5jQLcAdgSrdkMC5zS3LPFvcr05bgkYKABzeCJQADMAJwgAWyRzEBwIJHVw3xAAHVmmNAALeid+oaQyMYnEKcZ6ACMYRgAFaKCQPqx2pZwQBty52aOcVar14cRPbZGHmZ61gNPt9xpsaPsjqdzsJLtdbvdptZ2oCNohQj9ELF3kCkKUMQAOP7WeaLFYoz4AThooMQhJAEOOZxq7CuNzuRPY8xebwUHyQWQxeMS7AB2NRAppVPph0Z0JZcPZiPYyJa3CAA > \begin{tikzcd} > & A \arrow[rd, "\alpha"] & & & & & A \arrow[rd, "\alpha"] & \\ > Z_1 \arrow[ru, "f"] \arrow[rd, "g"'] & & C & {} \arrow[r] & {} & Z_2 \arrow[ru, "f"] \arrow[rd, "g"'] & & C \\ > & B \arrow[ru, "\beta"'] & & & & & B \arrow[ru, "\beta"'] & > \end{tikzcd} > \end{document> > ``` > > correspond to commutative diagrams > ```tikz > \usepackage{tikz-cd} > \begin{document} > % https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQBBEAX1PU1z5CKMgCZqdJq3YAhHnxAZseAkVGliEhizaIQAYXn9lQouQ1apukAC0A+sSOKBK4cgDMFmtul6nSwVUUABYvSR12fxdTFABWMJ9re1EokyDkADYKSwi9Ll5jQLcAdgSrdkMC5zS3LPFvcr05bgkYKABzeCJQADMAJwgAWyRzEBwIJHVw3xAAHVmmNAALeid+oaQyMYnEKcZ6ACMYRgAFaKCQPqx2pZwQBty52aOcVar14cRPbZGHmZ61gNPt9xpsaPsjqdzsJLtdbvdptZ2oCNohQj9ELF3kCkKUMQAOP7WeaLFYoz4AThooMQhJAEOOZxq7CuNzuRPY8xebwUHyQWQxeMS7AB2NRAppVPph0Z0JZcPZiPYyJa3CAA > \begin{tikzcd} > & & A \arrow[rd, "\alpha"] & \\ > Z \arrow[ru, "f"] \arrow[rd, "g"'] \arrow[rr, "\sigma" description] & & & C \\ > & & B \arrow[ru, "\beta"'] & > \end{tikzcd} > \end{document} > ``` > > Two morphisms compose analogously to in [[two-object slice category]]: first 'concatenate' > ```tikz > \usepackage{tikz-cd} > \begin{document} > % https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBpiBdUkANwEMAbAVxiRAC0B9AJhAF9S6TLnyEU3clVqMWbLgGZ+gkBmx4CReaQAMU+s1aIQAQSVC1ozaW56ZhkACEzK4erHIALJOr7ZRgMLOqiIaKNre0gZynMT8UjBQAObwRKAAZgBOEAC2SBIgOBBIXpF+IAA65YxoABZ0zpk5SFoFRYglDHQARjAMAAqulkYZWIk1OCA+dmyVPTj1AulZuYhkrXnUnT39g6EgDDBpE1NRRmmciosgjStrhc2b3b0DFnsjY8el9okXDctI4XWiHyPTAUGagN89nOvCuNwB1HuiBaoPBiAAtPJAVtnrsxCB3uNJl82D9Ycp4YhAUi1lCZuV5kw-k1EABWRFtSHTIyVbCJbILCn-NkcjYgVEQk5lc6xOHC9lAlEwMFITHYp47V74wmfOlGH6yih8IA > \begin{tikzcd} > & & & A \arrow[rd, "\alpha"] & \\ > Z_1 \arrow[rru, "f_1", bend left] \arrow[rrd, "g_1"', bend right] \arrow[r, "\sigma"] & Z_2 \arrow[ru, "f_2"] \arrow[rd, "g_2"'] \arrow[r, "\tau" description] & Z_3 \arrow[ru, "f_3"] \arrow[rd, "g_3"'] & & C \\ > & & & B \arrow[ru, "\beta"'] & > \end{tikzcd} > \end{document} > ``` > and then 'remove the center': > ```tikz > \usepackage{tikz-cd} > \begin{document} > % https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQBBEAX1PU1z5CKMgCZqdJq3YAhHnxAZseAkVGliEhizaIQAYXn9lQouQ1apukAC0eEmFADm8IqABmAJwgBbJOZAcCCR1SR12AB0IpjQAC3ojEC9fJDJA4MRQxnoAIxhGAAUBFWEQTywnWJwQGm1pPSi8nATeD28-RABmGiD-Wqt2d0Tkju701JpsvMLi0z1yyur+8L0ne24gA > \begin{tikzcd} > & & & A \arrow[rd, "\alpha"] & \\ > Z_1 \arrow[rrru, "f_1", bend left] \arrow[rrrd, "g_1"', bend right] \arrow[rr, "\tau \sigma" description] & & Z_3 \arrow[ru, "f_3"] \arrow[rd, "g_3"'] & & C \\ > & & & B \arrow[ru, "\beta"'] & > \end{tikzcd} > \end{document} > ``` > That identities exist and behave nicely with respect to composition is clear, and associativity is immediate. ^definition ---- #### 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