311数学结构种Mathematical Structures

lilianjie

. T6 l' O% @6 \; M' U) o/ L
Abelian groups     Abelian group
! |% W( i& b/ Z5 g9 wAbelian lattice-ordered groups
: |$ m6 B% g+ P4 N$ x. QAbelian ordered groups
Abelian p-groups
3 s$ Q% K: n+ z4 p' @( w4 oAbelian partially ordered groups
% r% g7 G% a7 v: ?7 g  |! MAction algebras     Action algebra
Action lattices
Algebraic lattices
Algebraic posets     Algebraic poset
Algebraic semilattices
Allegories     Allegory (category theory)
Almost distributive lattices
Associative algebras     Associative algebra
Banach spaces     Banach space
Bands     Band (mathematics), Finite bands
+ k, }$ Y5 E6 d0 l4 K' u+ I  HBasic logic algebras
BCI-algebras     BCI algebra
& H% l! C( N# gBCK-algebras     BCK algebra
# O. v7 F& v0 SBCK-join-semilattices
BCK-lattices
3 t1 _$ J1 x  j% L) vBCK-meet-semilattices
, L& ]& {) \/ v* IBilinear algebras
BL-algebras
; k; W% {. T; F) F/ s& [3 \' i0 \$ ~Binars, Finite binars, with identity, with zero, with identity and zero,
0 D# a$ }& `4 ^1 ]) U" sBoolean algebras     Boolean algebra (structure)
$ \  S9 C" ?- pBoolean algebras with operators
Boolean groups
+ o6 O; e+ ]8 x1 J2 J- b3 w, rBoolean lattices
2 y1 h; s: @" }  l+ T1 @0 FBoolean modules over a relation algebra
Boolean monoids
+ [+ e) e. U" O) }. S4 QBoolean rings
' N% \5 H9 C6 E- DBoolean semigroups
Boolean semilattices
3 J8 z, R) R" Y  p/ X4 s" {4 V: NBoolean spaces
Bounded distributive lattices
Bounded lattices
# m8 [( C3 ?9 N+ |  G8 U# e3 ZBounded residuated lattices
' p0 r& i: {6 t1 t# Q% V( \2 sBrouwerian algebras
' A7 V/ ]7 x1 n. kBrouwerian semilattices
C*-algebras
Cancellative commutative monoids
$ \' e- `4 |! j2 k. t5 t8 Q+ RCancellative commutative semigroups
Cancellative monoids
; K' E, r5 y. B( h, oCancellative semigroups
& q0 ^( C: m  Q" L; h+ tCancellative residuated lattices
- \/ ?" D2 V* rCategories
3 i8 o* \# ]8 d3 L  J  t2 JChains
4 z1 R" t7 R* x- L  u( Z7 x+ ]Clifford semigroups
Clifford algebras
1 A4 D, N. q6 w6 B6 \Closure algebras
( o8 P6 y, h1 q' O9 U7 A- hCommutative BCK-algebras
3 m" {3 X2 X0 E% }; |. W% GCommutative binars, Finite commutative binars, with identity, with zero, with identity and zero
' V. f) a' E( S% Ccommutative integral ordered monoids, finite commutative integral ordered monoids
Commutative inverse semigroups
: N& k1 h7 a2 jCommutative lattice-ordered monoids
* ~! I+ a6 G6 \% u, U, nCommutative lattice-ordered rings
Commutative lattice-ordered semigroups
$ S1 l0 l+ b4 o5 H) |Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero
6 h+ i+ H0 A1 b* F* ICommutative ordered monoids
Commutative ordered rings
. k! i1 Q% k5 Z* v- rCommutative ordered semigroups, Finite commutative ordered semigroups
8 N/ H2 l# k6 b; [4 d- jCommutative partially ordered monoids
4 u# \- l  F7 m  L& o) q8 ZCommutative partially ordered semigroups
  X; C6 u, w# F/ {( P1 L8 dCommutative regular rings
9 I7 q/ S6 q; ~) E+ A5 zCommutative residuated lattice-ordered semigroups
Commutative residuated lattices
+ @" v' R+ u2 L5 g% B8 SCommutative residuated partially ordered monoids
Commutative residuated partially ordered semigroups
Commutative rings
2 l% K. M2 H  @1 ?! yCommutative rings with identity
7 j- p( ]1 K( Q+ C* D: k) ICommutative semigroups, Finite commutative semigroups, with zero
Compact topological spaces
% m( S7 v+ o. A! L4 ECompact zero-dimensional Hausdorff spaces
% E+ X* X: h% uComplemented lattices
% D6 W1 c- D) e( W6 M' FComplemented distributive lattices
# n# W) J( z! s, r# GComplemented modular lattices
Complete distributive lattices
Complete lattices
0 _; H1 s, C$ F# `1 D# m  O. }8 @Complete semilattices
Complete partial orders
Completely regular Hausdorff spaces
Completely regular semigroups
Continuous lattices
% L8 X7 B& q4 e. c' ^& A5 OContinuous posets
0 Q# j+ H4 p/ N8 tCylindric algebras
De Morgan algebras
De Morgan monoids
) p7 j) ^) u0 }' s* k& mDedekind categories
Dedekind domains
0 @: g5 P1 h' ^+ ZDense linear orders
Digraph algebras
, r( U. w6 C, S% m, c' R$ ZDirected complete partial orders
Directed partial orders
' n4 b3 ?/ ~: H: O6 d$ g) iDirected graphs
/ m* G! ]. u* a' X8 Y; O/ oDirectoids
Distributive allegories
4 ^% z. ^  d6 E% uDistributive double p-algebras
/ ?% y0 R/ q+ D( sDistributive dual p-algebras
. Y7 E1 a$ A/ A2 y- w" ?Distributive lattice expansions
Distributive lattices
Distributive lattices with operators
Distributive lattice ordered semigroups
Distributive p-algebras
Distributive residuated lattices
9 x0 A( i. q. j6 ADivision algebras
Division rings
# D% L0 L# a" G1 }Double Stone algebras
' t( M7 M  J% o6 `2 TDunn monoids
Dynamic algebras
Entropic groupoids
5 p$ F8 u! Q( @' O/ oEquivalence algebras
! v; A8 D9 s8 k9 S8 ?Equivalence relations
5 T% K% [9 [; X8 CEuclidean domains
f-rings
Fields
FL-algebras
FLc-algebras
FLe-algebras
5 T$ O2 {1 O% T! h  DFLew-algebras
FLw-algebras
Frames
Function rings
9 c: [- F/ x- d  I6 ]* o- pG-sets
* G5 g# p: p& z5 B5 Q4 uGeneralized BL-algebras
Generalized Boolean algebras
Generalized MV-algebras
Goedel algebras
Graphs
9 y) V& u/ h) _; EGroupoids
Groups
Hausdorff spaces
Heyting algebras
* K9 b! V6 ?; h0 NHilbert algebras
: A0 d3 A7 H! F, p4 |6 r" ^Hilbert spaces
Hoops
Idempotent semirings
/ U% C0 ?( ]: J( l- W8 d% hIdempotent semirings with identity
" ^$ }5 s8 a: G. mIdempotent semirings with identity and zero
Idempotent semirings with zero
( p) X# e" O6 OImplication algebras
Implicative lattices
Integral domains
$ [4 @. C3 h+ v' J# ?* |Integral ordered monoids, finite integral ordered monoids
Integral relation algebras
0 \; i8 Y! j; ?) \Integral residuated lattices
Intuitionistic linear logic algebras
# I0 b' j4 f3 e; s4 sInverse semigroups
Involutive lattices
5 J1 a7 f9 n* V' q9 u' D/ aInvolutive residuated lattices
Join-semidistributive lattices
1 C+ Z8 e3 }7 c6 _5 UJoin-semilattices
# v: `6 D% u4 ]5 z9 E" wJordan algebras
# ?& H. V+ v! F- U1 U& d/ T4 I9 |Kleene algebras
" g5 k+ f: x4 C, LKleene lattices
Lambek algebras
Lattice-ordered groups
& i9 P* J, I5 g1 Y. F5 Q% A6 PLattice-ordered monoids
" z) W2 `' ]( C8 ~( ?' U0 rLattice-ordered rings
2 ?$ P+ Z1 J8 r' K' kLattice-ordered semigroups
Lattices
5 B8 e8 R* }6 ?0 f$ LLeft cancellative semigroups
9 w" u5 y0 w/ f3 w/ S3 b$ LLie algebras
Linear Heyting algebras
5 r! k+ j' x8 G  z  k% ~4 ULinear logic algebras
Linear orders
Locales
) U1 H( X- A3 MLocally compact topological spaces
( t8 v5 t+ y2 A* KLoops
Lukasiewicz algebras of order n
M-sets
- y3 W" d9 J; d# x" g' t" O. {Medial groupoids
Medial quasigroups
1 X6 L& G3 v, a. Q4 m# LMeet-semidistributive lattices
Meet-semilattices
Metric spaces
Modal algebras
6 ^1 ^( c2 J& H  NModular lattices
' O9 H) H5 w1 |% qModular ortholattices
0 x0 K4 i9 l6 e% q5 M5 K, TModules over a ring
4 Y. P2 K: U5 z4 \& mMonadic algebras
Monoidal t-norm logic algebras
% d+ b# F8 E0 s: h) ?Monoids, Finite monoids, with zero
Moufang loops
' Z0 I1 K& T2 o; d: [) _0 e( P, mMoufang quasigroups
0 f6 z# \+ A8 T7 J' Z+ |Multiplicative additive linear logic algebras
& H9 T) m+ B  J! U  BMultiplicative lattices
/ g4 Q; z- e0 w; D" gMultiplicative semilattices
Multisets
& D! K( W6 \- D8 H. p5 o; \MV-algebras
( s% F- m% V- E; `% y( ANeardistributive lattices
" s; J  W- t+ HNear-rings
Near-rings with identity
7 H/ w# I) i& ?* cNear-fields
Nilpotent groups
Nonassociative relation algebras
Nonassociative algebras
Normal bands
Normal valued lattice-ordered groups
8 u6 k) J, Z' T' I2 ONormed vector spaces
Ockham algebras
# L. p$ s0 a1 ^' ~Order algebras
1 r6 `  D# t! n) r2 @& S* _; mOrdered abelian groups
Ordered fields
  A5 I- r) a8 L* hOrdered groups
Ordered monoids
4 u6 ~. o0 l# ^  YOrdered monoids with zero
/ U0 ^0 a3 v8 ^" UOrdered rings
6 l0 L/ W1 a; A- M; w1 n. }Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
* w$ Q4 O9 r: G& aOrdered semilattices, Finite ordered semilattices
8 r3 |: L4 A8 j, ]' AOrdered sets
1 @9 B2 B+ f2 y. w9 M: uOre domains
Ortholattices
6 m4 Y4 ~0 J8 S( F2 JOrthomodular lattices
p-groups
Partial groupoids
Partial semigroups
, `* f  K8 c, R' x& s1 ?. z9 ]Partially ordered groups
Partially ordered monoids
7 ?; z1 t/ \' G2 C3 sPartially ordered semigroups
Partially ordered sets
Peirce algebras
7 j1 R1 ^  \4 f& o" I! @# D- @Pocrims
Pointed residuated lattices
  d' W# I$ e. T* ~" N! ]" W* gPolrims
Polyadic algebras
6 Y* E9 M% b9 j: y( q+ M9 G" tPosets
* B  c, T: x+ A4 k8 p5 ]Post algebras
# \% p$ h. v  f* k" h2 E1 BPreordered sets
6 ~: V' c4 [' r2 k. l$ c- MPriestley spaces
( _' z: M/ _; `6 ^Principal Ideal Domains
Process algebras
Pseudo basic logic algebras
& m: W4 Y2 L1 @Pseudo MTL-algebras
Pseudo MV-algebras
Pseudocomplemented distributive lattices
Pure discriminator algebras
# g$ A# R8 g# d9 O9 l6 S& q* s( [3 f. IQuantales
Quasigroups
Quasi-implication algebras
Quasi-MV-algebra
Quasi-ordered sets
, W# w8 A7 F8 }/ Q  g  b2 I! qQuasitrivial groupoids
* P2 j+ J+ Y  m, cRectangular bands
* ]& g4 s. J  L$ dReflexive relations
Regular rings
Regular semigroups
Relation algebras
1 U- F" M6 L# A: q8 O5 t9 @. zRelative Stone algebras
Relativized relation algebras
/ P- v8 j# p' ?8 Q- C9 R* CRepresentable cylindric algebras
% {. J* @& q8 G5 O+ g! X7 U3 MRepresentable lattice-ordered groups
Representable relation algebras
Representable residuated lattices
Residuated idempotent semirings
Residuated lattice-ordered semigroups
Residuated lattices
Residuated partially ordered monoids
Residuated partially ordered semigroups
Rings
! w1 V' E. j, x5 T& sRings with identity
, \7 r: j; f+ }: F# q9 OSchroeder categories
Semiassociative relation algebras
  P, _5 W: \$ q+ jSemidistributive lattices
3 e, H$ N+ i5 jSemigroups, Finite semigroups
" W$ |) f+ j1 Y9 f5 A7 gSemigroups with identity
Semigroups with zero, Finite semigroups with zero
( h. q9 I5 I: j" V: X4 zSemilattices, Finite semilattices
5 z% ^: l/ W' [4 w' G  Q1 l  aSemilattices with identity, Finite semilattices with identity
Semilattices with zero
( `# w! f0 h+ t3 wSemirings
; Q4 T% A* R2 _  W% v4 MSemirings with identity
( {( r7 n" R- [* Z9 j2 WSemirings with identity and zero
Semirings with zero
6 ]& f! t. k2 y8 A) ~. GSequential algebras
Sets
Shells
: e9 j: i0 ^# H# i) _( f% }" ?Skew-fields
6 r) i" z4 q5 BSkew_lattices
Small categories
Sober T0-spaces
6 d& ^6 G! c3 hSolvable groups
Sqrt-quasi-MV-algebras
7 n$ s5 C% k' l# o6 NStably compact spaces
* U. N/ ?; T: r% l; iSteiner quasigroups
$ X$ Z+ y- G" j) HStone algebras
Symmetric relations
1 Y. y6 Q1 z9 _# `6 \# UT0-spaces
T1-spaces
% r9 R. c$ ~) T# R. p: a. dT2-spaces
! z* u" J. c8 K1 D1 u. JTarski algebras
Tense algebras
) f# }; ?, `+ N' |$ B3 aTemporal algebras
Topological groups
" k/ B7 p$ B$ p3 @: RTopological spaces
/ A8 p  V% r: z2 l  Z" |# ETopological vector spaces
Torsion groups
" {' i& f" c4 s- K  ^5 {3 Y8 Z- DTotally ordered abelian groups
Totally ordered groups
Totally ordered monoids
- y* K' q9 e& Y1 pTransitive relations
Trees
Tournaments
Unary algebras
$ u* o$ w" V% D. z" J8 \" sUnique factorization domains
7 c: @2 }: `% H. y9 ?: ^" ]5 L; Z8 ^Unital rings
Vector spaces
# O' j- _& |+ N# C7 L1 ^9 CWajsberg algebras
Wajsberg hoops
) R8 a9 C. l7 K1 L1 TWeakly associative lattices
Weakly associative relation algebras
Weakly representable relation algebras
/ W1 r1 J- C* ]3 i

lilianjie

阿贝尔群Abel群
; T% U! \1 S9 ~/ k/ h) A阿贝尔格序群
阿贝尔下令组
/ F( T0 l5 `3 y3 h8 s, o" [. Q阿贝尔p -群
: k5 k: c+ r  {& e$ D% R# G  f( {阿贝尔部分下令组
5 F+ I, [) v0 Z; y( a( c行动代数行动代数
2 B% s5 `5 ]. C+ P2 u* c- }  ^行动晶格
: i6 h9 O$ I# p6 R0 @代数晶格
& w+ f9 e& F8 x: H  m代数偏序代数偏序集
) N/ |! v0 K% u6 H2 w: [, n代数半格
% T+ Y0 p/ Q- A寓言的寓言（范畴论）
4 ?& G9 f; a0 K; I几乎分配格
, ?; Q( B8 P2 M% H6 s9 T7 v关联代数关联代数
6 U5 I; x) u- m7 e/ C+ y3 o& gBanach空间的Banach空间
0 D, S3 x) o! b9 ?2 Q  f4 e乐队乐队（数学），有限频带
基本逻辑代数
1 `. ?9 J# A2 U' WBCI -代数的BCI代数
5 O4 w: m4 U$ H. {! ]  tBCK -代数BCK代数
BCK联接，半格
BCK晶格
BCK -满足的半格
双线性代数
BL -代数
5 x5 ]( }/ `/ u1 k, ~6 x8 EBinars，有限的binars，与身份，身份和零与零，
- _/ z. F* K0 }. S8 u布尔代数布尔代数（结构）
与运营商布尔代数
0 ]5 |- `$ g2 ?0 k2 \布尔组
6 W+ H; c# O- R* G布尔晶格
. N9 x" T3 {2 j/ V- }, f对关系代数的布尔模块
3 G; J7 H% n. A4 i& d% T布尔半群
* z8 l  ?  o3 E3 `9 A" b布尔环
) ~% D, h. ]4 @布尔半群
布尔半格
布尔空间
$ s% e& ?! _# A( V; o有界分配格
界晶格
! t) h6 i2 F6 m; M# s5 t; @界剩余格
Brouwerian代数
, ^% d4 H- w; U- TBrouwerian半格
- w( O+ Y8 G% g1 uC *-代数
9 ?2 z1 D6 ^- d' H消可交换半群
消可交换半群
6 u+ H; I+ n8 j* u- U$ w8 ?可消半群
2 t( e' l) u" d! ~8 O可消半群
) x2 j' r, y" `! z4 }4 @3 W消residuated格
分类
链
克利福德半群
Clifford代数
封闭代数
可交换BCK -代数
  M( }$ s. N8 A  k1 f$ X) J. Q交换binars，有限的可交换binars，与身份，零，身份和零
. h0 e- w# ~8 b+ J0 ]1 B8 W, F3 c可交换的组成下令半群，有限可交换积分下令半群
1 T& }) O, A% U8 ~交换逆半群
* D$ h, w2 D1 t. U3 M' E交换点阵有序的半群
交换格序环
交换格序半群
9 s2 z* \5 W  I% N3 g交换半群，有限可交换半群，零的有限可交换半群
交换下令半群
交换下令戒指
有限交换交换序半群，序半群
可交换部分有序的半群
可交换部分序半群
, A6 P5 Z% D, o) x$ W' N4 e! q交换正则环
$ t- \, H' w1 n% X: k& C+ c; }交换剩余格序半群
, m2 R* G6 k9 k$ l交换residuated格
可交换residuated偏序半群
7 t6 j6 _& c9 T# L可交换residuated偏序半群
交换环
( F/ [( f( u+ y$ K/ X9 e9 G与身份的交换环
3 Z* e% d" ?, M8 i3 m交换半群，有限可交换半群，零
) l5 z  g3 P' ~+ x4 @) `& \紧凑型拓扑空间
紧凑的零维的Hausdorff空间
补充晶格
有补分配格
1 Q0 @: I9 i: t; N1 y补充模块化晶格
完整的分配格
7 g+ T$ @9 r5 A, M; A完备格
完整的半格
完成部分订单
完全正则豪斯多夫空间
完全正则半群
! S3 l# V0 }, ^连续格
$ r8 w7 [/ C- r' y连续偏序集
4 t' y3 {7 M9 e7 D7 E% A5 `& g9 O柱形代数
0 U, |/ O% P3 }德摩根代数
- b/ b/ a% v: P; W0 `德摩半群
* c* k  A% f3 c戴德金类别
+ ]# J5 t  z0 [- N' o) B. m戴德金域
稠密线性订单
+ X. j) |( B& T, E有向图代数
% j* F/ k6 w) T- _9 x$ B5 W导演完成的部分订单
导演部分订单
. m0 I7 _! m/ B有向图
Directoids
, r  O& `4 A# p分配寓言
. o9 {6 H) @3 E$ R) Q分配的双p -代数
+ S8 X# C2 [" z, D( A& o# @& k5 P分配的双P -代数
: l+ |, I# }/ ]1 `: _分配格扩展
分配格
与运营商分配格
分配格序半群
分配p -代数
* y8 S2 H* Z. X5 U" f3 n( b分配residuated格
司代数
科环
9 i4 r; _; \# ?5 l* F2 w双Stone代数
邓恩半群
动态代数
9 |8 U! H/ i. t& p- c0 P熵groupoids
等价代数
等价关系
欧几里德域
: g- s+ R4 ]! r3 E- G7 qF -环
字段
FL -代数
1 H. b! y; s3 g% k" L& B9 l+ SFLC -代数
FLE -代数
飞到-代数
FLW -代数
5 R8 d) h) f. n! V+ o2 M框架
功能戒指
G - 组
1 D' {- U+ s. f广义BL -代数
广义布尔代数
% X7 T# O" J2 Z  n. ^' ]' C广义的MV -代数
Goedel代数
图
! s) w- w+ m4 x. w2 {Groupoids
组
豪斯多夫空间
( Y. J5 f* F$ z( D# K0 G/ ZHeyting代数
* e( ^3 l1 C& t希尔伯特代数
! c2 m8 x: d8 U/ wHilbert空间
篮球
6 k) _" i2 R7 y$ ?6 G9 \幂等半环
& H: n- E6 C, ?幂等半环与身份
幂等半环的身份和零
6 j4 k, b" s0 T# d# h幂等半环与零
) {7 n/ y$ f. F5 b蕴涵代数
含蓄的格子
积分域
积分下令半群，有限积分下令半群
0 O: T7 w/ S* c! J1 o- i积分关系代数
2 O( j7 T# G+ L集成剩余格
' P6 f. P' {  X" J: Y' O+ I7 }直觉线性逻辑代数
逆半群
合的格子
合的residuated格
: D! Y8 Q8 \- X; d: S* r6 J, M加盟semidistributive格
加盟半格
* c. \9 F; s% ~( E* a7 H约旦代数
克莱尼代数
( Q( j  g( n9 H/ E克莱尼晶格
) f$ ]9 h/ n3 I8 B. XLambek代数
格序群
' |9 e( T) G% [, r格子下令半群
, M! z; Y! a; q- S格序环
格序半群
栅
左可消半群
李代数
7 V9 w8 Q6 e: K# w0 q& @线性Heyting代数
8 o5 V4 [) K2 b7 D- I- k线性逻辑代数
7 Q/ q. n. [0 M( g线性订单
语言环境
( z; B7 s# Q8 Q6 ^局部紧拓扑空间
循环
n阶Lukasiewicz代数
M -组
& [( \8 l  @7 S* v内侧groupoids
7 E  V9 q; t7 g! d' b' R( |5 v内侧quasigroups
会见semidistributive格
会见半格
% W  _0 _/ r/ V度量空间
& G& @$ E, Q2 `. r模态代数
模块化晶格
模块化ortholattices
+ R3 ~4 J0 H7 y# _, _3 \环比一个模块
单子代数
. g9 _' k7 |! K: X; m! l6 ]Monoidal t -模的逻辑代数
幺半群，有限半群，零
/ G3 A( F4 ?3 S1 t  q' LMoufang循环
+ u" q. x' @2 p8 f$ r- x7 tMoufang quasigroups
乘添加剂的线性逻辑代数
# }9 w2 {4 S1 j% e乘晶格
) g2 I) g* ]" s5 [& K. o% R: s乘法半格
多重集
2 G# \) A. r6 y; KMV -代数
& F/ U5 ^* G$ c' w/ B4 qNeardistributive晶格
近环
; {8 G& X/ l- c$ M近环与身份
近田
幂零群
非结合的关系代数
% r! R" V& Y8 Y, j) {2 Z非结合代数
普通频段
正常价值格序群
. E+ C8 t$ u' Q5 {. Y. U& O赋范向量空间
奥康代数
订购代数
有序阿贝尔群
有序领域
序群
有序半群
与零有序的半群
9 z8 y' H: B6 V3 e' Y  _. b有序环
序半群，有限序半群，有限下令零半群
有序半格，有限下令半格
. ?! p  ~6 [9 x; X有序集
矿石域
( o! F2 y& u  D" ~" K8 M6 }! wOrtholattices
- e2 W. H4 k3 v& b; W4 x正交模格
p -群
5 A! }& m% O+ t" z$ p部分groupoids
部分半群
/ I. Y$ l/ Y: O$ o# m部分有序的群体
2 ?; j) M+ G# F6 q- R$ m, n. r部分下令半群
4 r, h' R# T& @2 s  ^. ]# \部分序半群
部分有序集
皮尔斯代数
2 w  P! e4 l9 O3 V/ W7 d9 s* W" BPocrims
5 X9 f/ G4 v8 p2 S/ Y$ b指出residuated格
5 y7 E6 i. S; j  tPolrims
Polyadic代数
偏序集
邮政代数
Preordered套
普里斯特利空间
主理想域
) I! [: [& b8 s进程代数
) a" j+ t" k0 ]6 D伪基本逻辑代数
, s% g- l5 r/ G5 n' T伪MTL -代数
" z5 h7 `# M& d5 C. \伪MV -代数
Pseudocomplemented分配格
纯鉴别代数
Quantales
Quasigroups
" K  S; ^! h+ J3 n准蕴涵代数
2 w8 J: O5 z+ t. p$ R准MV -代数
$ S9 o6 Q/ B7 V0 e8 b6 O) Z4 N( y准有序集
7 u: c: }5 D9 }# q9 F" J- oQuasitrivial groupoids
矩形条带
8 i9 o  E, E3 k, p1 G' b! V自反关系
正则环
2 p# k" ^% {' ~正则半群
关系代数
相对Stone代数
相对化的关系代数
1 W, C3 ^; I5 R& P表示的圆柱代数
$ G0 Y1 K- |7 X  d- x. Z表示的格序群体
表示的关系代数
表示的residuated格
Residuated幂等半环
  @) n1 R3 }! h' i# @) e剩余格序半群
剩余格
# |; X/ h4 y6 P3 F4 c$ FResiduated部分有序的半群
% `3 Q/ W9 i( R* M8 gResiduated部分序半群
) P" D) C0 @; `( t- r% }- g戒指
戒指与身份
施罗德类别
Semiassociative关系代数
0 N7 y3 P( ?0 Z9 ?% y' X: N3 TSemidistributive晶格
半群，有限半群
( C- a8 w& Q' {( p' \. z# g半群与身份
6 ]5 \* S+ ]0 J  ]半群与零，有限半群与零
0 M9 x" ^3 W$ S- C- K+ I半格，有限半格
与身份，与身份的有限半格半格
半格与零
4 x: g" @) e* g6 g1 p, `1 @半环
半环与身份
半环与身份和零
半环与零
9 ^+ i, J$ M% p7 P, `8 |连续代数
集
; X! g, |# [9 m- u! G+ h壳
$ C9 S! A6 ^5 m6 g歪斜领域
Skew_lattices
小类
& V0 Q% K# T3 I3 C3 o+ @% h清醒T0 -空间
可解群
SQRT准MV -代数
' `6 j0 r- G  Z7 F2 k* e. M稳定紧凑的空间
$ P& G4 O7 L3 H0 O& v施泰纳quasigroups
3 \6 [0 b. p" G9 ]' q4 YStone代数
) [9 n3 l8 \  B, S$ q8 z# a) Q2 K对称关系
T0 -空间
5 z" g. p) C$ |- QT1 -空间
' v0 g7 V* r+ O9 R: F* O, BT2 -空间
塔斯基代数
紧张代数
: S- {* L! L* n$ T时空代数
6 f% L0 J3 y1 {3 S拓扑群
5 p- J+ Q5 D* W& c/ t拓扑空间
8 ~. }; C4 J) z4 h2 H1 M拓扑向量空间
# F4 W  A) F3 c扭转组
. [. S* b$ n" [全序的阿贝尔群
" h  B6 C' k9 j' R8 s全序的群体
" J8 d) s# J/ }$ i( g, s完全下令半群
Transitive的关系
: E, p$ l* x, n6 ]; W, G+ R# p; x6 a树
锦标赛
一元代数
  N0 U$ p9 L3 {5 V6 Y( e唯一分解域
& @( }3 w5 g; kUnital环
6 t* S* _4 ?7 l; x! K向量空间
Wajsberg代数
2 F5 ^7 S3 X3 Y& ZWajsberg箍
! i7 b! z) l% O弱关联格
7 g9 Q  ^4 W  c& k; H' ]弱关联关系代数
弱表示关系代数

孤寂冷逍遥

qazwer168

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

ZONDA

谢谢楼主啦