Skip to content

Commit

Permalink
Unit becomes counit
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Aug 15, 2022
1 parent 384d7c1 commit 4bc2507
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 3 deletions.
1 change: 1 addition & 0 deletions CONTRIBUTORS
Original file line number Diff line number Diff line change
Expand Up @@ -501,6 +501,7 @@ Mengxue Yang
Yuan Yang
Haodong Yao
Amnon Yekutieli
Weng Yixiang
Alex Youcis
Jize Yu
John Yu
Expand Down
6 changes: 3 additions & 3 deletions simplicial.tex
Original file line number Diff line number Diff line change
Expand Up @@ -6629,13 +6629,13 @@ \section{Standard resolutions}
For the construction we will use the horizontal composition as
defined in Categories, Section \ref{categories-section-formal-cat-cat}.
The definition of the adjunction morphisms\footnote{We can't use
$\epsilon$ for the unit of the adjunction
$\epsilon$ for the counit of the adjunction
because we want to use $\epsilon$ for the
augmentation of our simplicial obejct.}
$$
d : U \circ V \to \text{id}_\mathcal{A} \quad (\text{unit})
d : U \circ V \to \text{id}_\mathcal{A} \quad (\text{counit})
\quad\text{and}\quad
\eta : \text{id}_\mathcal{S} \to V \circ U \quad (\text{counit})
\eta : \text{id}_\mathcal{S} \to V \circ U \quad (\text{unit})
$$
in Categories, Section \ref{categories-section-adjoint}
shows that the compositions
Expand Down

0 comments on commit 4bc2507

Please sign in to comment.