311数学结构种Mathematical Structures

lilianjie

; j0 O0 a# L# c, d) m
Abelian groups     Abelian group
- {5 c" f7 R0 I5 C6 r. v- R$ `/ z# d0 NAbelian lattice-ordered groups
Abelian ordered groups
; P( S% c9 y3 Y7 Y" ^, HAbelian p-groups
3 J1 R$ D4 W  S/ o/ G4 jAbelian partially ordered groups
Action algebras     Action algebra
2 m. U6 l+ a* n: gAction lattices
Algebraic lattices
Algebraic posets     Algebraic poset
Algebraic semilattices
1 a$ t) ]) Q' t$ rAllegories     Allegory (category theory)
2 Y" g8 I3 n' I; R6 VAlmost distributive lattices
  f7 I8 y* c/ X( v; D/ e. j( AAssociative algebras     Associative algebra
Banach spaces     Banach space
( H7 A8 l, _1 M+ ^+ N, kBands     Band (mathematics), Finite bands
# f0 }+ d& k- @# aBasic logic algebras
BCI-algebras     BCI algebra
( O$ X0 O6 O" d) lBCK-algebras     BCK algebra
2 p& t% T) v; {2 A6 h9 l4 s  fBCK-join-semilattices
( [$ ~( M8 U& i2 ~' ^BCK-lattices
BCK-meet-semilattices
Bilinear algebras
- {) K4 Q1 ~8 K8 \: N  d9 l& bBL-algebras
Binars, Finite binars, with identity, with zero, with identity and zero,
! H7 g; O2 S$ J7 W8 Z9 I, uBoolean algebras     Boolean algebra (structure)
1 A* }" Y4 |: KBoolean algebras with operators
Boolean groups
Boolean lattices
Boolean modules over a relation algebra
9 z1 i$ K" T- A, o  sBoolean monoids
, S% }2 C& H" L( {Boolean rings
  ]) F6 m; a$ G, f, E8 J0 QBoolean semigroups
3 e  _+ N( u' Z- A3 q* nBoolean semilattices
- M/ x* _0 h. f/ bBoolean spaces
Bounded distributive lattices
. f8 u2 F7 q) Z; b( H: MBounded lattices
$ i% S1 s5 w0 }3 qBounded residuated lattices
2 E7 ]; G8 P6 sBrouwerian algebras
Brouwerian semilattices
C*-algebras
5 {% h& D; G9 C1 J2 sCancellative commutative monoids
; B) ]( o3 p. t  A  ICancellative commutative semigroups
0 u6 _5 a1 U8 U7 DCancellative monoids
8 [: }# {8 u7 @# x% g4 sCancellative semigroups
Cancellative residuated lattices
: c/ X% [! w. F6 q" MCategories
$ ]7 o" i0 z" Q: q/ }Chains
, O8 @8 M% m! h3 V+ y/ R7 W: wClifford semigroups
% r/ e7 @+ a- Q0 B/ X7 D0 }Clifford algebras
Closure algebras
Commutative BCK-algebras
Commutative binars, Finite commutative binars, with identity, with zero, with identity and zero
commutative integral ordered monoids, finite commutative integral ordered monoids
4 G4 a: t# f2 a' JCommutative inverse semigroups
Commutative lattice-ordered monoids
Commutative lattice-ordered rings
Commutative lattice-ordered semigroups
5 ]! r$ I0 _) h5 u0 Y8 O/ U8 JCommutative monoids, Finite commutative monoids, Finite commutative monoids with zero
; u5 ^1 m0 b6 A% S; iCommutative ordered monoids
Commutative ordered rings
# M$ |7 o8 S1 X3 w7 n/ n" oCommutative ordered semigroups, Finite commutative ordered semigroups
Commutative partially ordered monoids
Commutative partially ordered semigroups
1 b6 o7 l8 F9 _$ ~3 ?Commutative regular rings
Commutative residuated lattice-ordered semigroups
Commutative residuated lattices
( h! ^" P  U7 \4 Z. J' eCommutative residuated partially ordered monoids
9 W/ _. ~* {+ _4 {* aCommutative residuated partially ordered semigroups
* T1 Y7 _! E) ?( DCommutative rings
& l0 y) W/ x/ sCommutative rings with identity
' a' }8 }4 Y% {( n  OCommutative semigroups, Finite commutative semigroups, with zero
Compact topological spaces
: c" `4 ~8 T: N+ qCompact zero-dimensional Hausdorff spaces
2 u$ v4 i- g6 x; F" zComplemented lattices
, ], E9 J: @1 `6 z1 x' i2 HComplemented distributive lattices
: d  o+ n1 u8 }. j- e* o* Q1 h+ m/ wComplemented modular lattices
Complete distributive lattices
Complete lattices
- U4 y, G- W+ T) s$ V: n6 H/ S* eComplete semilattices
Complete partial orders
Completely regular Hausdorff spaces
Completely regular semigroups
% ~0 S* X2 A5 _  D' n7 ?- {/ R7 DContinuous lattices
7 L. h) I$ h( F+ s1 }Continuous posets
Cylindric algebras
2 v" T, h# T% ^. j, u% xDe Morgan algebras
4 x% {/ J1 K* T$ G4 h. g! `De Morgan monoids
Dedekind categories
& \1 V) L. s4 U1 z% F5 S/ `( f# I$ b1 m& EDedekind domains
Dense linear orders
1 g! U6 r5 ?! d/ Q% R; CDigraph algebras
Directed complete partial orders
Directed partial orders
9 M- T" u) V0 w! i! Q* ?/ J! K3 wDirected graphs
& `2 @5 u3 a6 H5 _1 kDirectoids
2 e. O: f3 C# d, U! HDistributive allegories
6 T" h! X' E' y% ADistributive double p-algebras
0 {! O( u4 d2 @5 M* fDistributive dual p-algebras
Distributive lattice expansions
Distributive lattices
Distributive lattices with operators
) o6 p: q% Q  J! g0 k6 R5 F, \Distributive lattice ordered semigroups
0 |$ a0 T  H1 [& D: j+ S: RDistributive p-algebras
& @$ e7 x' d4 X" MDistributive residuated lattices
  O5 O: v9 l( N9 A" rDivision algebras
Division rings
Double Stone algebras
3 i* O+ X6 I' B; D; ~Dunn monoids
) ~* v; Y$ W3 T. R6 x* x8 i4 T" r, hDynamic algebras
Entropic groupoids
9 _0 E7 i' N- O6 h; n% REquivalence algebras
( W0 o2 {3 h& ]( y+ SEquivalence relations
Euclidean domains
2 Z$ h! G3 ], `$ M/ Y( l/ tf-rings
Fields
FL-algebras
1 L: P% A3 `- b4 n1 x. ?FLc-algebras
FLe-algebras
FLew-algebras
FLw-algebras
Frames
Function rings
G-sets
) t! u  m' [7 a. \1 _3 @Generalized BL-algebras
Generalized Boolean algebras
2 O8 V- l# O7 Y5 U3 A+ l) n6 [9 WGeneralized MV-algebras
8 u4 I; u& E  I# U8 w% _Goedel algebras
Graphs
$ Q! S  M, [1 M6 h  A' J7 OGroupoids
9 E0 W$ g3 K) y+ n7 ZGroups
Hausdorff spaces
6 O2 @* C) i. F$ AHeyting algebras
Hilbert algebras
Hilbert spaces
5 h. W2 N6 h4 FHoops
4 p2 D% j$ w  HIdempotent semirings
2 s' J5 F  T: b4 d8 E1 t* z) n) nIdempotent semirings with identity
Idempotent semirings with identity and zero
" z( Q- M7 t; }& F  JIdempotent semirings with zero
% U7 N/ a9 b  x) C" g/ jImplication algebras
Implicative lattices
Integral domains
/ h# f5 Y+ X& R2 HIntegral ordered monoids, finite integral ordered monoids
, Z+ q1 R( ]( ?3 W9 gIntegral relation algebras
1 p/ Z* u! x5 e: l9 YIntegral residuated lattices
Intuitionistic linear logic algebras
. u2 \$ T, ^' I$ B9 |! SInverse semigroups
) n/ q' a6 f. p' [$ BInvolutive lattices
Involutive residuated lattices
$ S; O7 [& ?) k, U9 GJoin-semidistributive lattices
Join-semilattices
Jordan algebras
/ p' P' U/ n+ m% RKleene algebras
( D3 q1 r2 E9 w! ?1 s. y9 v9 s2 S+ mKleene lattices
1 M5 X4 m" |3 J" Q/ t1 jLambek algebras
Lattice-ordered groups
* h( V7 Q4 y; g9 ^! Y$ dLattice-ordered monoids
3 T8 _; F/ `% ]/ d2 U# BLattice-ordered rings
Lattice-ordered semigroups
Lattices
Left cancellative semigroups
Lie algebras
Linear Heyting algebras
Linear logic algebras
0 J- l: P& X7 f/ X7 G& U' QLinear orders
Locales
& ^9 H$ e$ f4 zLocally compact topological spaces
  M+ N, {9 s3 _9 R/ p" kLoops
Lukasiewicz algebras of order n
M-sets
5 h$ j0 q( t. ~- R* z  G" I) Q8 ^( EMedial groupoids
! l& Q$ h9 T! K2 A/ Y7 EMedial quasigroups
2 @0 e2 J% N  b/ `0 sMeet-semidistributive lattices
Meet-semilattices
Metric spaces
Modal algebras
Modular lattices
Modular ortholattices
Modules over a ring
Monadic algebras
Monoidal t-norm logic algebras
Monoids, Finite monoids, with zero
Moufang loops
- [8 J* x" c2 i. {' e" e1 uMoufang quasigroups
( X/ x& w# B* S4 a* B& @) ~Multiplicative additive linear logic algebras
/ O4 \! Y: x0 N) J! kMultiplicative lattices
/ J! ?& _9 |0 k: ZMultiplicative semilattices
Multisets
) N) W1 k0 ^9 v2 i, h9 FMV-algebras
  G4 x! A! Q9 H3 V0 D: ONeardistributive lattices
Near-rings
/ G% \5 _/ y8 S6 l- o8 ONear-rings with identity
5 y/ Q7 z8 P' {1 s: r$ O, V: i, yNear-fields
# x- a3 G. o* `+ YNilpotent groups
# u( z+ c3 r+ L% T1 O$ O  i. @! xNonassociative relation algebras
Nonassociative algebras
Normal bands
! |: Y1 ]& j9 F, y( G" LNormal valued lattice-ordered groups
) F% n) O2 F$ F$ ]0 r4 PNormed vector spaces
Ockham algebras
/ w) }+ Z2 b, N, V) vOrder algebras
Ordered abelian groups
% X1 V0 ^5 ?$ ]/ `Ordered fields
Ordered groups
( k4 x4 i1 s4 F3 d" _/ z0 fOrdered monoids
Ordered monoids with zero
Ordered rings
Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
2 ^: x3 C  Z* W" ~( G0 y& \9 NOrdered semilattices, Finite ordered semilattices
Ordered sets
" z0 v" v1 _8 J7 A8 hOre domains
Ortholattices
- [) Z0 F$ }' r% B5 w* b) z; ]Orthomodular lattices
2 {9 f" z9 T0 V3 N; M" hp-groups
Partial groupoids
Partial semigroups
4 b) B/ \1 l) G2 |Partially ordered groups
$ h2 l' N; m6 C5 _Partially ordered monoids
/ \" q8 H" z% F+ G' BPartially ordered semigroups
Partially ordered sets
- }5 @* \% q! B  R' {Peirce algebras
' r* n* a- p: D; m6 t* X6 ^) @Pocrims
& d% |3 t/ S. p) R# Z  X6 Y" ?Pointed residuated lattices
$ N, A. M2 P; h' ^Polrims
Polyadic algebras
Posets
2 ]  R8 t" ]! Z* f, c$ N& xPost algebras
, t7 H9 ~0 a0 E; e7 I2 x/ M3 xPreordered sets
Priestley spaces
Principal Ideal Domains
Process algebras
7 O& y' t0 `4 w# h0 S& x3 X2 {Pseudo basic logic algebras
Pseudo MTL-algebras
Pseudo MV-algebras
+ d% z; z" I& y* _4 VPseudocomplemented distributive lattices
, _1 f2 N: ^# l' u1 V9 L; [Pure discriminator algebras
Quantales
/ L: M' r$ o( x. J% z4 ^6 g6 ^Quasigroups
1 I+ {0 h) n% r( n$ Q7 o8 xQuasi-implication algebras
- \' ^+ E# }- E1 F0 A8 I4 v3 z& [Quasi-MV-algebra
8 X% h& q# P+ pQuasi-ordered sets
Quasitrivial groupoids
) y& {, ^) E* }" W$ YRectangular bands
& K% A$ I2 ~; DReflexive relations
; T9 V# |0 Q: e6 q- L8 C) \$ C" rRegular rings
Regular semigroups
* W% U/ f6 n$ V7 h( _8 l3 P$ QRelation algebras
8 o+ b2 K: G( f6 f; ]Relative Stone algebras
2 p  K% x$ a$ C' ^3 TRelativized relation algebras
; n8 M% l: O  A- G; ~/ m  DRepresentable cylindric algebras
Representable lattice-ordered groups
Representable relation algebras
+ t+ @' v: |5 eRepresentable residuated lattices
Residuated idempotent semirings
  g% y8 {7 E9 b- _) uResiduated lattice-ordered semigroups
Residuated lattices
2 F$ }; s% h- y( [+ q! sResiduated partially ordered monoids
7 g9 j5 Q: d5 x, AResiduated partially ordered semigroups
Rings
Rings with identity
3 T; d  b: ^1 }, GSchroeder categories
6 Z2 d$ B8 S5 ~1 p: Z* rSemiassociative relation algebras
Semidistributive lattices
, Z% f/ `% D! a8 @( {; _4 f1 PSemigroups, Finite semigroups
% G4 w# R% K' \/ u6 mSemigroups with identity
Semigroups with zero, Finite semigroups with zero
Semilattices, Finite semilattices
) u( i! H7 d- {" F/ y' u- s# S6 K! |& nSemilattices with identity, Finite semilattices with identity
Semilattices with zero
) R! n, {$ Y+ [* F+ {: i- Y% \Semirings
Semirings with identity
6 ^# E  L- b4 L: G5 \+ m7 {4 f9 HSemirings with identity and zero
Semirings with zero
Sequential algebras
& `! c  O7 K( ^% J9 F: Z% ySets
Shells
Skew-fields
0 i9 `& I0 O9 B3 |2 O' OSkew_lattices
+ O# b5 b* j8 O6 P' XSmall categories
* }1 h' X) N" u* ZSober T0-spaces
* I( ^; }3 d3 a* f: wSolvable groups
Sqrt-quasi-MV-algebras
8 v' f1 }- L! W. n& E% g0 S1 tStably compact spaces
  ]6 m' M' `  n9 lSteiner quasigroups
Stone algebras
9 P" S1 Q: z6 nSymmetric relations
T0-spaces
: \0 E: Z) T$ n. WT1-spaces
T2-spaces
2 H9 s7 E, ]6 [, t+ p6 A* gTarski algebras
3 n; v5 H: l; p$ |# t, aTense algebras
Temporal algebras
7 ?& m% _# X1 B* S, R# e. u- c' iTopological groups
7 c+ S& m7 p$ B/ V/ ETopological spaces
4 P4 L% r# L4 z, ], G. t) l5 YTopological vector spaces
0 k4 R6 r; H, j3 I# Z0 A9 |Torsion groups
Totally ordered abelian groups
3 y0 m. E, [$ x& L6 e3 k" c5 u8 FTotally ordered groups
Totally ordered monoids
4 o) W3 m# G# o- K0 l6 }) sTransitive relations
Trees
+ j7 D/ l: M3 l$ ^2 T! ITournaments
  p; L/ y: C% D! \* JUnary algebras
. n6 S6 B; S. y( h. p+ f5 }Unique factorization domains
3 B  p. F2 W: @; zUnital rings
Vector spaces
Wajsberg algebras
Wajsberg hoops
Weakly associative lattices
Weakly associative relation algebras
7 a, Y2 z- l3 r6 O0 h2 R6 WWeakly representable relation algebras

lilianjie

阿贝尔群Abel群
阿贝尔格序群
4 Y3 A0 d  G2 R3 }7 n% Y阿贝尔下令组
阿贝尔p -群
6 a9 ?" w2 ?3 v- D- Z4 L阿贝尔部分下令组
: z3 Q1 Z* R( j# J/ q6 g( q! C9 H7 V行动代数行动代数
: h; m# S9 R' {2 J8 Z  @7 B行动晶格
' G% M! V( K8 X+ ^% X6 e% c  `代数晶格
代数偏序代数偏序集
代数半格
1 ]+ H8 _: P4 T6 n3 }# I寓言的寓言（范畴论）
. g! B3 C4 ]! v7 m( U几乎分配格
关联代数关联代数
Banach空间的Banach空间
乐队乐队（数学），有限频带
2 Y/ X8 Q- m; Z: |& c, H基本逻辑代数
BCI -代数的BCI代数
BCK -代数BCK代数
BCK联接，半格
BCK晶格
  C8 @; C1 f8 S0 w+ _: f2 K) IBCK -满足的半格
6 f3 W, f2 g1 q& ]7 U双线性代数
BL -代数
Binars，有限的binars，与身份，身份和零与零，
$ ~* T4 r/ B4 d# a- I! K0 c, V布尔代数布尔代数（结构）
+ l6 E) M5 F8 `1 u与运营商布尔代数
  c! `- X' k' Y, R& f8 u' G布尔组
2 ]: t; E& [5 [' a8 D6 [9 q8 }; ~布尔晶格
& v9 R  m+ _: u  @0 l  F( o/ F对关系代数的布尔模块
. d- w& _3 I/ l: [  G  J, ^2 Q布尔半群
% h* W! c! z4 L; i4 n3 Y* y布尔环
布尔半群
布尔半格
2 J4 R2 A( C) ~! r( ]# i. ?( N& v布尔空间
/ k1 E- g* t, l有界分配格
8 h, W4 h. |' M+ h$ E( X, q" j. R界晶格
% D, h. `. }" X" r* e7 r* ]- Z界剩余格
$ M) r4 _9 q  f: s2 w8 rBrouwerian代数
" Z  |/ ^# n! p: m0 I& tBrouwerian半格
5 C! `- g) o& m9 k7 E+ g7 L6 D9 g! {C *-代数
消可交换半群
7 b" n* G! Y( g" ]消可交换半群
可消半群
可消半群
0 |5 @/ Z1 w+ `3 ?消residuated格
) U, A  q# K! e! H" F7 l分类
链
克利福德半群
3 Q% L5 a( H9 ^: i- o- f& OClifford代数
/ u" t3 \5 _2 ~  Z封闭代数
可交换BCK -代数
2 G+ ?: w4 T) k交换binars，有限的可交换binars，与身份，零，身份和零
& d6 o1 U: x# ^7 P' L0 h4 @/ A可交换的组成下令半群，有限可交换积分下令半群
' a1 ~7 s% ]: Z* M交换逆半群
4 `6 E0 r& V4 \6 Q5 O交换点阵有序的半群
* |$ \- \% C+ F$ q2 h, ~  f( A交换格序环
# v3 m( j3 J# j3 k交换格序半群
  M+ W  X2 Q9 u( J5 s) o$ V' K交换半群，有限可交换半群，零的有限可交换半群
交换下令半群
0 D) U- y8 [  k) k$ o8 O+ F交换下令戒指
- Y4 U1 ]! ^4 n, O* e/ P" w有限交换交换序半群，序半群
可交换部分有序的半群
可交换部分序半群
交换正则环
. v: l( u4 u+ x" t交换剩余格序半群
交换residuated格
1 J6 ^: B7 m$ t可交换residuated偏序半群
* c/ J6 l) E  x$ r, r# O) Q可交换residuated偏序半群
- ^' Z- [" E8 M- j& v交换环
$ u3 _( s7 m% j0 X与身份的交换环
交换半群，有限可交换半群，零
4 F3 L2 l) S# A8 n/ i4 W) C8 x紧凑型拓扑空间
& p9 O" ]6 A; i3 J5 {' s紧凑的零维的Hausdorff空间
补充晶格
* ^5 p- ?4 V3 p! E有补分配格
9 J, v' Q2 D/ W* k  W6 N' ^3 L1 n( Y/ c6 Q补充模块化晶格
完整的分配格
; l9 m' m4 |1 j3 c* y6 j( b. Q) Z完备格
完整的半格
& X: t" y" Z- ^* N完成部分订单
- w) p) ~$ U& N2 m  X0 z完全正则豪斯多夫空间
( Y3 S+ Z+ Q+ |完全正则半群
6 Z: f# R# t* ]0 u7 ^2 g连续格
+ @7 d& p+ F1 ^  x; d连续偏序集
$ a4 ?1 }  ~. _% \; S+ _4 r0 q6 ?5 }- \0 L柱形代数
德摩根代数
德摩半群
戴德金类别
戴德金域
; J. ~2 {+ i5 J% i' y- w稠密线性订单
有向图代数
, T" A% ^, W2 {( J导演完成的部分订单
/ U& \% m- P% i+ b6 G导演部分订单
有向图
: ~3 S' M9 e7 V, v! p+ PDirectoids
分配寓言
分配的双p -代数
9 f: Z$ w; v  Z" M分配的双P -代数
分配格扩展
分配格
与运营商分配格
& \0 a+ @4 J! K# u  [$ G9 m( d% J3 P分配格序半群
分配p -代数
分配residuated格
司代数
$ p, }* ~3 {/ c) E; X; l3 ]科环
. p& ~: s  q4 z; b双Stone代数
& I( z. F6 ]" ^! N$ _9 _邓恩半群
动态代数
+ ?: ?* \& ^+ P6 V  K/ y熵groupoids
) c5 U0 a5 f' z8 V# |等价代数
1 y. s- }* W& M* E' f2 a等价关系
( f5 H0 ]! D  e% N' p欧几里德域
F -环
& p3 L0 f# c7 W' D8 M; O6 h$ Y  [5 V字段
/ U: m; p& r8 R4 Y# z0 SFL -代数
5 O5 j# h$ V* v5 mFLC -代数
% I2 f+ |5 k8 \) ^4 _' _4 E( cFLE -代数
% x0 B8 h5 N8 O. x& }飞到-代数
FLW -代数
框架
功能戒指
1 H3 ~. T1 H  Z- aG - 组
, O2 A/ a9 C1 y1 r6 \9 ?广义BL -代数
2 t- Z* b: N/ Y. c1 x  ?广义布尔代数
广义的MV -代数
6 `# K% @' ^2 [7 C6 u! i  o2 _! OGoedel代数
图
7 g) d* p2 D" p9 t' IGroupoids
7 Q$ e2 ]2 f5 n$ K" P- P0 q  X; D9 C9 A组
6 t: M& k/ ^& S* _) C- Q& H! U豪斯多夫空间
! r/ W! y( c' U% @2 l( \) zHeyting代数
7 G3 c  x* H6 l) _希尔伯特代数
Hilbert空间
篮球
幂等半环
幂等半环与身份
1 }" x" ^- {1 f$ p+ y: B幂等半环的身份和零
幂等半环与零
2 b' z; p2 H. G! W" I( n5 r7 g蕴涵代数
含蓄的格子
积分域
积分下令半群，有限积分下令半群
* R1 n0 P1 ^+ k4 [! T4 f! e# G- ]积分关系代数
集成剩余格
6 p+ j' f, z5 p直觉线性逻辑代数
逆半群
合的格子
0 S- Q& g; \6 p( m* [& B" M3 H合的residuated格
! m! o6 W4 K* g* @$ D7 ]& t  y, E加盟semidistributive格
加盟半格
约旦代数
, A- M5 Y: n* L, p# f. G# R! p& [克莱尼代数
5 E% d, ?) i% ^+ C9 s+ W- E克莱尼晶格
Lambek代数
/ `( G4 a0 @" N* ~2 Q: S格序群
格子下令半群
8 M' h  w, ]7 ~7 E8 U格序环
7 I( ^: F/ ~+ v; J, x0 ?格序半群
, ~1 y! w; ]! L6 y: N1 _栅
2 g7 n* h7 x% g8 m左可消半群
! @! p3 r; {( n  @李代数
线性Heyting代数
9 I; P$ `$ ?' W+ A线性逻辑代数
% g5 s1 m' i/ s线性订单
语言环境
2 p/ b  K7 L, n3 X  d# T' e局部紧拓扑空间
循环
3 ?* W) d6 e6 L$ c( ?+ X1 en阶Lukasiewicz代数
0 [, {2 Q) X+ i) v$ h/ G3 G" [M -组
内侧groupoids
# ^$ \  W9 {3 z  B& W内侧quasigroups
! ?( x( c( z8 F5 Q( n0 U' k会见semidistributive格
  I6 L: ^$ ^& f9 W2 N# U; N1 \会见半格
, P/ {: |4 U8 K6 m; I度量空间
4 A- |0 f) f; E3 G模态代数
模块化晶格
( x% L$ i$ q0 s) M2 ?$ Z" `" ]6 i, B8 s模块化ortholattices
环比一个模块
2 M6 r4 }( X* H& }单子代数
Monoidal t -模的逻辑代数
4 T" Z2 V; ~  T' T, m  T* E幺半群，有限半群，零
Moufang循环
! z5 @0 T- D" i* M; @; AMoufang quasigroups
! @; q" N7 q5 i- ?% d* n4 Q9 F9 B乘添加剂的线性逻辑代数
乘晶格
乘法半格
多重集
1 }  D1 o/ l8 X2 y* h( lMV -代数
Neardistributive晶格
近环
$ u6 f' F" k6 U7 m/ u6 ?) ?近环与身份
3 E% u' o3 d7 ?- r8 [, E近田
幂零群
" r) w/ P- p( d: m4 y# ?* X' g: ?非结合的关系代数
非结合代数
: M; w, E4 g9 n1 j6 E# C) d! `6 p普通频段
! \- ]* r2 H- L: M- N( E正常价值格序群
2 w/ ^2 A: b! f5 K; s" S赋范向量空间
2 `- ?& J6 p: Q! g奥康代数
订购代数
( B  a. K& U1 p- }9 Y5 u有序阿贝尔群
- {! W* i) ?* c6 j7 \/ Z有序领域
序群
有序半群
与零有序的半群
有序环
序半群，有限序半群，有限下令零半群
有序半格，有限下令半格
有序集
$ m+ w- x1 J: S  v* E8 C矿石域
  d; @! T. a( ]# s  u9 ~+ ~4 ^! ?2 JOrtholattices
9 D, o: U' j+ p正交模格
$ `- y# u2 d5 y8 ~+ P$ P) j, I% up -群
4 ]) J" U6 L7 g& p部分groupoids
部分半群
部分有序的群体
, I) \( B# D' Y$ o" e部分下令半群
' c: y" s9 C1 E& g部分序半群
- G; s1 c& A/ l4 `* f部分有序集
' s  q! D( |! c. Q! ^/ S2 E% O皮尔斯代数
Pocrims
) A+ v: u" X: f8 _指出residuated格
% f# `1 Z" U; V' g2 j1 QPolrims
Polyadic代数
偏序集
0 s1 _1 ^& F6 I4 r邮政代数
Preordered套
& o$ h2 I9 V: B' g( h普里斯特利空间
& d2 q) a) F6 a8 M6 W6 _8 x' Y主理想域
. ]+ _, H/ C$ e! m: K$ d进程代数
伪基本逻辑代数
伪MTL -代数
伪MV -代数
Pseudocomplemented分配格
8 b0 p/ R& x1 h+ [1 G+ E4 U: I7 p纯鉴别代数
Quantales
8 ?% a. k+ r8 \. \# `  |0 fQuasigroups
4 r* K" R3 o- F3 W; L准蕴涵代数
, M+ u  g& l$ e6 V- v8 j准MV -代数
6 a/ A4 g3 w1 G# g& b* z# ^* r) e准有序集
Quasitrivial groupoids
' K2 z  `- d. h- n* d矩形条带
自反关系
正则环
: t. ~$ H  Y, w( D4 W正则半群
关系代数
; D; Z4 z* R: \% s相对Stone代数
相对化的关系代数
7 \6 f' q/ _, D表示的圆柱代数
表示的格序群体
0 {; E* n! s# G" G; V% J表示的关系代数
表示的residuated格
( u( m- D$ P1 B- i+ Q% A# N! wResiduated幂等半环
剩余格序半群
剩余格
7 Z# f3 C- [1 s3 z3 e+ V7 nResiduated部分有序的半群
  Y; U) w6 n$ ~. l; _- }, _! {Residuated部分序半群
# _0 m4 n; c& @: N% X- l戒指
戒指与身份
施罗德类别
Semiassociative关系代数
Semidistributive晶格
半群，有限半群
4 `0 z! ]& E* Q. t, M半群与身份
半群与零，有限半群与零
. ]: \' t# [( {( Y: C半格，有限半格
( K: K% J: F( }  e; A6 s与身份，与身份的有限半格半格
, o) m8 p! k0 Z5 E3 w/ }半格与零
半环
0 h; I0 y6 f; A; _% s& P半环与身份
半环与身份和零
) @: k& @( A6 t* m8 Q& i; v半环与零
& j4 Q9 T! H" ^连续代数
集
0 [3 f/ Y9 L( y2 E2 W- l, I/ x; ~! n; i$ p壳
歪斜领域
Skew_lattices
& n7 i* b' a# P: J& _5 q8 u9 W0 z# w- l小类
清醒T0 -空间
可解群
SQRT准MV -代数
稳定紧凑的空间
! z  n. e8 V# |  q$ T施泰纳quasigroups
Stone代数
对称关系
4 _2 [& e* k+ i% \! c% I8 oT0 -空间
8 a+ _% D  U; _. E4 t3 UT1 -空间
2 H' i0 }& b4 k) a3 L! i& ~5 d) FT2 -空间
7 m- N# f. _. q3 n塔斯基代数
& H) v7 A" v/ X3 h+ |3 M$ P紧张代数
时空代数
拓扑群
拓扑空间
2 x  F% h# N7 W! r( K拓扑向量空间
扭转组
全序的阿贝尔群
全序的群体
完全下令半群
" X  U" D3 m. }8 F4 o# e3 OTransitive的关系
树
锦标赛
一元代数
' @, d; x* f- H1 H% g4 i# f2 E唯一分解域
Unital环
向量空间
* L0 X- g9 ^/ H7 B4 R! x9 {Wajsberg代数
9 q8 L: M0 @  _! ?" ?1 a' dWajsberg箍
5 C% P5 }' I; i弱关联格
弱关联关系代数
弱表示关系代数

孤寂冷逍遥

qazwer168

佩服你，能发这么好的帖子，厉害

ZONDA

谢谢楼主啦