非圏論的な数学的構造のページテンプレート - 雑多な感じ

非圏論的な数学的構造のページテンプレート

圏論的指標のページテンプレートに統合したい

構造種ほげほげ $ R = \left\lang\mathrm{Hogehoge}\colon X,Y;G \right\rang

principal base

$ X

$ Y

auxiliary base

predicate

$ G \subseteq X \times Y

axiomatic system