記法の約束
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/28 14:11 UTC 版)
随伴の理論は基礎付けに「左」と「右」という言葉を用い、また考えるべき二つの圏 𝒞 と 𝒟 の中にはたくさんの構成要素が存在している。そこで、「左」の圏 𝒞 からとったのか「右」の圏 𝒟 から取ったのかを、この左、右の順で付ける文字がアルファベット順となるようにし、またできうる限りこの順で書き下すようにすると非常に便利である。 この記事では例えば、X、F、f、ε は圏Cから、Y、G、g、η は圏Dから取ってくるものとする。そして、可能な場合は、この順で左から右に使うもとのする(例えば、関手 F:C←D はCから取ってきたものと考える)
※この「記法の約束」の解説は、「随伴関手」の解説の一部です。
「記法の約束」を含む「随伴関手」の記事については、「随伴関手」の概要を参照ください。
- 記法の約束のページへのリンク