311数学结构种Mathematical Structures

lilianjie

4 n; W' j' H! {6 h8 p; k' X
Abelian groups     Abelian group
" z3 x( p: N5 L: s; ~, TAbelian lattice-ordered groups
Abelian ordered groups
Abelian p-groups
5 K4 A( j( H, }  ?Abelian partially ordered groups
7 Q; j5 ?9 m5 t) i& y* d$ f  OAction algebras     Action algebra
Action lattices
Algebraic lattices
- d; t( M3 ~1 k, i. Q: f/ E( J8 LAlgebraic posets     Algebraic poset
! d5 j; ^0 s! a2 J- P: D8 v1 @, MAlgebraic semilattices
Allegories     Allegory (category theory)
Almost distributive lattices
2 F8 X. G  M; p+ b/ o& D3 PAssociative algebras     Associative algebra
Banach spaces     Banach space
Bands     Band (mathematics), Finite bands
Basic logic algebras
$ W" o# I& J" @3 U* x; {: J" M* `BCI-algebras     BCI algebra
BCK-algebras     BCK algebra
3 U9 ]" i. ]6 e7 m4 O. N! i# J6 |BCK-join-semilattices
BCK-lattices
BCK-meet-semilattices
- @) w3 H5 f9 GBilinear algebras
( c% B5 D! }" o0 I0 W/ m8 KBL-algebras
$ A/ G% i) K' D* Y; v: X+ l( SBinars, Finite binars, with identity, with zero, with identity and zero,
Boolean algebras     Boolean algebra (structure)
1 w; H: h  U; s5 t/ N' j, z; _# K6 NBoolean algebras with operators
) t! }5 ]" L6 v6 fBoolean groups
  X$ B! k6 G: g" n/ I" Y5 i  HBoolean lattices
4 P! W& m% d6 D1 |* u2 F  @6 I, K! y2 \Boolean modules over a relation algebra
% ~7 q1 v0 j- _2 {7 B2 `& YBoolean monoids
Boolean rings
Boolean semigroups
1 ?- T- t' q9 d* z( f! x8 UBoolean semilattices
Boolean spaces
Bounded distributive lattices
+ y  F: z2 y8 d- z/ T; ?5 QBounded lattices
! M1 h; v' k$ O, TBounded residuated lattices
; r/ f: s0 K# k$ h/ ^  {7 Y' hBrouwerian algebras
- j& c$ L; b, m* f- K. ABrouwerian semilattices
C*-algebras
Cancellative commutative monoids
Cancellative commutative semigroups
; a5 |. f+ b+ L1 T) ^# sCancellative monoids
Cancellative semigroups
Cancellative residuated lattices
# ~% m+ M4 y% K1 N6 bCategories
. ?0 o3 q6 v* ], R  S+ AChains
Clifford semigroups
Clifford algebras
% W# A% G: {3 u9 j7 d( HClosure algebras
Commutative BCK-algebras
Commutative binars, Finite commutative binars, with identity, with zero, with identity and zero
; i. [" V3 b# h, s( v  Xcommutative integral ordered monoids, finite commutative integral ordered monoids
4 ~  M" [  z) ?$ `! aCommutative inverse semigroups
. F$ ]* M& a+ |. R0 JCommutative lattice-ordered monoids
9 K# b2 D# F' |Commutative lattice-ordered rings
- |8 s9 d" A- S1 w* h% ACommutative lattice-ordered semigroups
; i- j# q5 v3 i+ r9 P4 oCommutative monoids, Finite commutative monoids, Finite commutative monoids with zero
Commutative ordered monoids
- _4 {6 Z+ D0 l) n3 M1 KCommutative ordered rings
Commutative ordered semigroups, Finite commutative ordered semigroups
Commutative partially ordered monoids
+ O5 L: a# g! H: c+ u0 d2 |Commutative partially ordered semigroups
0 f5 h2 o5 w$ SCommutative regular rings
$ Q- v( T. _1 M7 [1 UCommutative residuated lattice-ordered semigroups
6 l% M! x; t" C2 E$ }Commutative residuated lattices
1 w/ m5 t  J, B7 ]" tCommutative residuated partially ordered monoids
Commutative residuated partially ordered semigroups
: m$ S3 ]2 a5 w3 PCommutative rings
Commutative rings with identity
) e# b& ?( h; f1 KCommutative semigroups, Finite commutative semigroups, with zero
( y3 ?# s2 b2 H$ l8 \Compact topological spaces
Compact zero-dimensional Hausdorff spaces
Complemented lattices
- F% v/ C0 Q3 [3 D: c  V8 XComplemented distributive lattices
& ]6 b$ @( x3 E/ Z2 ^Complemented modular lattices
Complete distributive lattices
7 A( Y* R* {9 w8 }- \& q/ Y% Z) j* |  _Complete lattices
Complete semilattices
Complete partial orders
) k- o4 s3 v. e% FCompletely regular Hausdorff spaces
Completely regular semigroups
9 p4 h2 j7 T$ R9 d4 |, ^2 SContinuous lattices
6 v9 N! O- y- O1 iContinuous posets
Cylindric algebras
' _' [- o7 r7 fDe Morgan algebras
# \" O8 F( g/ BDe Morgan monoids
Dedekind categories
: T/ k. L. G% K4 L1 yDedekind domains
" n% {# Q' T$ C3 IDense linear orders
) C$ y- N# L+ ZDigraph algebras
5 Q$ \; ^4 x4 TDirected complete partial orders
$ K  W6 l) m& u: m- [! m! CDirected partial orders
Directed graphs
3 f$ h$ A- n4 F) X: R) {Directoids
& x, ~+ o3 e/ ~% lDistributive allegories
Distributive double p-algebras
( K4 f- H1 o0 f% jDistributive dual p-algebras
Distributive lattice expansions
9 g0 L1 l: m! j5 U8 K/ x6 i4 [Distributive lattices
Distributive lattices with operators
$ s- `1 ]: z% e; YDistributive lattice ordered semigroups
Distributive p-algebras
Distributive residuated lattices
Division algebras
  ^/ I$ i$ W$ X  ODivision rings
( }/ h2 L' \( V# R. G3 U) mDouble Stone algebras
2 C+ [3 v$ F; [0 }( A, R. uDunn monoids
1 Z: @2 K/ V, QDynamic algebras
' f$ F  c' u* V7 Q4 x' i( {Entropic groupoids
, T8 i3 u! X9 ^Equivalence algebras
Equivalence relations
Euclidean domains
f-rings
Fields
! `) B/ \2 E* s: q  u9 D3 }FL-algebras
FLc-algebras
FLe-algebras
! j2 t$ m* E, v# `7 @2 t4 f- v5 Y) UFLew-algebras
% O0 E# G9 C; y& f0 ^- RFLw-algebras
Frames
- O4 H1 M* n$ [# ?6 ^8 FFunction rings
6 n4 a) [6 O. y& ^4 CG-sets
, U! |2 u: [/ X7 K+ KGeneralized BL-algebras
Generalized Boolean algebras
; B  f* M' D# XGeneralized MV-algebras
9 s4 G- M1 R3 T) @Goedel algebras
) p# R" `+ O5 H. B4 \Graphs
Groupoids
Groups
. V; P0 I: ?" y3 k2 gHausdorff spaces
Heyting algebras
Hilbert algebras
' R# \3 t" x4 M, {& J' [% PHilbert spaces
9 C  ?2 c+ r8 z0 l3 Q+ EHoops
Idempotent semirings
/ A# M( q1 l" p. n4 B6 }& _' gIdempotent semirings with identity
9 w! M1 e5 B- w8 n0 ]Idempotent semirings with identity and zero
Idempotent semirings with zero
Implication algebras
Implicative lattices
Integral domains
2 z& I# y. A* vIntegral ordered monoids, finite integral ordered monoids
1 P7 l8 i' T: |% L" b2 fIntegral relation algebras
Integral residuated lattices
$ I1 b1 j% j% F6 X6 k5 c% QIntuitionistic linear logic algebras
Inverse semigroups
! \! o+ J  d: j; A+ Z. t5 H5 [Involutive lattices
. ]6 Q$ [% \1 x; h+ i0 n- c5 gInvolutive residuated lattices
Join-semidistributive lattices
5 s( n/ _) r+ h5 K7 X6 c( vJoin-semilattices
Jordan algebras
* h- d) F5 T/ C" T" @Kleene algebras
; L' B* R0 o- _1 p. ~* MKleene lattices
# I4 }' y# g/ _1 {: LLambek algebras
7 d2 m3 w5 K; e8 p/ zLattice-ordered groups
Lattice-ordered monoids
+ x$ Y) t' E/ x* rLattice-ordered rings
Lattice-ordered semigroups
Lattices
( L( p0 ?+ U8 ^- q" ^8 jLeft cancellative semigroups
+ x" P, _3 Z; v% |Lie algebras
4 `4 z: n4 g9 h6 LLinear Heyting algebras
% }2 H% a6 Q$ E+ L7 A0 GLinear logic algebras
Linear orders
Locales
Locally compact topological spaces
5 u2 l2 d0 `+ i# nLoops
& \* K( }0 ^) S9 c* l& v- @5 i/ sLukasiewicz algebras of order n
9 B! d4 B6 H. ^$ i3 kM-sets
7 e) o/ V0 V( H( J4 J4 ZMedial groupoids
Medial quasigroups
Meet-semidistributive lattices
Meet-semilattices
3 u7 u. r2 J9 R6 ^9 E: ]Metric spaces
( Q+ f! p& I$ uModal algebras
( s4 x$ p* E8 v* R, A8 fModular lattices
4 I# W. I# z% U. x: a' I% KModular ortholattices
Modules over a ring
: V. l: |  W' W+ X  `4 O( _Monadic algebras
Monoidal t-norm logic algebras
Monoids, Finite monoids, with zero
Moufang loops
9 |9 s; p4 H+ I- b+ a% TMoufang quasigroups
Multiplicative additive linear logic algebras
Multiplicative lattices
Multiplicative semilattices
* f0 R  [! y1 W3 L# H# b2 j+ M  {Multisets
MV-algebras
( ?+ z5 H! F  A2 Z5 @Neardistributive lattices
. b6 k5 v) {, m3 @, yNear-rings
$ t6 }# q0 t& {' jNear-rings with identity
Near-fields
  y& _2 Y7 M5 r& uNilpotent groups
* B  e7 F+ d  @3 [1 e+ hNonassociative relation algebras
Nonassociative algebras
Normal bands
Normal valued lattice-ordered groups
Normed vector spaces
5 ~6 V3 ?: n" T- a9 ~8 g6 ^Ockham algebras
Order algebras
Ordered abelian groups
Ordered fields
) K! r7 u  F4 |$ O4 yOrdered groups
Ordered monoids
4 R* M2 B" ~- zOrdered monoids with zero
1 |4 K7 l" V2 ?" v% nOrdered rings
Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
Ordered semilattices, Finite ordered semilattices
. p. G8 V2 \4 l& |; [% k7 gOrdered sets
9 F$ I+ [9 A" Z8 N2 ROre domains
Ortholattices
8 Q, z: J; f4 Q' l8 }7 @Orthomodular lattices
! V" Z$ L+ k: J5 Y9 ^5 Cp-groups
Partial groupoids
Partial semigroups
% T+ l# y6 I1 ?' i" z- E( HPartially ordered groups
Partially ordered monoids
0 j, W( C4 Y- pPartially ordered semigroups
Partially ordered sets
Peirce algebras
- w2 f3 ^/ d4 h: U4 |Pocrims
Pointed residuated lattices
Polrims
7 U; {$ J" |7 z% ]: MPolyadic algebras
  ?3 [/ K( h+ z& z+ PPosets
0 D: ^/ x, e5 y) wPost algebras
Preordered sets
! X" K) ^, g6 K6 kPriestley spaces
Principal Ideal Domains
Process algebras
Pseudo basic logic algebras
+ a8 W& f+ R# T' g* hPseudo MTL-algebras
Pseudo MV-algebras
Pseudocomplemented distributive lattices
Pure discriminator algebras
' D% {6 t% h8 _0 C8 zQuantales
Quasigroups
$ }: L8 x, T) i7 a8 eQuasi-implication algebras
Quasi-MV-algebra
Quasi-ordered sets
+ z6 n2 A3 Y; ^/ m% VQuasitrivial groupoids
Rectangular bands
3 ]% G+ E1 V1 R' ^3 v3 n& ~2 z. EReflexive relations
0 H, @* u" g4 @& zRegular rings
Regular semigroups
Relation algebras
Relative Stone algebras
Relativized relation algebras
Representable cylindric algebras
3 y! R* f0 E/ R. g+ c8 g& U) LRepresentable lattice-ordered groups
  S2 Y8 P3 y* B: D' i: yRepresentable relation algebras
. a6 ^2 R1 y4 m' `# M* D  TRepresentable residuated lattices
Residuated idempotent semirings
Residuated lattice-ordered semigroups
Residuated lattices
Residuated partially ordered monoids
Residuated partially ordered semigroups
Rings
Rings with identity
Schroeder categories
! c1 m9 R; M, \0 ^- RSemiassociative relation algebras
Semidistributive lattices
3 [& H' \% J; @/ Y6 U; u4 d# q( USemigroups, Finite semigroups
Semigroups with identity
Semigroups with zero, Finite semigroups with zero
Semilattices, Finite semilattices
( u2 F6 H" P4 f/ rSemilattices with identity, Finite semilattices with identity
& N% T3 W% [9 FSemilattices with zero
Semirings
Semirings with identity
Semirings with identity and zero
5 Z. B& T3 T' [0 p3 o; f# fSemirings with zero
1 o- _4 u: s2 ?Sequential algebras
! o9 R9 M! Q) P: I) L, \" WSets
0 f/ v+ A2 }, l7 M. uShells
% {9 g+ f1 j8 x2 A* z& r+ [  Y0 NSkew-fields
Skew_lattices
( L  l8 d7 F, B0 fSmall categories
Sober T0-spaces
+ K/ ?- [! T. \5 W7 @  RSolvable groups
3 x2 l* L1 Y* n9 m- P# B. WSqrt-quasi-MV-algebras
Stably compact spaces
% v" T7 n! i# @  h: v, V" I! }Steiner quasigroups
Stone algebras
Symmetric relations
T0-spaces
T1-spaces
T2-spaces
: P& l- l# h: PTarski algebras
$ T6 F5 g9 T6 c4 p5 D4 gTense algebras
Temporal algebras
+ r. e$ Y3 a. e2 j* D9 a+ B& kTopological groups
+ J2 n; Y+ [0 wTopological spaces
8 {6 i1 B& C6 B( F: V! W; n! lTopological vector spaces
. x& |6 ~( e  G% D7 nTorsion groups
Totally ordered abelian groups
Totally ordered groups
Totally ordered monoids
+ }* x, a3 n" o+ o, V1 P" h& ^Transitive relations
) V1 }& [  o: H; d$ WTrees
6 [$ `1 n* W& K# ]. G3 @8 kTournaments
Unary algebras
! D3 w/ I! N$ q# ]# I0 I, K# X7 ^4 iUnique factorization domains
Unital rings
" Q8 V$ o! i% _% c  YVector spaces
/ t3 U! Z1 g6 q% k) MWajsberg algebras
. \  E  G' D% {) c% V  {$ pWajsberg hoops
( G$ }2 t+ z" ^0 V. oWeakly associative lattices
) [- I+ s* x+ K8 R5 p+ l0 gWeakly associative relation algebras
Weakly representable relation algebras

ZONDA

谢谢楼主啦

qazwer168

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

孤寂冷逍遥

lilianjie

阿贝尔群Abel群
$ c1 C# h  B4 B& b1 u5 ]阿贝尔格序群
# }( w, p9 S+ W* x9 G2 A. z阿贝尔下令组
阿贝尔p -群
阿贝尔部分下令组
3 s2 t3 X  r' |, m& T( f行动代数行动代数
行动晶格
0 m# W5 y  ~2 ^3 ~" t- W2 B# Y2 X代数晶格
1 v% p  \2 V9 K( J* H代数偏序代数偏序集
代数半格
' [. Q1 ^8 z% o( g; {' ~$ T- w寓言的寓言（范畴论）
0 p$ ^/ F* y' a+ m! B5 i. T3 p几乎分配格
) R% a! x- P- K* l5 J9 J' R关联代数关联代数
* v0 e; G7 Y! v( j. }( H- K$ _, b& BBanach空间的Banach空间
7 C; ?, e! b: k% m乐队乐队（数学），有限频带
  Y8 m$ ~. ?* l0 F- ]: L% s$ @$ g基本逻辑代数
BCI -代数的BCI代数
) V" i! f" Q5 v3 W7 D3 `" e8 a' YBCK -代数BCK代数
) g: U! j2 W9 @, R7 v# W/ \# IBCK联接，半格
BCK晶格
$ x$ {/ x, _/ L; dBCK -满足的半格
双线性代数
BL -代数
+ T# }* Y3 b$ l3 MBinars，有限的binars，与身份，身份和零与零，
布尔代数布尔代数（结构）
1 K% _, h4 S/ I( o与运营商布尔代数
/ o( M( _* o5 a+ ]$ w! I8 _布尔组
/ f% V9 O* h' G) s7 |9 |: s0 O5 q布尔晶格
2 K2 H# h5 @* q/ r对关系代数的布尔模块
布尔半群
布尔环
0 G) ]/ w" d; q7 k布尔半群
5 y. `7 _  N0 r9 g7 \5 S' v布尔半格
布尔空间
; j6 q  }7 g. B1 P" ^; T( Q0 G0 ~有界分配格
界晶格
界剩余格
/ M% m& @) z! NBrouwerian代数
Brouwerian半格
C *-代数
5 X  P$ o2 h; K8 x& l# P. M/ o+ n消可交换半群
消可交换半群
可消半群
' n  K3 F: N1 Y, X2 f可消半群
消residuated格
分类
$ E  K) o4 C; \1 y+ r1 G+ \: [链
/ h8 l2 e4 i# A克利福德半群
8 x* _" Y: M4 |- n" OClifford代数
封闭代数
可交换BCK -代数
/ S4 b: l, M5 @3 c4 T交换binars，有限的可交换binars，与身份，零，身份和零
可交换的组成下令半群，有限可交换积分下令半群
* a  `$ U( A$ D3 I, B0 s4 B! u/ }交换逆半群
交换点阵有序的半群
交换格序环
. t9 H5 k  }: G交换格序半群
( ?3 p5 N& Z5 v7 a9 Z交换半群，有限可交换半群，零的有限可交换半群
交换下令半群
2 g4 N) Z: B( V0 M3 C4 x3 Q+ b交换下令戒指
1 x" Q! Z" t6 h/ x  c! W8 T有限交换交换序半群，序半群
可交换部分有序的半群
可交换部分序半群
交换正则环
0 k5 e+ r2 a! G; A% F" h: t" W交换剩余格序半群
交换residuated格
$ v. K% i) f4 p( k: d, R可交换residuated偏序半群
, A* ^" |; \, z5 p可交换residuated偏序半群
交换环
与身份的交换环
交换半群，有限可交换半群，零
紧凑型拓扑空间
紧凑的零维的Hausdorff空间
补充晶格
有补分配格
; [) g/ Z$ H$ `+ S: Q1 z补充模块化晶格
完整的分配格
完备格
完整的半格
; f: t) U& m" f- [完成部分订单
. h4 b" i2 }1 ]完全正则豪斯多夫空间
9 T7 ^8 [! O% W& C完全正则半群
; f* l& T0 C4 B% X7 ^* B+ g# m连续格
连续偏序集
柱形代数
  F2 f. ^' }" h4 [4 h9 r- |" I德摩根代数
2 V: l& x: I3 h4 }9 H. s) y! F德摩半群
戴德金类别
戴德金域
稠密线性订单
有向图代数
# s! L2 c" L! M$ \7 k2 \导演完成的部分订单
导演部分订单
1 I% c& F/ F+ {6 [8 C4 O7 S6 S有向图
Directoids
分配寓言
$ x+ r) K- b$ x' o  ~分配的双p -代数
( v, S' D- r# d分配的双P -代数
分配格扩展
, [) h6 N. [$ H! E分配格
与运营商分配格
: U6 q, N, A/ V, d% x. M1 e/ j分配格序半群
; |6 f. U3 }9 \5 f& ^6 r) U; p分配p -代数
分配residuated格
司代数
科环
9 J0 G; D0 ]1 g1 r# h3 Q$ Z双Stone代数
5 F7 H; X, M& g& @( b; r+ }- P邓恩半群
* ^* S# K( o) [6 W动态代数
: c6 s* b7 Y; ]9 a2 |熵groupoids
等价代数
" g- o2 W/ v& g. D9 l$ g" m等价关系
( {( H/ y+ ~  i1 F4 q欧几里德域
4 d1 R2 f# P$ j- d  ?. r3 l1 XF -环
字段
) p2 B" Q8 q1 V5 R1 S+ I3 `FL -代数
FLC -代数
& v/ H7 Q$ K$ E+ Z& C; a& L1 RFLE -代数
飞到-代数
. l3 p/ I& i1 @2 FFLW -代数
框架
0 L7 [# \( q! j5 w9 _功能戒指
G - 组
广义BL -代数
  N1 t* C+ m) C4 E* g广义布尔代数
! X2 ~# ^: e0 E& D广义的MV -代数
: B  F" |9 m5 R$ O! i1 H& p& ]: c0 |Goedel代数
图
Groupoids
组
+ N$ t; H- J+ u  c- b2 U# y4 o豪斯多夫空间
1 z4 X/ {5 @& H: g! G; w' KHeyting代数
希尔伯特代数
Hilbert空间
, R+ G+ w* H* \! X' o: x1 N' B篮球
- f* @3 o7 {( @% F5 p( \幂等半环
0 B; A9 k7 D5 d0 P1 B8 J幂等半环与身份
幂等半环的身份和零
) c: ]+ V" k& I- |幂等半环与零
+ O: \2 t. \9 ^$ y8 ^1 a: C/ l2 X0 G蕴涵代数
含蓄的格子
积分域
- i* ]. T4 H$ @7 [) P9 A: e* u9 T积分下令半群，有限积分下令半群
积分关系代数
3 A$ ~8 ^" w' K5 r# C- g$ C1 {1 ], V集成剩余格
直觉线性逻辑代数
逆半群
合的格子
合的residuated格
' h5 K- l. J, ^- D0 \2 M0 [6 `9 G& Q加盟semidistributive格
+ |% @" W& X5 q7 W5 I3 [加盟半格
2 E( p* g. @' q3 u6 x6 J( }约旦代数
# n! _' `" \5 ?: G5 ~: q克莱尼代数
克莱尼晶格
Lambek代数
格序群
* p3 S. u5 x0 f格子下令半群
3 U  `' A# Y5 g1 N; _7 T+ X; A格序环
格序半群
栅
左可消半群
! u: B* G- L( [( `5 D李代数
- a1 M; o) c0 w# B* r线性Heyting代数
线性逻辑代数
线性订单
* L9 `6 F) C: `  @/ t+ P5 d语言环境
局部紧拓扑空间
循环
n阶Lukasiewicz代数
M -组
内侧groupoids
内侧quasigroups
会见semidistributive格
会见半格
度量空间
模态代数
模块化晶格
* n( @; j* X% `. I' J. ~- Y6 ?6 `模块化ortholattices
环比一个模块
单子代数
( o* e. \8 U( c% bMonoidal t -模的逻辑代数
幺半群，有限半群，零
$ k. V+ u. |  p8 W& R$ W3 b0 S% m6 _Moufang循环
. t' X: K% ?. X6 S9 W, FMoufang quasigroups
* T+ c, c8 D% Z' @) }  A乘添加剂的线性逻辑代数
乘晶格
乘法半格
多重集
MV -代数
# o) q3 A6 X  _+ F/ eNeardistributive晶格
, A; R2 d7 U1 C6 I: W$ u! l近环
近环与身份
- J, E/ @: n* D近田
幂零群
5 B& _4 T: f: E) ^2 U( S+ a非结合的关系代数
1 ]; a- D! L$ X/ [8 V/ ~6 }非结合代数
( d5 x& F; ^0 z" {8 V; @; \普通频段
- g! N. T8 m1 }2 b7 m% E正常价值格序群
5 P1 K- E1 ~4 v/ J% }+ z; B赋范向量空间
2 M# [: h: f2 E" O( u奥康代数
3 n7 ]1 e* b( ~订购代数
有序阿贝尔群
有序领域
& a3 p" u* W( E6 j7 ]+ M1 y- M序群
5 M# i: A, K' [+ t有序半群
与零有序的半群
2 B" a9 e4 S. s' K- F有序环
7 t# y, G* o, G# ?5 R) B序半群，有限序半群，有限下令零半群
有序半格，有限下令半格
有序集
矿石域
. Z7 Z0 A/ @: N& jOrtholattices
9 p% X- j! [5 H正交模格
# i4 s' O% E1 E* i+ v1 h; l# rp -群
2 l1 O0 Q+ Z& U) i, ~0 _部分groupoids
* w$ s6 I$ L5 Z6 T4 P! X部分半群
部分有序的群体
1 N, L5 q5 l" |' k+ e部分下令半群
+ i0 A% J# J# z: _部分序半群
部分有序集
皮尔斯代数
Pocrims
) c/ E. B' \. E- |0 E指出residuated格
Polrims
Polyadic代数
) d' N$ ^* n$ P' K6 |6 [! ?偏序集
邮政代数
Preordered套
普里斯特利空间
主理想域
# w/ G" B# ?  a5 J" H; `3 O4 m! N进程代数
* [. y6 p- ^1 u' G; T: P/ T: K伪基本逻辑代数
伪MTL -代数
4 Q% T, Y5 Z& q伪MV -代数
Pseudocomplemented分配格
- l( w: _4 ~. @/ e纯鉴别代数
Quantales
Quasigroups
准蕴涵代数
; _* e5 T% b- k准MV -代数
, c. r. m! F% |& Z准有序集
" P0 b2 [" R& R  e# ^4 B* dQuasitrivial groupoids
矩形条带
自反关系
3 ~. l" d. N, F: v. g# y7 Z正则环
正则半群
2 ~0 v- `/ @" f& T  b4 Y关系代数
相对Stone代数
相对化的关系代数
1 J& `+ g  r# `3 t! V表示的圆柱代数
* b9 t5 K2 G! J8 }6 `6 E& g表示的格序群体
3 W0 r- B2 Q4 r5 c; C: j表示的关系代数
表示的residuated格
, C- z& _1 r- X# RResiduated幂等半环
剩余格序半群
剩余格
Residuated部分有序的半群
Residuated部分序半群
戒指
戒指与身份
施罗德类别
Semiassociative关系代数
# Y* L- u6 ~: i; g: I' ?# b% zSemidistributive晶格
半群，有限半群
0 Q: V. I6 j" N9 D# ?6 x8 g9 ]8 [半群与身份
半群与零，有限半群与零
半格，有限半格
8 b! v5 C. c: B与身份，与身份的有限半格半格
半格与零
半环
- {6 Z9 G  f4 H8 v半环与身份
( X( p! S- l- N/ K0 Y  c5 X; P% O半环与身份和零
! y1 f+ t; w  v/ b" D半环与零
; ~* z) U4 X' ~$ V" R* p连续代数
集
$ Z2 i4 G8 c  f0 q壳
歪斜领域
Skew_lattices
小类
5 \, u5 Q0 P: R8 }/ {清醒T0 -空间
可解群
, [5 E4 s" z' G' J8 o, TSQRT准MV -代数
稳定紧凑的空间
: R; `3 c) V1 i* \, y9 h施泰纳quasigroups
5 f  `# ^9 ?2 j5 m/ I3 vStone代数
对称关系
" Y. Y4 e; [- e0 }8 b' ]( JT0 -空间
T1 -空间
1 z7 m2 e! o( N$ P% J, ~# ST2 -空间
塔斯基代数
紧张代数
' s$ q0 G/ q" \时空代数
2 H, Y' o+ M! O" f# b拓扑群
6 I! }- f. p, ]0 }1 }/ j拓扑空间
拓扑向量空间
扭转组
全序的阿贝尔群
, q+ B/ Y+ p8 h* M8 B全序的群体
7 E; D$ W2 ~6 R( u完全下令半群
- }# z! _$ c: n  UTransitive的关系
树
锦标赛
: R: F! v- F5 M! ]& {: C一元代数
唯一分解域
Unital环
1 G' g9 |& I9 L( q# t向量空间
Wajsberg代数
1 M) Q- e1 \- k- e. ?: j7 c* aWajsberg箍
  ~5 ?: p3 }, r) }: Q弱关联格
弱关联关系代数
弱表示关系代数