行頭に < があると、前の段落にくっついてしまう。blitのレンジ・マークアップは、[| ‥ |] と [‥| |] がいいのかも知れない。

$`\newcommand{\cat}[1]{ \mathcal{#1}} %`$>コアージョングラフは、有向グラフとしての $`\cat{C}`$ の[/単純/な/部分グラフ]である。コアージョングラフ $`G`$ は単純グラフなので、射の両端 $`X, Y`$ が決まれば、射があればそれは一意的に決まる。その射…

ホムセット アノテーション Map(-, -) map, function ParMap(-, -) par-map, partial NDMap(-, -) nd-map, nondet Rel(-, -) rel, relation ホムセットを“対象としての集合〈set as object〉”とみなす行為を[+レイフィケーション]と言う。[/レイフィケーショ…