311数学结构种Mathematical Structures

lilianjie

; j' g. N5 T( q2 Q/ v# H) [Abelian groups     Abelian group
8 _+ }! {2 S) C' F3 [0 y: iAbelian lattice-ordered groups
Abelian ordered groups
Abelian p-groups
Abelian partially ordered groups
3 \+ A& N7 y9 LAction algebras     Action algebra
Action lattices
Algebraic lattices
) N8 Y$ ~( W. u" D$ \0 WAlgebraic posets     Algebraic poset
) }8 S+ B! S- }5 b2 [Algebraic semilattices
Allegories     Allegory (category theory)
- W5 l: Y) Q* j; S/ z; LAlmost distributive lattices
Associative algebras     Associative algebra
Banach spaces     Banach space
Bands     Band (mathematics), Finite bands
Basic logic algebras
BCI-algebras     BCI algebra
% [3 J/ q7 s! v* r& @9 @BCK-algebras     BCK algebra
: O/ M. s! E8 Q+ T2 ]( W' hBCK-join-semilattices
$ y# v4 E+ w' Z3 F' O3 D) m( w9 T! U$ sBCK-lattices
BCK-meet-semilattices
6 h$ P) s( [* Q  d: B5 CBilinear algebras
. n7 @5 g5 e& e4 z* h6 Q$ kBL-algebras
Binars, Finite binars, with identity, with zero, with identity and zero,
2 U% A  Q3 v( Z. j% b$ dBoolean algebras     Boolean algebra (structure)
. a/ S; ^; c, p+ \Boolean algebras with operators
2 E0 @+ x) {2 E+ IBoolean groups
" z2 v; h8 l! z) |9 Q' DBoolean lattices
Boolean modules over a relation algebra
Boolean monoids
3 U2 S2 \( A: F4 O" `% |Boolean rings
. n% Y) ~8 |$ o( I) x; Z' uBoolean semigroups
1 C5 E: x# E, a+ f, \' b3 uBoolean semilattices
Boolean spaces
% {$ s7 o. r* R# q' B8 ?. b$ ABounded distributive lattices
Bounded lattices
  l" J: U0 E6 l. }, }- pBounded residuated lattices
, x8 M9 x' X' ?/ sBrouwerian algebras
Brouwerian semilattices
6 V# q7 |3 o4 R, GC*-algebras
8 V9 ^% p% a% G" CCancellative commutative monoids
, T& ^9 ]& A! i3 H# A$ [Cancellative commutative semigroups
Cancellative monoids
Cancellative semigroups
Cancellative residuated lattices
1 \, `& i1 V3 FCategories
Chains
- K$ C2 k- F  \7 m- P( U. zClifford semigroups
Clifford algebras
, U0 K% k/ G3 E% m7 }: PClosure algebras
9 j6 c7 [! G, {2 Q9 O8 o0 H/ c4 eCommutative BCK-algebras
9 Y( |. t% g0 `: ?5 a' Z) U# |8 W* `Commutative binars, Finite commutative binars, with identity, with zero, with identity and zero
commutative integral ordered monoids, finite commutative integral ordered monoids
Commutative inverse semigroups
+ B/ w" g; e# ]. ]Commutative lattice-ordered monoids
: L  W$ }& o  y8 \  L2 c  jCommutative lattice-ordered rings
' w( W% T; u# [1 x6 c& _+ HCommutative lattice-ordered semigroups
Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero
$ w4 i6 e! ^+ R1 b$ G1 Z. h  zCommutative ordered monoids
Commutative ordered rings
' B6 v" V8 v* S0 z. R" I1 c- dCommutative ordered semigroups, Finite commutative ordered semigroups
Commutative partially ordered monoids
- e$ W1 U+ w. pCommutative partially ordered semigroups
Commutative regular rings
Commutative residuated lattice-ordered semigroups
Commutative residuated lattices
Commutative residuated partially ordered monoids
Commutative residuated partially ordered semigroups
5 {# f( U' B! K8 x1 _& LCommutative rings
Commutative rings with identity
Commutative semigroups, Finite commutative semigroups, with zero
Compact topological spaces
Compact zero-dimensional Hausdorff spaces
3 F5 `- x. r! Y, {/ P/ WComplemented lattices
! t( G, I2 g$ OComplemented distributive lattices
Complemented modular lattices
Complete distributive lattices
Complete lattices
Complete semilattices
; s( U6 E! X; f) Y, i! p6 g& sComplete partial orders
Completely regular Hausdorff spaces
) R) J3 X9 _& Z9 ?! p6 A5 M( S- FCompletely regular semigroups
  |& |0 h0 b9 R8 EContinuous lattices
Continuous posets
Cylindric algebras
# F4 f  O6 t6 j" X1 R8 T6 KDe Morgan algebras
De Morgan monoids
4 a# R2 Q/ S# @& a* q0 X3 U: jDedekind categories
, F; P2 a$ b' y. Z* `5 HDedekind domains
, j1 f  L+ i$ Q5 D2 [Dense linear orders
Digraph algebras
& O' Y; p' L6 K% p2 \Directed complete partial orders
1 g& y! Q9 Q9 Q( e& {5 X. ^5 PDirected partial orders
Directed graphs
, P1 F0 C/ T( \2 h: o: iDirectoids
2 u. q( U+ S9 UDistributive allegories
7 o- U0 S8 Y$ BDistributive double p-algebras
Distributive dual p-algebras
: }+ Q6 S! R7 LDistributive lattice expansions
; Z5 G2 C! Z% n1 q) B8 {$ nDistributive lattices
5 Z$ L7 R* E1 Z, _) J  c4 w  dDistributive lattices with operators
Distributive lattice ordered semigroups
9 H  Z0 Q4 W9 A: }Distributive p-algebras
Distributive residuated lattices
% J1 J' R: C0 @  K+ kDivision algebras
4 Z/ V# B$ R% g  v% w7 T! w$ uDivision rings
! L3 i6 R* j( O! N3 W! E( [Double Stone algebras
Dunn monoids
* b/ A" Q2 E- G' IDynamic algebras
Entropic groupoids
Equivalence algebras
" C9 _2 C; b4 `2 wEquivalence relations
9 {5 h: v  i6 C" G" Q( }! CEuclidean domains
1 l4 F' e$ s/ q( l9 |. v3 O$ ?f-rings
Fields
3 `  I0 B' K7 g9 [! }" g! yFL-algebras
FLc-algebras
FLe-algebras
2 y0 m- L" j4 I6 L+ ?FLew-algebras
FLw-algebras
2 B1 E/ C9 h0 R9 ^8 k* b! iFrames
Function rings
: c. X8 A! v# i" h) N! h+ FG-sets
- ~# M. \/ d5 ^; L( uGeneralized BL-algebras
Generalized Boolean algebras
Generalized MV-algebras
; v5 n/ Z0 l% c) f" ]; _Goedel algebras
Graphs
Groupoids
: @4 j, F" p6 UGroups
, p  P2 y; i0 EHausdorff spaces
0 f- F3 \5 H! e: M% s/ n5 ^* IHeyting algebras
' Z. X9 S; V, v+ i9 L; G- \Hilbert algebras
' Q$ p9 b' x1 E2 R9 s$ L! W- Q9 cHilbert spaces
* C# Q0 n, z% p( M0 D2 v4 _8 l% \Hoops
- Q6 N% k: _* f- y4 [( YIdempotent semirings
9 j) c3 c8 z$ k, N7 D% MIdempotent semirings with identity
Idempotent semirings with identity and zero
  ?& k1 V7 w- V" s; qIdempotent semirings with zero
1 T& ~* K5 j% E' ~+ X( dImplication algebras
Implicative lattices
Integral domains
! a' h- L6 ^6 tIntegral ordered monoids, finite integral ordered monoids
Integral relation algebras
Integral residuated lattices
' u- O, Y1 y1 i5 T$ \/ R( |7 J. eIntuitionistic linear logic algebras
' G, h; Q1 x" \+ f# ]7 C7 YInverse semigroups
Involutive lattices
Involutive residuated lattices
( n$ [' d( w/ `Join-semidistributive lattices
Join-semilattices
, z( g! e; p$ E7 |! KJordan algebras
* I' [0 T" f, C4 sKleene algebras
1 b8 p' b3 T/ ]- a: x5 MKleene lattices
Lambek algebras
Lattice-ordered groups
Lattice-ordered monoids
8 P1 _; `3 G5 E) H8 |- \* K4 nLattice-ordered rings
& A6 T8 P: R. ?+ K8 p6 ^% k$ lLattice-ordered semigroups
Lattices
2 _' l' r7 D: [* L+ b; ~& x8 k9 @) M4 bLeft cancellative semigroups
  y7 ~" ~9 Y' z, j  w) fLie algebras
Linear Heyting algebras
) I# q+ I, x8 B+ a4 `Linear logic algebras
' ^+ Z+ `/ H0 s' W4 i! @- ELinear orders
Locales
Locally compact topological spaces
' Q1 z3 S- w' e; o( p7 JLoops
Lukasiewicz algebras of order n
M-sets
Medial groupoids
Medial quasigroups
Meet-semidistributive lattices
( ]8 M8 s5 s. a/ d  y; I$ kMeet-semilattices
Metric spaces
! j" b; v' m5 b6 @2 \5 m" N  j  a; QModal algebras
Modular lattices
$ ~  {! _: i6 G# q8 ~Modular ortholattices
Modules over a ring
$ L% m3 j! O2 E/ l9 Z) u$ F; yMonadic algebras
Monoidal t-norm logic algebras
Monoids, Finite monoids, with zero
Moufang loops
Moufang quasigroups
Multiplicative additive linear logic algebras
Multiplicative lattices
Multiplicative semilattices
/ z3 }( j. E$ j: lMultisets
1 ~: ^! Q( k) W7 D3 f3 i' c2 JMV-algebras
Neardistributive lattices
Near-rings
% n7 A& H7 E+ F6 O: l8 x6 T% Y5 ?Near-rings with identity
# I& l% N) R, S6 wNear-fields
5 `% g+ q+ w4 u! s8 wNilpotent groups
Nonassociative relation algebras
5 M# x8 A5 M$ w$ nNonassociative algebras
; c, h* \0 [/ R+ x9 eNormal bands
( V& M# B' T# P2 v! D" \- d' SNormal valued lattice-ordered groups
Normed vector spaces
" D9 P# D5 @4 K% vOckham algebras
Order algebras
Ordered abelian groups
Ordered fields
Ordered groups
Ordered monoids
Ordered monoids with zero
Ordered rings
5 k2 E  ?" b- @0 P$ d. ?. S6 `Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
Ordered semilattices, Finite ordered semilattices
/ V$ r# H- z9 G/ yOrdered sets
Ore domains
9 l4 o& N$ L5 M3 Z5 HOrtholattices
9 L7 q0 I  S7 d, @Orthomodular lattices
p-groups
0 ?4 K, ]2 W& d1 W. ?& {Partial groupoids
Partial semigroups
Partially ordered groups
Partially ordered monoids
Partially ordered semigroups
Partially ordered sets
Peirce algebras
Pocrims
3 h$ o9 {  j4 R+ W1 s" gPointed residuated lattices
Polrims
% k/ G. ]1 l# E2 |( d; C$ tPolyadic algebras
6 H: a2 m  v: S* ]  d* u) a0 \: rPosets
. b" E& e/ z3 W8 m, m$ \6 A; EPost algebras
9 N& w/ ^- h  {6 V) l3 DPreordered sets
Priestley spaces
Principal Ideal Domains
/ E1 Y5 d, `) n4 A6 yProcess algebras
Pseudo basic logic algebras
Pseudo MTL-algebras
* @- \$ E. Q. `9 s- k# i5 uPseudo MV-algebras
Pseudocomplemented distributive lattices
+ Z1 ^1 M" p( `1 i9 M. `# RPure discriminator algebras
Quantales
Quasigroups
1 [, ^% }# _  t4 f9 V0 D. o5 z8 }7 VQuasi-implication algebras
Quasi-MV-algebra
Quasi-ordered sets
Quasitrivial groupoids
; {8 m3 @; B) Y/ q  L( q( PRectangular bands
Reflexive relations
1 E) J- x. @: z! RRegular rings
! C: ?1 j$ u+ tRegular semigroups
9 ^7 M, s' X8 w. V$ X8 dRelation algebras
' Q2 ^& W& F# {8 D2 [- T, TRelative Stone algebras
Relativized relation algebras
/ Q2 V- L* Y8 i6 j9 @Representable cylindric algebras
/ _# a! g9 o- `( `4 kRepresentable lattice-ordered groups
Representable relation algebras
Representable residuated lattices
' {1 D. B% S  w1 H% SResiduated idempotent semirings
Residuated lattice-ordered semigroups
Residuated lattices
Residuated partially ordered monoids
7 o1 j$ h3 k( p6 `0 J1 m9 A9 |Residuated partially ordered semigroups
0 G' U3 A% }" o! c: |Rings
Rings with identity
Schroeder categories
+ s  }: b- c& LSemiassociative relation algebras
Semidistributive lattices
Semigroups, Finite semigroups
Semigroups with identity
Semigroups with zero, Finite semigroups with zero
Semilattices, Finite semilattices
Semilattices with identity, Finite semilattices with identity
Semilattices with zero
Semirings
Semirings with identity
! G$ j+ x* f( OSemirings with identity and zero
Semirings with zero
! i2 k& P( [# Z2 }Sequential algebras
Sets
Shells
5 _& U+ e, k* U2 X' v* ZSkew-fields
1 p) E/ q6 w8 H. l. l; ySkew_lattices
$ k. S3 s2 f- h. E8 nSmall categories
Sober T0-spaces
& Q$ ?: t" n; p% qSolvable groups
Sqrt-quasi-MV-algebras
Stably compact spaces
Steiner quasigroups
# I6 U# T8 B' J1 Z- w8 u1 \Stone algebras
Symmetric relations
T0-spaces
; \& m9 f2 @& j4 \! j" cT1-spaces
T2-spaces
6 ?2 z9 Z- \6 i4 r- sTarski algebras
( @( d  G% y# jTense algebras
; l- _3 @( _  t# KTemporal algebras
) f  E  R- \: L2 e. h+ RTopological groups
Topological spaces
7 z5 a+ |' N3 f7 J# iTopological vector spaces
! v; t( R  c1 r% tTorsion groups
Totally ordered abelian groups
5 ^8 F' q# L, }9 G. J; {5 lTotally ordered groups
Totally ordered monoids
Transitive relations
9 N$ t/ \2 Y4 a4 {2 s3 WTrees
Tournaments
Unary algebras
Unique factorization domains
Unital rings
Vector spaces
Wajsberg algebras
Wajsberg hoops
Weakly associative lattices
) F5 a7 C- ^+ I5 ?5 ]8 x9 JWeakly associative relation algebras
Weakly representable relation algebras
4 L3 E/ F! k) K, q; W, B! E; l2 S# A

lilianjie

阿贝尔群Abel群
阿贝尔格序群
+ z: e4 B5 v  F; D阿贝尔下令组
0 ^. C5 x. K1 s5 m& K- N8 P. _8 f阿贝尔p -群
阿贝尔部分下令组
行动代数行动代数
行动晶格
代数晶格
代数偏序代数偏序集
代数半格
寓言的寓言（范畴论）
# [# g+ S9 @: K9 |; e几乎分配格
关联代数关联代数
5 ]8 ~0 d& N" k6 I: ?) u- M0 CBanach空间的Banach空间
乐队乐队（数学），有限频带
% b( }5 P5 K$ l* v基本逻辑代数
BCI -代数的BCI代数
" E( U  U0 ~( E2 V) nBCK -代数BCK代数
3 I8 A; V* T! G3 ?; zBCK联接，半格
BCK晶格
BCK -满足的半格
双线性代数
+ d' [* e% l8 Q- n# x  X8 e% yBL -代数
. O' |+ D' a# M& R/ c1 k. RBinars，有限的binars，与身份，身份和零与零，
# A* _2 I4 l6 a/ B6 r布尔代数布尔代数（结构）
: v+ R! V! q( s' M7 x# X5 m! K与运营商布尔代数
布尔组
布尔晶格
: b) {( }$ e1 T" R' C对关系代数的布尔模块
) T% \* h/ {" n) Q5 K4 w布尔半群
: d& y3 }2 n0 M6 z) [7 Y; w; H布尔环
布尔半群
布尔半格
' e- B' v7 b' {$ \布尔空间
有界分配格
界晶格
& [. f/ y; ^- ~% R界剩余格
Brouwerian代数
+ k* h/ Y$ M- ~0 e) ~Brouwerian半格
C *-代数
+ R! Z8 g/ A3 F9 @; E消可交换半群
5 |3 G5 p6 D9 o( i- I" i消可交换半群
可消半群
$ S) Q' j9 F$ }+ X2 [' D1 y2 P可消半群
消residuated格
+ e' O" \+ W1 Q4 y1 U) V分类
' _0 X' z$ _0 m- a5 C* m链
0 M+ k8 C% b6 j" V克利福德半群
( q  c# t: `+ T' O7 `  fClifford代数
/ R' {6 D5 O1 b+ T2 ?2 F封闭代数
+ D% s2 E) y! @; _) u/ e4 H可交换BCK -代数
" U8 n; f% A% r4 I( q交换binars，有限的可交换binars，与身份，零，身份和零
可交换的组成下令半群，有限可交换积分下令半群
. O/ z8 q- W% \3 a) m! s& j8 n- x交换逆半群
交换点阵有序的半群
" S1 O) k9 }7 Y8 F. d/ y4 w1 b交换格序环
交换格序半群
  o8 a9 i' ?7 q7 |, @交换半群，有限可交换半群，零的有限可交换半群
交换下令半群
5 A, U1 |- m  n) ^' F" I5 W交换下令戒指
( W2 C$ I. N! D有限交换交换序半群，序半群
可交换部分有序的半群
: L7 c! c# k! o" B可交换部分序半群
交换正则环
. H* D# ]8 p# |: L: F4 S  d  C# b2 j交换剩余格序半群
交换residuated格
可交换residuated偏序半群
可交换residuated偏序半群
# s  f8 ]7 U* J交换环
7 n# x8 k/ Q! H" _与身份的交换环
交换半群，有限可交换半群，零
9 g! N% z& e7 E; o% C' V9 @紧凑型拓扑空间
1 O: z+ X8 J) o$ F" k# B- S紧凑的零维的Hausdorff空间
补充晶格
0 O/ b/ [: F8 l$ e3 U. Y# H( \有补分配格
补充模块化晶格
完整的分配格
完备格
$ }* ]# r7 F6 r$ u+ C& A完整的半格
3 E: h# f" F+ r* `9 Y完成部分订单
) q+ |! E8 M* d! h( k完全正则豪斯多夫空间
& U. F  S7 x# @  R8 a完全正则半群
+ A, J" P, B: u" @; T连续格
连续偏序集
柱形代数
" }! @* d$ C& x' Q6 M德摩根代数
德摩半群
( v) ?6 E& x+ @  G戴德金类别
戴德金域
( g! a. e+ M9 s6 b4 a# V稠密线性订单
有向图代数
$ ?: h- D# D1 ?# G. M; X导演完成的部分订单
导演部分订单
有向图
Directoids
分配寓言
$ ~1 h9 b# Q/ j* c6 g分配的双p -代数
! p  u! w, {. H0 Y分配的双P -代数
分配格扩展
& v! j* E2 b& m  G分配格
与运营商分配格
分配格序半群
4 N6 U$ K' H# l分配p -代数
分配residuated格
2 E2 @0 I& H8 \7 t( E司代数
科环
5 D- t5 ^$ N" u( d双Stone代数
邓恩半群
动态代数
, l- Z( w) w' B; i% n熵groupoids
等价代数
等价关系
欧几里德域
. H/ B/ |* i; `$ J, {+ m, A" l& H! ~F -环
( ?; L5 r) F  E. ?字段
FL -代数
7 i. k# c# c# U% n. I* VFLC -代数
5 l. e2 ~$ m) D/ ~; eFLE -代数
! S' ?( m8 [6 v* b" _飞到-代数
. M' X, c: ]2 W, y9 hFLW -代数
& B0 \8 D' _, o4 e6 N) w9 @框架
  ~  z, n2 _$ B. W: l( Q功能戒指
9 G# h0 Q5 @/ f5 S) mG - 组
广义BL -代数
; X+ |/ I! _) l, B* E广义布尔代数
: O, E9 h- O+ {! l广义的MV -代数
. d% V1 G6 D4 JGoedel代数
6 G5 p. M* w7 Q( k$ s: ?, p$ z) i图
Groupoids
( M6 l, ]9 A1 ?! Z/ y8 W5 g组
( k, x) H/ L% Y8 ]+ |2 |3 Q豪斯多夫空间
Heyting代数
希尔伯特代数
# q& x' n1 E9 ~+ zHilbert空间
篮球
1 D3 X5 `( I& h" h$ ?/ r* w幂等半环
幂等半环与身份
! C5 a) W+ S- e7 p幂等半环的身份和零
幂等半环与零
6 j4 c, P. ^7 n8 a! c% K$ `0 \蕴涵代数
: `7 w/ j  e6 Q$ w' u* {# I% i6 m9 N: W含蓄的格子
积分域
积分下令半群，有限积分下令半群
积分关系代数
集成剩余格
直觉线性逻辑代数
逆半群
, [0 @& a8 l  {, t; n( ]" T& n合的格子
/ ?) S6 P: ?- G; U) H9 s7 @合的residuated格
加盟semidistributive格
1 u: s: U1 E0 v3 ~# N- i加盟半格
8 G% X2 X* @. I0 o. m3 I* n约旦代数
克莱尼代数
克莱尼晶格
Lambek代数
  H& t9 U$ {( Y% n5 W0 W6 I# l; o- p格序群
" w7 w: _' z6 ~  t, W格子下令半群
格序环
格序半群
( T9 |+ d7 s$ y; \& l" c% s1 p栅
左可消半群
李代数
线性Heyting代数
# ^! B0 p$ v' k6 }* B& o1 A" w; t  t线性逻辑代数
线性订单
语言环境
局部紧拓扑空间
" j. F" p+ Z1 C. f4 D/ P$ N循环
n阶Lukasiewicz代数
, S. p0 d7 O3 R9 hM -组
) e" j; y) Y+ d- J) Y. P内侧groupoids
内侧quasigroups
会见semidistributive格
3 g& L4 B/ [4 V+ C! t5 c' J会见半格
度量空间
模态代数
模块化晶格
模块化ortholattices
' q: `( j' ^: U' ~, f环比一个模块
单子代数
Monoidal t -模的逻辑代数
1 v' Q" U& R+ `5 J# L2 n# J; m8 M/ ^幺半群，有限半群，零
Moufang循环
0 o7 c. n$ k8 BMoufang quasigroups
' u. H+ M3 }( B; }* A2 z5 {乘添加剂的线性逻辑代数
乘晶格
乘法半格
- ~2 o$ m9 t5 N' d& ~多重集
8 c- q7 ^( {$ VMV -代数
Neardistributive晶格
近环
: c3 [1 R& e* L! u6 G近环与身份
3 z1 L& V; @0 _( c* E' E0 b- Z* {近田
/ D' m: _+ Q7 h2 F9 ]3 p幂零群
非结合的关系代数
非结合代数
普通频段
9 _9 P4 j+ v9 n9 m: k正常价值格序群
赋范向量空间
奥康代数
& S3 C( {. e0 K1 }) _: A订购代数
8 h2 z2 h7 W; @7 @5 ^有序阿贝尔群
有序领域
序群
有序半群
& d  }5 s/ X1 W# m: h% x4 x; e与零有序的半群
& D, x; [& [0 `: i  Q; n有序环
序半群，有限序半群，有限下令零半群
有序半格，有限下令半格
有序集
0 P$ h/ w5 a: m矿石域
/ n& M3 c* S0 j2 }; I+ _Ortholattices
$ Y; n& M4 K( Z& \3 {正交模格
' o  h: D. o( I7 t& W% kp -群
$ ~) F( M8 C9 a; ?9 R! d: o部分groupoids
) M9 }/ N' F: n1 j5 c2 D  y0 h8 d部分半群
部分有序的群体
部分下令半群
# v& j8 A9 A5 E* s- m7 O' ]部分序半群
部分有序集
* a- Z7 u& |' r皮尔斯代数
: F9 B+ b6 W1 t  E% S6 C  a' pPocrims
. S. ?7 z$ t7 F4 p5 p0 \6 M. d指出residuated格
" M8 n2 f5 E4 w; B/ f: h8 ?' mPolrims
# q( H4 K" I+ K& ]2 NPolyadic代数
偏序集
邮政代数
Preordered套
9 Q5 V* o" |% Q3 g; `5 E. X普里斯特利空间
: C* y* }! ?/ ~) R1 I. D1 D& d主理想域
( F2 s. a, _0 O/ |进程代数
伪基本逻辑代数
伪MTL -代数
伪MV -代数
Pseudocomplemented分配格
纯鉴别代数
Quantales
Quasigroups
准蕴涵代数
准MV -代数
准有序集
5 x$ [9 o# p: u. D$ O2 VQuasitrivial groupoids
矩形条带
0 f$ U! [5 [' C, a( u) Q自反关系
" p! Q# v! O  n0 U# D正则环
4 F& Q1 A* f( i- a: |& ^( B正则半群
5 E- W  Z  R/ u; T% i: S关系代数
相对Stone代数
相对化的关系代数
表示的圆柱代数
表示的格序群体
表示的关系代数
表示的residuated格
) x' V- T, y' U4 Q. [$ Z0 GResiduated幂等半环
剩余格序半群
剩余格
; o8 f) p1 n. ~6 h. Q. ZResiduated部分有序的半群
0 d- w; j: Q  n& h8 |Residuated部分序半群
( v0 i: N+ C1 Z8 _2 l戒指
戒指与身份
施罗德类别
& h- l! _3 h" _- G* ^Semiassociative关系代数
Semidistributive晶格
1 i5 j3 X- \( d; p- @半群，有限半群
半群与身份
  h! [: v) P, e$ ?4 j: B/ F% W半群与零，有限半群与零
8 |3 f* i  L4 z8 b) y" G半格，有限半格
* X' H) Z- `1 T5 [: z$ @与身份，与身份的有限半格半格
半格与零
半环
; X+ P5 j4 m5 ]; V/ R半环与身份
半环与身份和零
半环与零
. S/ t+ K* W9 q! o; Y连续代数
) |  \/ p$ g( X- w: o* D集
- i/ P3 k" `, O0 R0 ~壳
歪斜领域
2 H5 v0 [# R# BSkew_lattices
小类
2 ^+ |9 J7 E9 Y' z% U清醒T0 -空间
可解群
* `2 d& G5 w% f# N* v( f; @. b: A8 hSQRT准MV -代数
( @' d1 S: m+ g3 S1 `稳定紧凑的空间
施泰纳quasigroups
Stone代数
0 ~& I* F2 y1 F" f, h$ x( h对称关系
T0 -空间
) Q( W/ B; Q& G8 AT1 -空间
T2 -空间
塔斯基代数
紧张代数
时空代数
拓扑群
拓扑空间
- P; g7 n) {2 E. Y& n( o! m2 y7 z- V1 H拓扑向量空间
$ Q4 Z1 U; R/ ]7 t$ ]7 L5 W( B扭转组
5 m8 k) l% S0 |; ]  d$ \全序的阿贝尔群
& ?/ s4 s2 D9 e6 d: v全序的群体
完全下令半群
9 L2 i7 q; n9 L$ yTransitive的关系
树
锦标赛
一元代数
唯一分解域
Unital环
向量空间
Wajsberg代数
  f4 c( B3 `0 K' l8 f: c; HWajsberg箍
弱关联格
8 ^/ t, y6 O% r! ~- X: a% o弱关联关系代数
7 B1 n( H( a9 K* d弱表示关系代数

孤寂冷逍遥

qazwer168

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

ZONDA

谢谢楼主啦