311数学结构种Mathematical Structures

lilianjie

Abelian groups     Abelian group
. q6 e0 k$ e  i" t6 M5 |Abelian lattice-ordered groups
$ ]# }" x3 B& p/ RAbelian ordered groups
Abelian p-groups
Abelian partially ordered groups
Action algebras     Action algebra
Action lattices
Algebraic lattices
" o# M) y3 V9 }; GAlgebraic posets     Algebraic poset
Algebraic semilattices
* U: M7 P8 }$ O* fAllegories     Allegory (category theory)
Almost distributive lattices
Associative algebras     Associative algebra
$ Z& l6 t+ i5 N3 P/ A) SBanach spaces     Banach space
  v. x! r+ P. SBands     Band (mathematics), Finite bands
8 l- m- _2 ~8 H" X+ zBasic logic algebras
2 T( y2 m( [3 w1 }BCI-algebras     BCI algebra
BCK-algebras     BCK algebra
3 |- a" T- R0 z' r3 NBCK-join-semilattices
8 c( o- P0 C2 l# s) w/ T  HBCK-lattices
* ^1 x! l/ S7 g% s; TBCK-meet-semilattices
Bilinear algebras
BL-algebras
& ~$ j4 P7 _' Z, |# V! CBinars, Finite binars, with identity, with zero, with identity and zero,
0 g: y. Q7 [! D- X+ W8 [% ?6 L; |Boolean algebras     Boolean algebra (structure)
% Z$ d" R& P6 g- P9 X& g* ^Boolean algebras with operators
9 A7 r( o& Z8 w1 ~. [4 yBoolean groups
Boolean lattices
Boolean modules over a relation algebra
Boolean monoids
Boolean rings
Boolean semigroups
! [* g2 I" c9 xBoolean semilattices
Boolean spaces
; Q' S8 |7 m0 MBounded distributive lattices
Bounded lattices
- f3 B. x* Y; R* s. h1 lBounded residuated lattices
Brouwerian algebras
9 z( s( ?  `- F1 L) |! GBrouwerian semilattices
% }. `2 F7 x3 a. M: w' oC*-algebras
! Y* I6 ^1 k. ~4 LCancellative commutative monoids
Cancellative commutative semigroups
Cancellative monoids
Cancellative semigroups
Cancellative residuated lattices
Categories
Chains
5 K+ D: @0 b) X4 q! z: [; T- pClifford semigroups
Clifford algebras
* H8 u. |/ A; K$ c, iClosure 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
Commutative inverse semigroups
0 @5 T/ `% _0 B0 V+ mCommutative lattice-ordered monoids
3 D( r2 q1 Z0 Y- |Commutative lattice-ordered rings
6 M1 @4 Z" _$ gCommutative lattice-ordered semigroups
Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero
; b' }7 g* j, Q" l9 o: i/ @Commutative ordered monoids
Commutative ordered rings
1 {: b5 p& v9 Z1 a- s1 OCommutative ordered semigroups, Finite commutative ordered semigroups
Commutative partially ordered monoids
  d$ Q- C/ Y5 N& ]Commutative partially ordered semigroups
+ p# _/ f$ \+ TCommutative regular rings
7 l! N: a, s, q0 k9 I. X  f& R4 Z1 LCommutative residuated lattice-ordered semigroups
7 \' ^  U; Z( u0 N- oCommutative residuated lattices
! q6 J+ E4 v# m* @8 I2 h/ WCommutative residuated partially ordered monoids
Commutative residuated partially ordered semigroups
Commutative rings
Commutative rings with identity
Commutative semigroups, Finite commutative semigroups, with zero
7 T7 K0 j' E, y2 W; SCompact topological spaces
5 _  H2 M6 _9 J. U! Z; e9 VCompact zero-dimensional Hausdorff spaces
2 v: j! P: _$ l+ a0 b5 L# w0 tComplemented lattices
! V+ A1 ^: k6 `0 PComplemented distributive lattices
* C9 S8 B$ s- P! Z: n( H# JComplemented modular lattices
. ~/ R' S6 @9 K$ hComplete distributive lattices
4 y9 L0 c4 B' k% n# \' c- T3 lComplete lattices
Complete semilattices
Complete partial orders
3 r& O5 ]+ v8 r0 w& QCompletely regular Hausdorff spaces
$ W, o$ o5 F/ C9 Y  e4 T: @Completely regular semigroups
Continuous lattices
Continuous posets
- q' m  e) _/ R* A# N' JCylindric algebras
( h! t' X! J) a9 i/ T' rDe Morgan algebras
. h8 l' s3 V0 `6 ^! z' P, S' R, WDe Morgan monoids
Dedekind categories
Dedekind domains
Dense linear orders
Digraph algebras
- j4 l2 ~7 h1 A( yDirected complete partial orders
Directed partial orders
. ?& I' S/ \$ E& U& ^Directed graphs
  ^7 ~  ]" g$ p! K3 MDirectoids
Distributive allegories
Distributive double p-algebras
Distributive dual p-algebras
" N7 s2 q% o" P7 f) S( U. X4 QDistributive lattice expansions
( _( O  z1 |* [( B& lDistributive lattices
Distributive lattices with operators
Distributive lattice ordered semigroups
Distributive p-algebras
0 p5 `2 Z4 n' Q4 aDistributive residuated lattices
' Z6 w4 I; `3 X- n4 r$ j; F) ]Division algebras
Division rings
Double Stone algebras
Dunn monoids
Dynamic algebras
Entropic groupoids
  E5 J2 h% s; [, sEquivalence algebras
Equivalence relations
5 G2 A1 O0 H9 R5 d7 m/ KEuclidean domains
/ L( Z# F! k- Q- H% D: p7 |% Of-rings
Fields
FL-algebras
FLc-algebras
1 j5 R% V  i" ?+ i6 \# |FLe-algebras
: P% X7 y! f# e7 Y4 B$ MFLew-algebras
FLw-algebras
* v, h. O. f. IFrames
  `- V4 |, ^- [Function rings
4 m( n7 p! G. J5 ~, XG-sets
Generalized BL-algebras
Generalized Boolean algebras
Generalized MV-algebras
Goedel algebras
3 B7 m4 |5 Z3 r" P; a5 d+ B$ JGraphs
4 m3 A$ s# G! y, Z: D9 d# lGroupoids
Groups
2 Z- W% f3 W+ O& R' zHausdorff spaces
0 m, W$ p/ p0 eHeyting algebras
. C- r2 B# ~( @5 d1 \9 V6 A+ v  QHilbert algebras
* U0 I  \0 |: jHilbert spaces
Hoops
1 p+ Z, q4 @( ~, w, w" b# [4 u* Z+ DIdempotent semirings
Idempotent semirings with identity
Idempotent semirings with identity and zero
$ F/ L) o- j, `7 L* {Idempotent semirings with zero
Implication algebras
7 }, ?5 i$ T3 xImplicative lattices
% @; H* d1 Z! ^5 jIntegral domains
* C( }2 Z/ v3 O7 Z8 \& ?Integral ordered monoids, finite integral ordered monoids
) ^* E6 r  G( F. I  c# jIntegral relation algebras
Integral residuated lattices
Intuitionistic linear logic algebras
Inverse semigroups
Involutive lattices
% S2 m% _  r2 AInvolutive residuated lattices
Join-semidistributive lattices
Join-semilattices
2 e4 A( _. E) L9 }, kJordan algebras
Kleene algebras
Kleene lattices
) N- ]2 c* y- u5 }3 A8 }5 C6 jLambek algebras
Lattice-ordered groups
Lattice-ordered monoids
8 i0 D( B1 k, i! O0 ~Lattice-ordered rings
Lattice-ordered semigroups
* y9 {) l; P# I' X/ r! \Lattices
7 v! q/ H3 U% R' O4 ]Left cancellative semigroups
Lie algebras
: x  v  h* L" v0 e7 R2 |3 {Linear Heyting algebras
& `% l3 _$ c( l! \! l* kLinear logic algebras
Linear orders
Locales
Locally compact topological spaces
Loops
1 S# j7 A4 X  [Lukasiewicz algebras of order n
M-sets
Medial groupoids
0 h) g; u$ z# P/ d! i: b, ]Medial quasigroups
' I  M8 v' q& t3 XMeet-semidistributive lattices
Meet-semilattices
Metric spaces
Modal algebras
Modular lattices
' N6 F; V8 d* x* I' Y' o/ e4 SModular ortholattices
& }% z: `0 z" P# ]/ y  X9 |Modules over a ring
( E9 N* |! O% MMonadic algebras
$ a7 p5 x& d" EMonoidal t-norm logic algebras
Monoids, Finite monoids, with zero
Moufang loops
Moufang quasigroups
Multiplicative additive linear logic algebras
Multiplicative lattices
6 t) g: S" ]; K0 e5 n9 W9 h- G1 LMultiplicative semilattices
Multisets
MV-algebras
Neardistributive lattices
Near-rings
! F& q( L$ r1 w- jNear-rings with identity
Near-fields
Nilpotent groups
( i: p4 f. B/ H; @6 b, ~Nonassociative relation algebras
) d" k" T$ G4 i" bNonassociative algebras
$ h) {% F, [; F4 Q6 `5 H  x& gNormal bands
. L. Z" V. k$ {6 {; X- C+ V# rNormal valued lattice-ordered groups
Normed vector spaces
Ockham algebras
Order algebras
Ordered abelian groups
; X/ S  o4 F/ O2 AOrdered fields
Ordered groups
$ o, r- |4 c) k" E* b( lOrdered monoids
8 A9 e7 m& \4 T) h2 [& ?1 qOrdered monoids with zero
3 U* G1 `2 m' _( l# MOrdered rings
Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
& |/ ^3 e7 `% A/ KOrdered semilattices, Finite ordered semilattices
Ordered sets
Ore domains
$ Q2 d3 Q* a  IOrtholattices
. X7 L) n9 r9 ]* W  mOrthomodular lattices
p-groups
) @1 ]% H6 ?1 c4 [Partial groupoids
) |3 A4 ?1 I* L. Z6 gPartial semigroups
5 T: g- y  u8 QPartially ordered groups
: M" Y3 f/ s) j. F% BPartially ordered monoids
Partially ordered semigroups
7 b) g' K5 l  E: m: q4 rPartially ordered sets
9 }4 v6 _2 H3 TPeirce algebras
Pocrims
Pointed residuated lattices
( A& V' D* r1 ]* G, T4 [& B8 WPolrims
+ K; m3 m+ H5 X5 Y9 K' ZPolyadic algebras
( F0 f4 L9 `- m4 }Posets
Post algebras
Preordered sets
Priestley spaces
Principal Ideal Domains
Process algebras
* h, Y5 |2 _0 ?$ Y: v2 |% lPseudo basic logic algebras
# ]& P# @0 `3 z  d* T0 S" L; EPseudo MTL-algebras
. d( D& V- z. a, L/ u  L3 a5 q3 n5 ZPseudo MV-algebras
! o$ u" H2 b# ePseudocomplemented distributive lattices
Pure discriminator algebras
/ G( u/ z0 c% y* Q7 ~! RQuantales
Quasigroups
Quasi-implication algebras
- F% b( d5 B/ a6 ]6 F9 s: o  y; R0 WQuasi-MV-algebra
+ C: ?$ {- z$ f5 V# A0 F; D. ^Quasi-ordered sets
$ T5 h* A  e2 j; x# A* Y7 FQuasitrivial groupoids
3 h1 G* a* Q3 _% c! f9 ERectangular bands
Reflexive relations
' f( Z8 r- \, w* d. DRegular rings
Regular semigroups
$ s; M& Q& ]0 ]5 p8 aRelation algebras
Relative Stone algebras
Relativized relation algebras
7 v( c8 }7 P. t7 CRepresentable cylindric algebras
Representable lattice-ordered groups
Representable relation algebras
4 U" L' N2 S% I+ m+ E/ j! BRepresentable residuated lattices
- `, W- n, c6 }; @  Q2 v* iResiduated idempotent semirings
Residuated lattice-ordered semigroups
Residuated lattices
Residuated partially ordered monoids
; u. c; s# i$ `1 MResiduated partially ordered semigroups
Rings
: ~4 W1 ^! h! P2 z5 u: t! T, BRings with identity
Schroeder categories
Semiassociative relation algebras
Semidistributive lattices
Semigroups, Finite semigroups
Semigroups with identity
+ t' h" w  O- W7 P- k+ bSemigroups with zero, Finite semigroups with zero
Semilattices, Finite semilattices
Semilattices with identity, Finite semilattices with identity
Semilattices with zero
2 N! V0 P/ `2 X! F  p) g" N$ VSemirings
Semirings with identity
' c8 i  z( E/ ^Semirings with identity and zero
Semirings with zero
Sequential algebras
Sets
: C  i. Q0 H" ]; xShells
Skew-fields
) ?& ]2 n( P1 t1 H6 ?& V, b5 C/ v1 fSkew_lattices
Small categories
Sober T0-spaces
Solvable groups
Sqrt-quasi-MV-algebras
+ _! t# V" `# j" P+ E9 j1 fStably compact spaces
Steiner quasigroups
1 j  ~' A* c8 q# q  c6 c0 WStone algebras
. t3 D+ r  T7 E* j6 ~Symmetric relations
T0-spaces
T1-spaces
T2-spaces
. b/ z% V# z$ s$ l+ T- BTarski algebras
Tense algebras
8 v, x3 B7 T* U' o- U5 Z; ], ZTemporal algebras
Topological groups
7 z& [; Z+ Q" n3 OTopological spaces
Topological vector spaces
  r4 ]. E3 q/ a+ J2 \7 g) oTorsion groups
Totally ordered abelian groups
6 Q* R/ C( H0 w% r: e$ t+ fTotally ordered groups
Totally ordered monoids
Transitive relations
" K( t7 p1 `) ^7 \0 o2 qTrees
Tournaments
0 k, i3 w8 k$ o+ IUnary algebras
Unique factorization domains
Unital rings
Vector spaces
5 h" C/ P; B) oWajsberg algebras
! U6 d: L' v9 _( B% LWajsberg hoops
7 h8 d/ n! ^5 S5 G  X; IWeakly associative lattices
; F( D, V6 E+ w1 _Weakly associative relation algebras
Weakly representable relation algebras
( ~4 o2 Q) d% Q. s' a9 q4 g$ s3 e

lilianjie

阿贝尔群Abel群
阿贝尔格序群
! }" Y9 l$ }8 [阿贝尔下令组
阿贝尔p -群
1 k# }- p/ Z, T; D; U阿贝尔部分下令组
行动代数行动代数
' ~0 L2 S% M6 E0 [/ j0 d行动晶格
代数晶格
( b" `* ]6 h. @- ^( P, ^代数偏序代数偏序集
代数半格
: a/ x- \8 O; h% a+ Q* i寓言的寓言（范畴论）
几乎分配格
关联代数关联代数
Banach空间的Banach空间
乐队乐队（数学），有限频带
基本逻辑代数
% I/ B2 B1 K4 V) ~3 J) W% xBCI -代数的BCI代数
- P' g4 @% d: R9 V+ vBCK -代数BCK代数
BCK联接，半格
BCK晶格
6 x* F( Q  I) L: l9 @, wBCK -满足的半格
, {. p' n5 S+ ]双线性代数
BL -代数
+ F7 U' Z3 c0 M$ }" ^6 ?Binars，有限的binars，与身份，身份和零与零，
布尔代数布尔代数（结构）
% O6 D7 x, \! r7 g3 T与运营商布尔代数
布尔组
布尔晶格
. @/ u+ o( R- \7 X3 N5 x- }: q0 _4 w对关系代数的布尔模块
布尔半群
布尔环
布尔半群
+ T, C2 y# F" N  r! @4 H布尔半格
( C3 x* o2 M. L/ I) B& Y5 b; l布尔空间
3 A( s8 o/ O1 Y! H有界分配格
界晶格
" `1 l' g% r! n: n: g$ T5 Z0 d界剩余格
* ?  I, |' M  h" f) u, pBrouwerian代数
: k. V8 [, k; O, G) R# K2 N  D8 PBrouwerian半格
% ]' d" Z% T7 L; s3 qC *-代数
0 A# z+ d5 r% D  N: v8 U7 n消可交换半群
消可交换半群
可消半群
6 Z; |% u! c6 x4 u: `可消半群
7 g2 A' D* g5 x- H2 m* N$ `) C9 l消residuated格
4 j7 A- V# v1 B9 A' _分类
链
克利福德半群
% c' T- Y* \+ q+ e0 @Clifford代数
封闭代数
可交换BCK -代数
交换binars，有限的可交换binars，与身份，零，身份和零
可交换的组成下令半群，有限可交换积分下令半群
交换逆半群
交换点阵有序的半群
- J  R) Q" M, `  g交换格序环
; E3 X# w) b5 ^7 `, z. }. A; P交换格序半群
# b% m1 ~) K; m8 ]& S) p交换半群，有限可交换半群，零的有限可交换半群
交换下令半群
交换下令戒指
$ f& u5 Y1 p/ H有限交换交换序半群，序半群
可交换部分有序的半群
% o% G6 K* m+ a, E4 f+ _可交换部分序半群
( f. O5 u& G& z* s+ _" h, a交换正则环
1 w5 \# {% b9 b7 a) R. I  F4 V5 z交换剩余格序半群
交换residuated格
& e% A+ q, F+ L3 k9 f- O可交换residuated偏序半群
3 p7 S# u% y1 o) k* |; {可交换residuated偏序半群
, y% V  ]  z* W; r- c, m交换环
与身份的交换环
交换半群，有限可交换半群，零
6 \% t& k3 P$ |6 \紧凑型拓扑空间
紧凑的零维的Hausdorff空间
补充晶格
2 D+ J; P- U7 r6 t8 u+ Z( o3 Y4 ^有补分配格
补充模块化晶格
+ t0 Q, @( J+ h# F  J6 `! ^7 [完整的分配格
1 [9 o( k7 k8 q完备格
$ X: k+ ^; F7 B完整的半格
完成部分订单
& M: U3 o+ y+ f) o完全正则豪斯多夫空间
完全正则半群
连续格
连续偏序集
1 O* U8 i9 g9 z  R8 h; D3 v& J2 q柱形代数
8 _$ N' l3 t8 X# i: s德摩根代数
( n& S( P; I% h1 I9 P7 O德摩半群
! Q4 |2 x+ S/ L! E$ ?戴德金类别
8 i- P! ]1 V+ D9 [' M  p戴德金域
稠密线性订单
有向图代数
导演完成的部分订单
( p* ?8 x$ H$ O6 Y* G导演部分订单
( b, T5 E% k3 v/ Q: V3 j有向图
  L+ A) k$ W9 L1 C- a+ ZDirectoids
# {; o+ G6 d; D1 g; l分配寓言
分配的双p -代数
分配的双P -代数
分配格扩展
6 e' J% f7 L9 }3 @2 B分配格
与运营商分配格
分配格序半群
分配p -代数
' m! ]! A; ]6 j1 ~+ V$ `分配residuated格
司代数
8 _3 x6 Y3 T* U7 {8 U' V8 O科环
) G# W* |- t+ T! B8 o& p8 _双Stone代数
4 a9 \6 q' ]/ d9 ]% w$ P0 d2 q& M邓恩半群
动态代数
熵groupoids
5 v# D  x9 w! w6 {8 n- ]% P# E等价代数
等价关系
7 W( |) h* x7 I1 E. c' x欧几里德域
F -环
$ m& ?: S# |* H% i" U: C) b字段
6 y8 s' k; k/ y7 lFL -代数
, Y: E7 \) Q  I  l6 d5 JFLC -代数
. N$ W+ s; g& ?9 r5 T; N9 wFLE -代数
; ~$ R: t& j  {% P7 E5 o* C( R飞到-代数
5 f- {* @: e& z9 I4 B4 h, E2 eFLW -代数
框架
功能戒指
G - 组
广义BL -代数
广义布尔代数
; n/ E( U" f. Z) s! A广义的MV -代数
: T! V" a& w  m: O7 tGoedel代数
图
6 ?3 x" {' z, g5 O; gGroupoids
: }8 |' g- g8 t; M# W! \组
& W, q  B# g/ N: Q/ W& Y9 e! H豪斯多夫空间
Heyting代数
- Y7 r: N0 i& w希尔伯特代数
  ]6 f4 b; \4 A% Z# dHilbert空间
篮球
0 P7 w1 w, i) g2 W3 i% b幂等半环
幂等半环与身份
7 ^2 ]+ u4 \* E" w2 A幂等半环的身份和零
0 V' O" ]* C. t# y0 }0 N( A5 m幂等半环与零
6 A1 V1 e8 i( g2 }1 @9 n8 v蕴涵代数
4 z" P3 o0 G0 \: |- n$ \4 U' P含蓄的格子
积分域
4 r$ ~; O- s: P0 c积分下令半群，有限积分下令半群
积分关系代数
集成剩余格
) I' r. T: [* m8 c2 A+ i" g直觉线性逻辑代数
3 K/ \  I. T0 ]. b' K! l# h& |逆半群
合的格子
& V% U& u5 i) L, }/ b9 d合的residuated格
. ]# h, D9 U9 U1 ?; n, j加盟semidistributive格
2 I, t# d: k) {加盟半格
/ v( ~. s% b0 A2 U& @. e8 ]  G- y' n约旦代数
( h; |: J- ^( g" q. L克莱尼代数
( G- s$ J- B3 K* l克莱尼晶格
  Q1 d$ V8 d% {* i" NLambek代数
格序群
格子下令半群
格序环
4 L" l7 Z( n" i) j, z格序半群
栅
左可消半群
2 q9 A( v4 V& E6 B李代数
8 z( W7 v( b, p2 O; h; V$ D线性Heyting代数
线性逻辑代数
线性订单
语言环境
  m4 C9 {' n5 L0 T% J0 z0 v0 [局部紧拓扑空间
循环
n阶Lukasiewicz代数
M -组
# ?) `  S( W: Z0 `8 d内侧groupoids
内侧quasigroups
会见semidistributive格
0 S3 B* O$ l* g/ m会见半格
度量空间
+ Y, |; i+ ^+ v4 f; y模态代数
模块化晶格
; X) r9 o) B( J/ g模块化ortholattices
环比一个模块
: S5 ]  M; }' q  S: ^' M' F单子代数
Monoidal t -模的逻辑代数
幺半群，有限半群，零
$ e; J% o  f6 x3 X) n! ~" b# {Moufang循环
Moufang quasigroups
乘添加剂的线性逻辑代数
乘晶格
乘法半格
多重集
MV -代数
3 a2 s# v2 |* ]3 Z, v6 y  NNeardistributive晶格
近环
近环与身份
0 B1 t5 [9 O% @0 S3 h近田
幂零群
非结合的关系代数
' s; X" w6 ^6 k非结合代数
普通频段
正常价值格序群
$ k- w/ X  f0 ]) J赋范向量空间
奥康代数
订购代数
! ^# v$ Y$ u6 f$ |有序阿贝尔群
有序领域
2 ?( m; ]( G! v$ I4 T3 O序群
有序半群
与零有序的半群
! ?9 O0 o0 d/ X/ P有序环
序半群，有限序半群，有限下令零半群
4 L. t- i5 v3 P有序半格，有限下令半格
; G/ f. S0 [/ c* Y( Z5 {) a8 N% e有序集
* {+ b; H  C# {矿石域
Ortholattices
正交模格
; P/ A4 L7 M$ r, g7 I& e0 kp -群
部分groupoids
! u6 u4 m. z6 y' s; s+ @8 {; C部分半群
部分有序的群体
3 ?0 b- m, U. u部分下令半群
; \+ x0 c4 ^- u; |部分序半群
部分有序集
皮尔斯代数
Pocrims
指出residuated格
Polrims
Polyadic代数
偏序集
2 u0 ]/ s: T5 R4 |0 I% v2 v. b邮政代数
0 _2 y" x: N9 e) B' ?' A* TPreordered套
普里斯特利空间
% D2 C, p6 G- S& F. J- X, z主理想域
% i8 R) H( W- P* t# Y& ~进程代数
伪基本逻辑代数
伪MTL -代数
# n: F4 Z+ R7 A3 P4 ~伪MV -代数
( Y" k+ z) O# Q8 t6 |# S- F$ ~Pseudocomplemented分配格
. U, Y3 f8 {; U! k9 K1 i纯鉴别代数
Quantales
+ t" m# M! i8 [& Q/ QQuasigroups
准蕴涵代数
准MV -代数
准有序集
1 S4 J/ D3 s5 b' _, kQuasitrivial groupoids
矩形条带
自反关系
正则环
% y/ E) y) N2 @& s$ t$ k; ?正则半群
关系代数
8 I( F- F0 b. }8 f9 P( ?( E- A+ m相对Stone代数
$ s; P- r# s8 R0 Y8 W. o相对化的关系代数
表示的圆柱代数
表示的格序群体
: Y+ j! b$ l# Y! V) ^表示的关系代数
! l' h+ T" Z+ |9 @# W表示的residuated格
; @+ V; z% b- g' pResiduated幂等半环
剩余格序半群
剩余格
: e9 G$ P! E" x+ r5 a" l* bResiduated部分有序的半群
Residuated部分序半群
戒指
戒指与身份
4 z" W2 O" ?8 I! q- w' ]9 L) y( ]施罗德类别
Semiassociative关系代数
- z) F6 d6 B3 h1 Z/ c# P; `# TSemidistributive晶格
! G5 {: p  Q+ {" w  I4 }半群，有限半群
6 t9 f, v% k! C* V3 n# E3 {半群与身份
' x; C; N3 [- m6 \$ \; ]半群与零，有限半群与零
* b2 i8 P2 e5 J$ C  q' r7 n4 m/ S半格，有限半格
与身份，与身份的有限半格半格
) |  r& \0 N% C半格与零
/ ?$ N  \! j( x# G6 u. h/ `半环
4 c+ y" t8 m( E: b  J2 v半环与身份
1 u5 N1 J2 Z6 ?6 }半环与身份和零
6 }" F* |6 `5 D# k) Q! I半环与零
连续代数
6 D- b0 E/ y# s& X0 b; k: s集
壳
. ~* o# N5 ~- a1 J3 s! `歪斜领域
Skew_lattices
' M# }1 I; O. o) h1 B小类
清醒T0 -空间
可解群
( \7 V% O& m' i, ]; l' A$ pSQRT准MV -代数
/ M& a6 H6 L& Y* [; ~/ ]7 N. e: q稳定紧凑的空间
* k9 o" x- H, K, f, v& a" @施泰纳quasigroups
. g+ z* i( ^, e/ u! ]Stone代数
* W2 [8 y! F7 A% A对称关系
T0 -空间
T1 -空间
9 L1 o/ `5 ?; `T2 -空间
塔斯基代数
紧张代数
时空代数
拓扑群
拓扑空间
) X) ~6 Q& I/ J  J: y( p拓扑向量空间
扭转组
全序的阿贝尔群
全序的群体
+ M  E- e# g! H9 r3 S完全下令半群
0 I$ D' {  R2 ^0 gTransitive的关系
. q3 _; z* \! m5 ^+ D5 S" H+ d) u树
. |0 {: u$ l: S( r, z8 w0 f锦标赛
一元代数
) L7 W) `! l& W- V唯一分解域
Unital环
6 h; N& Q2 ]" _  o向量空间
Wajsberg代数
Wajsberg箍
! `4 @" P9 o1 V弱关联格
! l1 I. n) m6 ]+ W; N7 ~$ f弱关联关系代数
弱表示关系代数

孤寂冷逍遥

qazwer168

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

ZONDA

谢谢楼主啦