RAPL
@deprecated
代わりに RAPL in string diagrams - PS を参照。
記法.1
の limiting cone を
それへの mediator を
と書いてしまうことにする。
記法.2
命題
Right Adjoints Preserve Limits:
- adjunction
について
ならば
証明.1
よって Universality - PS より。
証明.2
Category Theory (Oxford Logic Guides) では
よって Yoneda principle - PS より。
となっているがなぜこれが証明になるのか未だ謎である。