Example 13.1.5. If \((C, C_L, C_R)\) is an adequate triple, then so is \((C, C_R, C_L)\). The resulting endomorphism of \(\AdTrip \) will be denoted \[ (-)_{\rev }\colon \AdTrip \to \AdTrip . \]
Generated from the authoritative LaTeX source.
Example 13.1.5. If \((C, C_L, C_R)\) is an adequate triple, then so is \((C, C_R, C_L)\). The resulting endomorphism of \(\AdTrip \) will be denoted \[ (-)_{\rev }\colon \AdTrip \to \AdTrip . \]
Generated from the authoritative LaTeX source.