クライスリ圏において、一般のクライスリ射のなかで特別なものがシャープ射 $`s`$ 、次の形で与えられる。$`T`$ はモナドの台関手。
$`\quad \xymatrix{
A \ar[r]^s \ar@{=}[d]
&T(B)
\\
A \ar[r]_f
&B \ar[u]^{\eta}
}\\
\quad \text{ In }\mathcal{C}
`$
generator-preserving morphism, polygraphic morphism, variable-to-variable morphism などとも呼ばれている。
