311数学结构种Mathematical Structures

lilianjie

9 Q- V% u4 c) k: A0 I1 b' e
Abelian groups     Abelian group
1 c0 a; e7 K2 Q# g! RAbelian lattice-ordered groups
Abelian ordered groups
; ]! l/ R, A6 [+ j8 q; u& K8 XAbelian p-groups
Abelian partially ordered groups
Action algebras     Action algebra
9 k4 e' L' J$ N% L1 n: I0 G; ]Action lattices
Algebraic lattices
Algebraic posets     Algebraic poset
Algebraic semilattices
4 n8 k% S. Q! |Allegories     Allegory (category theory)
4 U1 N2 ]/ y* L  DAlmost distributive lattices
% O- _/ N: n+ J  \9 h* @Associative algebras     Associative algebra
1 ]+ M5 J  T8 A% LBanach spaces     Banach space
2 F3 {" F$ S% n' [( X0 U& f5 H! ABands     Band (mathematics), Finite bands
4 c9 U- [" H' L; k& \Basic logic algebras
BCI-algebras     BCI algebra
1 \# m3 v8 Z6 K, n+ F, vBCK-algebras     BCK algebra
BCK-join-semilattices
BCK-lattices
BCK-meet-semilattices
Bilinear algebras
BL-algebras
8 p7 @  v4 Y& {  h" x, n0 b) ^9 RBinars, Finite binars, with identity, with zero, with identity and zero,
. t6 \3 P) _/ g5 B2 G/ `( v7 xBoolean algebras     Boolean algebra (structure)
4 i% C, G2 M, M/ N5 ABoolean algebras with operators
7 B* p; H; a$ ]* u) k) x( T. lBoolean groups
7 U# z: A9 M* ~Boolean lattices
Boolean modules over a relation algebra
( G7 S9 \1 I0 B! mBoolean monoids
Boolean rings
Boolean semigroups
Boolean semilattices
+ C; `& e& J% y) }' c4 tBoolean spaces
Bounded distributive lattices
6 e; \& ~; K* TBounded lattices
5 K8 e. V$ A' ^2 e! Y) p* YBounded residuated lattices
Brouwerian algebras
Brouwerian semilattices
  {1 ]* D2 L/ |9 `8 n# j7 EC*-algebras
1 v: u3 |6 s, f8 M& o' V7 C) ^Cancellative commutative monoids
Cancellative commutative semigroups
Cancellative monoids
Cancellative semigroups
Cancellative residuated lattices
3 I( `5 g) U) M$ SCategories
/ L; i/ F" Z  U5 u9 S/ FChains
3 U: G+ J. a) D: h% [& H3 v, aClifford semigroups
5 S0 u, y0 h! A5 r( z  E' fClifford algebras
Closure algebras
9 e; [& p& X3 KCommutative BCK-algebras
3 K% O" `& v- E8 L" _Commutative binars, Finite commutative binars, with identity, with zero, with identity and zero
8 k7 M8 \# j* d# t* l+ I# n( Ucommutative integral ordered monoids, finite commutative integral ordered monoids
Commutative inverse semigroups
Commutative lattice-ordered monoids
" A  D9 l; l; N' [- O' i9 J& VCommutative lattice-ordered rings
Commutative lattice-ordered semigroups
Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero
2 s8 N/ J2 \! ^5 c" w) y. mCommutative ordered monoids
& X& \2 R- ]- D3 ~# ?Commutative ordered rings
Commutative ordered semigroups, Finite commutative ordered semigroups
Commutative partially ordered monoids
' w/ Y  ?; j' ?3 n3 D# F. BCommutative partially ordered semigroups
Commutative regular rings
6 @4 b& l9 X2 Z0 L2 y! _Commutative residuated lattice-ordered semigroups
Commutative residuated lattices
Commutative residuated partially ordered monoids
0 m" ^8 P1 i3 g6 m7 |Commutative residuated partially ordered semigroups
Commutative rings
5 b0 `' `* V' |' t4 u& SCommutative rings with identity
# ~3 S: ~% i4 n! |/ B5 |) K- cCommutative semigroups, Finite commutative semigroups, with zero
0 A" w6 r# ^7 n' i* \8 d% uCompact topological spaces
7 B+ m+ a5 L% C$ Q" G6 r4 vCompact zero-dimensional Hausdorff spaces
Complemented lattices
Complemented distributive lattices
9 y! m" U' L- |3 c; mComplemented modular lattices
5 Q  z& h! |6 L; l2 EComplete distributive lattices
Complete lattices
Complete semilattices
Complete partial orders
- `) Z1 O, z3 ^5 L$ a9 @) fCompletely regular Hausdorff spaces
- h/ `5 D; {0 ^Completely regular semigroups
$ L, F/ u8 }3 u. K4 xContinuous lattices
; c  b" u4 D- ?  i8 R* cContinuous posets
Cylindric algebras
" }* D  f4 K5 Y3 p$ sDe Morgan algebras
5 E- q2 P0 C; @0 cDe Morgan monoids
Dedekind categories
Dedekind domains
Dense linear orders
( q' z: W; p( O: W! UDigraph algebras
* ?# e1 v; m* T6 h& BDirected complete partial orders
Directed partial orders
+ q9 _  ^  ?/ V3 GDirected graphs
Directoids
: T# i; p# w; W( H! |1 q  rDistributive allegories
Distributive double p-algebras
- s6 l" E% q+ _: ]( SDistributive dual p-algebras
Distributive lattice expansions
( ~( n; I) ]& s/ D) B9 H8 ~Distributive lattices
; i2 _1 K' G8 R% HDistributive lattices with operators
Distributive lattice ordered semigroups
' Z) j1 h3 i4 D/ Z: C# P1 F% dDistributive p-algebras
Distributive residuated lattices
/ d: F" A1 _+ [5 b4 t; EDivision algebras
3 X$ L# W# e9 D% Z& r2 L/ YDivision rings
Double Stone algebras
Dunn monoids
# n, @8 {0 D5 jDynamic algebras
Entropic groupoids
; s+ Z8 z" ~! V  R, q8 G* kEquivalence algebras
Equivalence relations
Euclidean domains
; y6 D+ {. I" b( Z* Y" v  e# |f-rings
! j3 U1 c; g$ P) @2 a+ A% t7 a. fFields
FL-algebras
# T1 |/ T% C: y$ X! {4 KFLc-algebras
  z. K2 R# a8 U6 X: D7 hFLe-algebras
- n0 S; q& {8 _. q- N) b4 u6 HFLew-algebras
+ M& K0 ]) c, [$ E' tFLw-algebras
Frames
) ]( @% A9 e* l1 K+ c  s) AFunction rings
# R8 d; b  ~# M$ e+ V9 BG-sets
8 n  c4 q+ ~- Z" G6 P; OGeneralized BL-algebras
  C/ b' p0 i  m) y5 s$ c7 gGeneralized Boolean algebras
1 i( ?% I% ?8 T7 q: IGeneralized MV-algebras
' s+ @: J/ P5 M0 CGoedel algebras
Graphs
+ U' w! v+ P; \' H  H& G6 z. H5 ^Groupoids
' k) K# D4 T5 u- d  x3 ?8 a: vGroups
Hausdorff spaces
$ ~8 O2 o5 R5 Q) F1 h: {7 ~Heyting algebras
Hilbert algebras
Hilbert spaces
Hoops
Idempotent semirings
Idempotent semirings with identity
6 ]. H  p; l( G5 q: A. a. RIdempotent semirings with identity and zero
( M8 _2 `8 _9 H0 r$ O5 t% w% Z+ `Idempotent semirings with zero
Implication algebras
" x( K1 Y2 X; G/ a1 IImplicative lattices
Integral domains
( K* d2 `# B( c: w; a" JIntegral ordered monoids, finite integral ordered monoids
4 |* N. X8 i7 k' i" x" Z3 GIntegral relation algebras
: j9 b" y$ C$ r' u2 cIntegral residuated lattices
Intuitionistic linear logic algebras
Inverse semigroups
Involutive lattices
Involutive residuated lattices
Join-semidistributive lattices
Join-semilattices
# T3 J9 \+ G. r0 d% Q" c" pJordan algebras
3 W  T% X4 ^0 f* R' I" A7 d. J/ rKleene algebras
: W3 p: n) `  y8 [2 k8 XKleene lattices
! P. x6 R! s; E% z* Y/ KLambek algebras
$ O! O, K0 ^# |, G7 dLattice-ordered groups
: ]  U$ V& N2 y4 xLattice-ordered monoids
Lattice-ordered rings
7 ~5 j* `) D* o; T3 e* @! WLattice-ordered semigroups
2 w* o+ R, |! F  u. @( D% cLattices
Left cancellative semigroups
9 x" v1 I6 ?& K; W3 {" VLie algebras
! R  v/ V6 u1 ~; JLinear Heyting algebras
Linear logic algebras
) R/ m: E7 A. }. s4 A6 M, DLinear orders
Locales
Locally compact topological spaces
- d9 Q8 d& U  k* i+ {Loops
Lukasiewicz algebras of order n
M-sets
& Z6 k& [) z/ p! m: S5 j. d7 LMedial groupoids
" r/ B# I; I' H7 G, |; kMedial quasigroups
0 ~& g  Y0 u7 X4 b) ^Meet-semidistributive lattices
1 a' j* s9 G) |" `. g+ K& K8 j0 ZMeet-semilattices
7 O+ P* z, R( X- T# O7 |Metric spaces
Modal algebras
  N* ]! m. _$ y0 P; |Modular lattices
Modular ortholattices
Modules over a ring
Monadic algebras
) T1 F3 O0 F9 A& RMonoidal t-norm logic algebras
! C6 n0 `- O2 q2 R4 d$ P& K! nMonoids, Finite monoids, with zero
- b" {* Y5 ^) X1 E" E$ l" |Moufang loops
Moufang quasigroups
Multiplicative additive linear logic algebras
Multiplicative lattices
" h9 K- ^: H2 _5 k! IMultiplicative semilattices
3 n3 Y( t/ s% X9 t) O. e! {6 mMultisets
MV-algebras
Neardistributive lattices
Near-rings
) n- y! q* P- S: A0 _  PNear-rings with identity
1 Z; ~3 B0 y6 `; }; zNear-fields
Nilpotent groups
Nonassociative relation algebras
- }' u- n7 O6 j4 hNonassociative algebras
Normal bands
; ~. J7 w" a' b/ SNormal valued lattice-ordered groups
$ Y1 ~7 ^. B- }9 f, |$ U+ ~Normed vector spaces
) o5 i  o: F. n  J: tOckham algebras
+ V7 L: L/ Q( {$ lOrder algebras
Ordered abelian groups
Ordered fields
Ordered groups
# Q% d0 N) ~* ROrdered monoids
/ e+ m' q3 {* ]& T5 {* ROrdered monoids with zero
Ordered rings
Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
Ordered semilattices, Finite ordered semilattices
Ordered sets
Ore domains
1 v5 G* B2 l2 ?6 n! uOrtholattices
Orthomodular lattices
p-groups
5 c' M! q" F* c+ xPartial groupoids
% D7 w0 t; p9 e- S" N3 R! I' dPartial semigroups
* ~1 ]1 T4 ]8 R% \# o. oPartially ordered groups
Partially ordered monoids
$ ^( s8 L) c8 K/ {! F7 a/ a4 |' V" d7 gPartially ordered semigroups
0 Z- s7 v& v0 [9 oPartially ordered sets
Peirce algebras
Pocrims
Pointed residuated lattices
Polrims
& o- X" C+ y9 nPolyadic algebras
. ]; t+ v5 Z! w4 XPosets
- Q4 Z" E& o+ S7 y( ?/ ]0 l& p1 b/ UPost algebras
Preordered sets
  s$ }3 {1 O3 m% H" O9 QPriestley spaces
6 m+ W/ {- _, I2 s! g  s% C% vPrincipal Ideal Domains
' j6 D  R* G8 x, G8 r0 v( QProcess algebras
8 S( S% j$ n- w% I7 c$ mPseudo basic logic algebras
" y* Y. y- Q+ j$ y( nPseudo MTL-algebras
! T4 L' W' N4 w" SPseudo MV-algebras
- `; B4 e- f5 V2 y0 U: @% C: TPseudocomplemented distributive lattices
Pure discriminator algebras
Quantales
1 b. p* m* y% }. a( G4 s- j9 L' H4 iQuasigroups
Quasi-implication algebras
1 z! j6 k: M1 l) E4 ^Quasi-MV-algebra
0 Z  F6 c! [0 L6 j  OQuasi-ordered sets
* p* G, s0 {# uQuasitrivial groupoids
, ]! m7 y9 j. b; dRectangular bands
  t" s, c1 f* `' r% ~Reflexive relations
Regular rings
$ h: F1 c5 E1 h( j) S% N( @Regular semigroups
& k( U1 w5 [" g  g2 F! [Relation algebras
Relative Stone algebras
, K' y) H) Z2 Z& N% f) {. nRelativized relation algebras
+ C; C% ?1 F, J8 l' O' B9 X! vRepresentable cylindric algebras
Representable lattice-ordered groups
Representable relation algebras
1 N0 d% l9 ]7 C7 @+ uRepresentable residuated lattices
* W& w7 p% ]3 a9 ~! Z2 B" h1 ~Residuated idempotent semirings
+ }# X. B) n) T/ W: mResiduated lattice-ordered semigroups
4 _0 q+ D3 i* _3 l# AResiduated lattices
; w% g  J. u- y4 s3 N( mResiduated partially ordered monoids
3 R% {3 N" b" `6 p) X! }Residuated partially ordered semigroups
Rings
/ H5 N1 o' N+ k! S7 IRings with identity
Schroeder categories
Semiassociative relation algebras
Semidistributive lattices
Semigroups, Finite semigroups
/ [2 p8 Q( |: e4 \9 O8 O( kSemigroups with identity
. o5 n" X5 p$ s& \5 O* T8 [' b/ u( |Semigroups with zero, Finite semigroups with zero
Semilattices, Finite semilattices
! x5 [2 R. Y' y2 `Semilattices with identity, Finite semilattices with identity
9 @! h( ]  q7 f4 B( W/ j/ Z# lSemilattices with zero
Semirings
$ f6 A2 _. e$ g' `3 K0 |Semirings with identity
Semirings with identity and zero
* w9 G! q6 ^$ H% dSemirings with zero
# F* I" P0 x2 j# v* [Sequential algebras
Sets
4 }/ r. l% ^+ g+ `7 E' b/ vShells
7 r+ o8 H3 I5 vSkew-fields
0 Y% ^2 ?% W1 USkew_lattices
Small categories
( U, E  _+ H( x3 y& Y/ {! C- F( G: fSober T0-spaces
2 u: Q) Z1 H/ m8 k2 v) nSolvable groups
2 b- v. Q2 h* N- R) E# SSqrt-quasi-MV-algebras
Stably compact spaces
* \* y. b8 j  v3 U. LSteiner quasigroups
Stone algebras
Symmetric relations
T0-spaces
T1-spaces
" i: @* ~4 g: M# U8 bT2-spaces
Tarski algebras
Tense algebras
4 Q5 p3 ~9 j& K' M7 QTemporal algebras
, Y$ V. n% R: {/ jTopological groups
% g; E' S) |7 d2 eTopological spaces
) Q( T, s" C6 k' BTopological vector spaces
5 P9 a0 u" s3 W" e; F# |Torsion groups
Totally ordered abelian groups
+ r( d! [4 p- C* m& R3 Q$ W# ^' H/ U9 oTotally ordered groups
Totally ordered monoids
Transitive relations
2 k: I7 x# A" L5 d) }2 ~9 T  DTrees
Tournaments
2 f6 `/ r& p. AUnary algebras
3 E: A: A4 s2 B% i1 TUnique factorization domains
Unital rings
& d7 |: J; x. p8 L1 KVector spaces
Wajsberg algebras
Wajsberg hoops
+ q' k2 D9 V/ G, xWeakly associative lattices
/ |7 m# N. U: [+ O3 L& H8 TWeakly associative relation algebras
! q3 L$ Y6 t4 |" X6 fWeakly representable relation algebras

lilianjie

阿贝尔群Abel群
阿贝尔格序群
阿贝尔下令组
: I& G9 x+ d& ~4 a4 C6 P- ~阿贝尔p -群
阿贝尔部分下令组
行动代数行动代数
行动晶格
3 m/ }( G4 z  r2 p/ n( v: W# @# U代数晶格
代数偏序代数偏序集
3 L8 s' j  W# @3 a代数半格
寓言的寓言（范畴论）
几乎分配格
$ \& H- a. l: E3 [/ q" B* J5 a: r: [1 U关联代数关联代数
- r0 g2 |2 x2 ]Banach空间的Banach空间
乐队乐队（数学），有限频带
* J6 ?7 S4 h9 {- f/ i基本逻辑代数
BCI -代数的BCI代数
BCK -代数BCK代数
$ i, x5 A* s( p/ c% i% w# qBCK联接，半格
BCK晶格
BCK -满足的半格
! \* W& v+ B6 T: H( R8 F( e1 a双线性代数
BL -代数
8 d( o+ T  y  @9 R- xBinars，有限的binars，与身份，身份和零与零，
9 w1 i5 V. o  d8 T布尔代数布尔代数（结构）
与运营商布尔代数
- d) }7 Y1 s% U8 [布尔组
布尔晶格
对关系代数的布尔模块
布尔半群
8 P. R3 E: X3 b& Z& ~; o( x布尔环
布尔半群
布尔半格
布尔空间
有界分配格
界晶格
. l4 }& X. G6 K) F% X  N界剩余格
/ i$ E; Z6 Q$ w8 k; H2 ^3 tBrouwerian代数
! w- C8 `$ I& Y6 V7 K: CBrouwerian半格
C *-代数
消可交换半群
消可交换半群
可消半群
可消半群
消residuated格
) Z5 |1 x9 m, H7 t) ^分类
链
克利福德半群
Clifford代数
  Y- _; O2 z5 S- c5 d& N, R封闭代数
; p4 J$ d  K- N' v4 U4 Z) N. Z可交换BCK -代数
9 T6 q/ b/ U, N交换binars，有限的可交换binars，与身份，零，身份和零
可交换的组成下令半群，有限可交换积分下令半群
交换逆半群
$ A9 P0 K& s4 s0 {交换点阵有序的半群
交换格序环
交换格序半群
交换半群，有限可交换半群，零的有限可交换半群
" t; f9 d8 s  V# r+ o8 C交换下令半群
$ {6 a; D7 k0 S交换下令戒指
0 Z. g, n& |; M- q有限交换交换序半群，序半群
可交换部分有序的半群
可交换部分序半群
交换正则环
6 C: l, }$ I" \: V& |& I交换剩余格序半群
6 S# y5 H; Q" W交换residuated格
可交换residuated偏序半群
1 h9 L9 t9 n7 Y, H+ f# r  k: ?可交换residuated偏序半群
交换环
与身份的交换环
& N2 Z' _+ O6 Q9 t, Z/ J$ b5 x. j: [交换半群，有限可交换半群，零
紧凑型拓扑空间
紧凑的零维的Hausdorff空间
; w0 O# _/ t4 W. m& y/ B1 z补充晶格
0 {- z1 U! y" `4 E有补分配格
补充模块化晶格
7 q! N, m5 @- z, V6 L) ]6 S: n完整的分配格
完备格
完整的半格
完成部分订单
完全正则豪斯多夫空间
完全正则半群
) }$ Q' G# D; o- m连续格
% c# F* D5 H1 _, a* i连续偏序集
柱形代数
德摩根代数
; `" y  p: q7 Z1 m, R' A# L德摩半群
戴德金类别
戴德金域
稠密线性订单
有向图代数
导演完成的部分订单
导演部分订单
+ t7 ?& h  O) r有向图
4 ]& B8 |4 R  HDirectoids
3 A' d9 ~+ L3 G+ p  Q& @5 D; k分配寓言
9 m( r$ J$ L# f" i: |, c" I, M9 g分配的双p -代数
分配的双P -代数
分配格扩展
分配格
2 S9 C2 H: `& }0 j" z* X5 r6 U与运营商分配格
分配格序半群
- }& O! w4 f: j* E* Z分配p -代数
分配residuated格
$ V+ p9 R/ _0 m司代数
科环
双Stone代数
邓恩半群
* H4 i+ M; Q% c) S7 ^) ~动态代数
7 c6 v3 }" W: w" Q7 s; R1 M( c熵groupoids
3 y9 ?* Z6 P4 A: K等价代数
等价关系
欧几里德域
F -环
字段
* |1 b. J& I8 cFL -代数
: L6 q( b! R  x. F/ m, ]3 }FLC -代数
8 {- R, W% f  A, VFLE -代数
% E5 G; t5 E) _' a3 e) w0 m2 {( [飞到-代数
FLW -代数
; o  y1 w3 {, A0 }" w$ g5 v框架
! ~5 z3 Q, Z( N, U; \& W功能戒指
3 y& g3 [$ O' J: ~( d) wG - 组
; V# U( ~. q9 N& I广义BL -代数
广义布尔代数
广义的MV -代数
+ A/ X+ C, G/ Z+ |8 F& Y" W3 PGoedel代数
! n& y2 i# ~# P! a  m' b  ?6 g  V图
$ k6 `- x. Q. u3 d# Y" Q$ dGroupoids
! O* x0 ~2 k" h5 x组
% w- |: y  F5 C& k# z0 k# Z0 r* H# u豪斯多夫空间
& i/ T( x+ i+ s: F) }" R0 PHeyting代数
希尔伯特代数
' U5 h  ?& ?+ h( y* LHilbert空间
* @3 q# ^/ |! k7 u) n5 J篮球
5 `+ A, k$ P& Q" @3 f& K9 D1 m幂等半环
幂等半环与身份
2 u7 ?% u2 z( I1 l& i" r6 W幂等半环的身份和零
幂等半环与零
/ t) ~' o+ u5 ^7 J( x. U& o蕴涵代数
含蓄的格子
( g( p5 ]) W* p/ Q. r3 j; b6 I" l积分域
积分下令半群，有限积分下令半群
) M9 \% b) w5 y/ R3 N: x" F. I# f/ c2 K积分关系代数
集成剩余格
7 }+ V8 T' o. x6 Z! l8 g直觉线性逻辑代数
- ]; R6 |% B. }2 z逆半群
; t" O( s' ]& _合的格子
  Z* U* ~' ?; C8 @- T合的residuated格
加盟semidistributive格
加盟半格
约旦代数
克莱尼代数
: p9 A" ~7 H( ^9 A克莱尼晶格
Lambek代数
格序群
格子下令半群
2 D; [5 e/ X( i2 X0 ]格序环
' e  l0 J1 J! a; e' a' }& r8 z5 c( ^9 _格序半群
栅
左可消半群
李代数
0 m) s& V+ o+ y* k/ c线性Heyting代数
线性逻辑代数
线性订单
语言环境
3 ?9 M; A0 ]/ Y2 ^局部紧拓扑空间
) l( m6 g1 R* g4 q  Z3 r& u循环
n阶Lukasiewicz代数
' R3 f( {8 N& kM -组
) L* h5 p" n4 x& Z0 x6 m内侧groupoids
5 ^3 Z: w& U5 }' v内侧quasigroups
3 s# y! P% e. x2 q. Q# P会见semidistributive格
会见半格
2 v4 T5 g: R0 T3 A: G- o3 L2 n5 k度量空间
- u; f; n: A& H4 e/ n1 a& x* h模态代数
1 B8 f) ]& `% L4 Y- K模块化晶格
模块化ortholattices
' |( U4 O4 K$ r0 i% \环比一个模块
单子代数
Monoidal t -模的逻辑代数
幺半群，有限半群，零
4 o7 T% R2 u5 a& j" d/ n# P& W  H& {Moufang循环
8 L; j' `4 Z$ AMoufang quasigroups
* ~5 E7 X( V$ ~& f% s$ Q乘添加剂的线性逻辑代数
乘晶格
$ k; M8 Z/ q3 h* U" |" u* Z& M乘法半格
( p; J4 K! s  c% z7 R3 K' v多重集
MV -代数
& C, s, s- R5 x$ K# ]& {8 |+ `, F+ ENeardistributive晶格
$ q% @" V( i( {# f" t5 _, @近环
0 U& d0 N$ Y6 J! r近环与身份
+ H9 _$ E8 h' W6 u近田
- a  A8 _/ @. i. K8 z- y  q6 w0 ?幂零群
9 n' z- t' N( V% H4 ?5 J% l9 k非结合的关系代数
非结合代数
& `1 _  L' S- g& ^$ z; b% d, D普通频段
正常价值格序群
赋范向量空间
奥康代数
订购代数
4 V* f1 w6 i9 s4 B' _  M& V' P有序阿贝尔群
有序领域
序群
: D3 g! i- ^: k有序半群
与零有序的半群
3 R+ P1 h$ k5 D! \1 K9 }有序环
% k, C7 W7 q) }序半群，有限序半群，有限下令零半群
* X) {8 y" P& Q  P& c. E" F& q: |有序半格，有限下令半格
有序集
矿石域
Ortholattices
# ]9 U' z( t% k1 s: a+ N$ U正交模格
$ G' j, V0 w' I! e) ^4 Sp -群
部分groupoids
* M  H( D) C- l8 b% ^- ?9 T/ z部分半群
+ P) z& W2 P) E部分有序的群体
1 H* ^  O& U! g2 N: T; f. `" C4 B, R部分下令半群
/ S) h# v/ |+ k, }" c部分序半群
$ \* Q: Z) V' b: \: F3 w部分有序集
皮尔斯代数
) A6 `2 Q1 m" x) T+ hPocrims
指出residuated格
5 y: ^9 Y2 o. p4 FPolrims
Polyadic代数
偏序集
: x: D' h. p# L" I% B, B$ W邮政代数
Preordered套
8 K$ R% e: }7 p4 T$ A. e1 P+ u普里斯特利空间
: _/ d2 @# l2 n+ r# P3 t主理想域
进程代数
伪基本逻辑代数
伪MTL -代数
伪MV -代数
Pseudocomplemented分配格
纯鉴别代数
, T  u7 d2 C6 jQuantales
Quasigroups
准蕴涵代数
准MV -代数
( `& f1 K' D" `$ c7 t, ^准有序集
Quasitrivial groupoids
# w( f; d/ J9 w6 `2 n矩形条带
自反关系
正则环
' u$ W' L) E8 x' w' P) A正则半群
关系代数
! l: Q- `: `4 q' Q3 ]+ j2 ~! k相对Stone代数
相对化的关系代数
& U& a! l$ I& ?* `6 J2 U表示的圆柱代数
表示的格序群体
- Q) p- e& J) D2 Z表示的关系代数
, c& W) N6 B" E/ r表示的residuated格
Residuated幂等半环
1 R- [2 r6 A4 \剩余格序半群
3 [+ o; ]" s- P. G' u$ z剩余格
$ k/ k. f% |! G2 Q' sResiduated部分有序的半群
Residuated部分序半群
戒指
0 l/ b" k. [- v7 \. S+ x* F. ~  h$ S4 h戒指与身份
施罗德类别
7 k" [. q6 T. @; X! d. P- A& fSemiassociative关系代数
0 L0 s) n/ N/ s0 a2 W2 m) }Semidistributive晶格
半群，有限半群
半群与身份
半群与零，有限半群与零
& p, S9 g+ p# i. B2 M# L/ w半格，有限半格
8 ~3 G5 M/ E8 I! {/ F与身份，与身份的有限半格半格
8 L# O6 I+ B: S) A" m9 _; ~半格与零
半环
半环与身份
4 Q+ i$ F! y, g( ?( ~. i& ~/ X% Q半环与身份和零
5 P( A4 k" [6 W$ v半环与零
! C1 J: P) K0 \5 G: A* d3 F0 v连续代数
集
壳
歪斜领域
Skew_lattices
小类
清醒T0 -空间
可解群
SQRT准MV -代数
稳定紧凑的空间
施泰纳quasigroups
6 l* `* s9 @5 N1 @+ P; i' GStone代数
对称关系
/ v. T+ D: x/ I. _/ ?, HT0 -空间
0 p6 y4 P; }5 l5 T: gT1 -空间
5 U, Z  f7 u2 \) g, ~T2 -空间
. s* U6 Q5 \& z7 h+ H  }塔斯基代数
紧张代数
时空代数
拓扑群
9 }: z5 U& {* m0 q6 M# W* f拓扑空间
拓扑向量空间
扭转组
' e5 T) x1 d6 W/ U. R全序的阿贝尔群
1 n- O8 H7 q& v, R: B1 B' U全序的群体
完全下令半群
5 z4 j% q& V& zTransitive的关系
树
锦标赛
一元代数
8 n( V# H9 B5 p. M唯一分解域
Unital环
$ i$ C( [' U2 u* J; f向量空间
Wajsberg代数
+ d% w9 _! t; r' r% [) q- Z3 eWajsberg箍
弱关联格
3 W  i8 Y# I& A$ |% Z弱关联关系代数
弱表示关系代数

孤寂冷逍遥

qazwer168

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

ZONDA

谢谢楼主啦