圏論的指標のページテンプレート
summary.icon わかりやすい説明
厳密性に欠けてもいい
signature.icon
code:sig
sig Hogehoge in Cat
Data
0-morph
X, Y
1-morph
...
Axioms
...
$ R = \left\lang\mathrm{Hogehoge}\colon X,Y;G \right\rang
0-morph
$ X
$ Y
1-morph
$ G \subseteq X \times Y
...
into.icon
構成法
out-of.icon
付随するものたた