Skip to content

Commit

Permalink
Correct coend commutative diagram (#279)
Browse files Browse the repository at this point in the history
The original commutative diagram is for the end, and not the coend.
  • Loading branch information
yellowsquid authored Nov 2, 2023
1 parent 2fe2e0e commit 06e115c
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions src/Cat/Diagram/Coend.lagda.md
Original file line number Diff line number Diff line change
Expand Up @@ -114,13 +114,13 @@ and contravariant in the other.

~~~{.quiver}
\[\begin{tikzcd}
w && {F(c',c')} \\
{F(c',c)} && {F(c',c')} \\
\\
{F(c,c)} && {F(c',c)}
\arrow["{\psi_{c'}}", from=1-1, to=1-3]
\arrow["{F(\mathrm{id}_{c'},f)}", from=1-3, to=3-3]
\arrow["{F(f,\mathrm{id}_{c})}"', from=3-1, to=3-3]
\arrow["{\psi_c}"', from=1-1, to=3-1]
{F(c,c)} && w
\arrow["{F(\mathrm{id}_{c'},f)}", from=1-1, to=1-3]
\arrow["{\psi_{c'}}", from=1-3, to=3-3]
\arrow["{\psi_c}"', from=3-1, to=3-3]
\arrow["{F(f,\mathrm{id}_{c})}"', from=1-1, to=3-1]
\end{tikzcd}\]
~~~

Expand Down

0 comments on commit 06e115c

Please sign in to comment.