「名前 = 式」といった形式を図示したい。このとき、イコールを連想させる二重線で「名前」と「式」を結びたかったのです。Graphvizで描画しようとして、いろいろ試したのですがイコール（二重線）が描けませんでした。今日、Kuwataさんに教わったのですが、…

久々に手描きの絵を載せます。BとEが圏で、P:E→Bがファイブレーションになっているとします。Pはファイブレーションの射影（projection）です。Pによる対象や射の像も射影と呼びます。絵では、青色のニョロっとした矢印が射影を表しています。このファイブレ…