/dragoon8192-main/圏論的指標のページテンプレート

generated at 2/18/2025, 5:54:50 PM

圏論的指標のページテンプレート
English
別名

 わかりやすい説明
厳密性に欠けてもいい

sigsig 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
公理系
...
構成法
 
付随するものたた