- 在线时间
- 11 小时
- 最后登录
- 2012-1-13
- 注册时间
- 2011-12-22
- 听众数
- 4
- 收听数
- 0
- 能力
- 0 分
- 体力
- 418 点
- 威望
- 1 点
- 阅读权限
- 30
- 积分
- 204
- 相册
- 0
- 日志
- 0
- 记录
- 0
- 帖子
- 137
- 主题
- 43
- 精华
- 0
- 分享
- 0
- 好友
- 0
升级   52% TA的每日心情 | 开心 2012-1-13 11:05 |
|---|
签到天数: 15 天 [LV.4]偶尔看看III
 |
) k; K g- z1 Z1 {2 H- t+ o3 r& a
Abelian groups Abelian group
$ a M( @. u5 r2 ?' L4 H! f7 bAbelian lattice-ordered groups
* ?+ }: e5 d! J. E6 U" ~Abelian ordered groups
$ c" e; V% H* o4 K4 U$ ?Abelian p-groups
" Z7 {. N: ~3 T( T, }" _Abelian partially ordered groups) N5 k4 D. j( `) K1 S0 i9 C4 ~* V
Action algebras Action algebra( ~7 _# b" u, L% x& j3 d# t
Action lattices; }% L N) Z8 H
Algebraic lattices
5 ?1 D6 K5 t$ Q. b2 \% ?. cAlgebraic posets Algebraic poset$ E$ E; s- z/ n
Algebraic semilattices1 }: a" G7 |# S
Allegories Allegory (category theory)
) w7 u9 h0 f3 r( QAlmost distributive lattices
$ ~* J5 b d! D5 g/ Z5 j& J% fAssociative algebras Associative algebra- G8 K/ z: L, w5 P7 g+ p. P
Banach spaces Banach space( b/ i& |$ l" r7 }
Bands Band (mathematics), Finite bands$ j$ O, C7 E" K5 W
Basic logic algebras
5 M, b3 \5 ^! D; K1 D* }/ ~9 QBCI-algebras BCI algebra
5 u+ u, D5 w5 h$ ?( `; z" B# dBCK-algebras BCK algebra; e p4 f' d5 C8 u; g
BCK-join-semilattices$ k4 U( A" Y f
BCK-lattices: b9 w& u5 U; [9 S
BCK-meet-semilattices
& I6 E4 `! I5 |7 rBilinear algebras; g9 R9 i- s0 ~- d$ A" _
BL-algebras% [/ n! ?( ` O5 n2 N7 P
Binars, Finite binars, with identity, with zero, with identity and zero,
, Q6 d9 k/ Q/ o9 M" fBoolean algebras Boolean algebra (structure)
8 L% `1 I: }$ p" r* D) V/ sBoolean algebras with operators5 |8 {2 M5 j( z, F2 a
Boolean groups
; }, A+ C: @5 R6 I$ |- J/ lBoolean lattices
, ?1 N% {' T1 I( p* d! BBoolean modules over a relation algebra; N4 f3 v! [4 q) Q" T7 s3 N' P
Boolean monoids" @$ D' u8 P2 ~
Boolean rings
, Y8 W2 E$ Q. U* z! B4 nBoolean semigroups
: f: z! R' p* @! t, ~& h" IBoolean semilattices
5 J+ w' Z( }3 n# D1 v1 ~Boolean spaces
: J+ q+ D3 A& q6 o: g ^5 ?; d+ PBounded distributive lattices3 R9 j, q; F* o- ~& ~3 b) Q
Bounded lattices+ a, {3 Q4 _6 H9 C0 z8 S! w
Bounded residuated lattices
/ D8 Z8 x0 \/ |3 a1 E( y" QBrouwerian algebras
" s$ `9 Y0 l$ {$ g& ?Brouwerian semilattices
) `( H. P: ]0 a8 V6 q8 tC*-algebras
d$ J# m d( U% {9 tCancellative commutative monoids1 e1 y" r+ N& \4 N N
Cancellative commutative semigroups
" M0 n: A; ^# P/ u2 [! j" h& WCancellative monoids: A. U- v4 o9 A! I2 J3 I
Cancellative semigroups
. a: h2 s5 K: ^8 ^Cancellative residuated lattices- S( [9 G7 i: T
Categories
5 s; r8 o& u! @& G; C1 d; uChains, c+ c1 y6 n [
Clifford semigroups
U, z0 |, h/ D6 {Clifford algebras. W: Q4 D; x. V) b8 `0 o
Closure algebras( X. Q# l: A" r4 Q3 \' y
Commutative BCK-algebras
. a$ A- N( V( M# K8 k0 tCommutative binars, Finite commutative binars, with identity, with zero, with identity and zero
`! G# g5 C$ X& b' qcommutative integral ordered monoids, finite commutative integral ordered monoids
/ [! E4 L5 S @2 L9 u' Z. DCommutative inverse semigroups9 i* A2 z: N! B
Commutative lattice-ordered monoids
" U* \" V4 x6 i5 C' A" q9 J3 p9 nCommutative lattice-ordered rings7 C0 p/ `# e! T/ |+ l
Commutative lattice-ordered semigroups; ^) U' V# o& [5 l; H
Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero) ?& S$ s- J. j/ _. G
Commutative ordered monoids5 Z$ i h6 U8 X4 G
Commutative ordered rings
6 Y6 C" j* N+ T, \( \8 uCommutative ordered semigroups, Finite commutative ordered semigroups* ]3 h2 `( M: B/ }/ D! D6 W
Commutative partially ordered monoids
% A/ u" X4 a" E; R Y" U# UCommutative partially ordered semigroups& ^& N( o# B( _
Commutative regular rings
( K1 z I2 c5 N8 h; i: j5 rCommutative residuated lattice-ordered semigroups8 T6 C4 M5 o& q) I g8 Z" R
Commutative residuated lattices) c+ L) b9 I5 W w3 B f3 P
Commutative residuated partially ordered monoids
; H: l1 o8 o5 x3 vCommutative residuated partially ordered semigroups
$ L. u5 h$ w& e* l& E, JCommutative rings' \8 P# |/ `5 K1 ^2 u
Commutative rings with identity
+ Z: ?4 T4 k& `0 h* A$ K) ]& MCommutative semigroups, Finite commutative semigroups, with zero( C. E+ R& E( B1 Z& k0 h
Compact topological spaces
7 K# R/ [0 F+ o7 kCompact zero-dimensional Hausdorff spaces/ ?) b: D1 S! l$ H
Complemented lattices
5 \4 r) d; @4 IComplemented distributive lattices% D+ t4 S6 A# F/ {* N
Complemented modular lattices; I) {2 d$ k- g6 x5 j
Complete distributive lattices
8 W, X: a' L, S' [2 eComplete lattices
2 ?+ j! t+ [$ K* k" rComplete semilattices$ ?* Q1 V9 D. E0 @( e
Complete partial orders# K& F: |. I2 U) z" m* ]# F
Completely regular Hausdorff spaces
4 b& A9 O5 o6 e' KCompletely regular semigroups& R3 ^8 x O+ R
Continuous lattices* f4 P" h% J7 [5 }3 x2 [, Y1 `, D! W
Continuous posets
$ E$ z( ?! I. ]% ]; F( _7 u/ GCylindric algebras
( H- o/ W6 U1 M) @. s, x8 e' }De Morgan algebras
( Z2 w8 f3 |- |, r' f1 h$ t" CDe Morgan monoids
5 u8 T$ R- U/ E) j! B/ CDedekind categories
. p. W3 Z/ l/ ]4 d9 k# wDedekind domains( g" ~. a" C9 g' N1 X# r
Dense linear orders
; C' ~' B/ [/ t# Q6 gDigraph algebras' h! x$ I0 @1 M
Directed complete partial orders6 R5 u4 k" V$ o' Y
Directed partial orders Y5 s S% [( p0 t1 Z" N. F5 g# x
Directed graphs
7 D/ F/ \" k" N2 V9 s* t- SDirectoids
: C! R& I' A1 @- z1 ZDistributive allegories
* q2 x. \* c+ MDistributive double p-algebras
" z( x7 l }/ L8 F- I3 @Distributive dual p-algebras
8 E# \9 t" x1 |9 c/ ~& g3 ZDistributive lattice expansions9 L' O2 v( @) m
Distributive lattices5 K% s, |, [* ^- I& R
Distributive lattices with operators- `: U8 z6 Y+ ]' |& y( m) @
Distributive lattice ordered semigroups
G1 _- V# w D" g/ WDistributive p-algebras* V/ F% ^0 z) E" y% ]
Distributive residuated lattices
f1 N! u8 {' m& |7 @2 U3 rDivision algebras
V+ S1 E" d+ F3 w5 B; EDivision rings
2 a/ K5 k9 F3 E: ~: G* KDouble Stone algebras
$ l! O" r8 K4 a) hDunn monoids
, t6 v3 L, C- E! r6 ]Dynamic algebras
( D/ F1 c8 ~( c# V' k* I* Q6 {' REntropic groupoids* L& ?% d4 x6 S( E L. A
Equivalence algebras( `6 B% D! g4 u( m8 t
Equivalence relations
1 H- z/ f$ R" H8 M. O C! ZEuclidean domains- |0 I! K. W" m1 |( @
f-rings) a# _3 T3 h& R1 Y2 s
Fields
3 H: b' q( u' OFL-algebras2 g" Y' g, _8 z) y1 n5 k8 m
FLc-algebras
1 H4 Z9 Y: Y3 ^3 u9 M9 oFLe-algebras
( |; |* \8 A- _+ e, jFLew-algebras
0 _% X, \7 M+ bFLw-algebras
+ f' }- z% |" ~/ u( bFrames
$ W$ b, y4 F9 ~# ^5 @! jFunction rings% V( O) U( n$ M& e3 }
G-sets$ \) X) V6 E3 l8 i9 S4 r
Generalized BL-algebras
4 n2 S; N" h4 J/ r2 K2 uGeneralized Boolean algebras
$ y9 W6 R+ C2 ZGeneralized MV-algebras% S+ ~5 g h$ q$ h5 p
Goedel algebras
1 F* `; D5 G! R. ~' EGraphs
. t% `2 _6 d2 x0 m- MGroupoids
9 w% H( o, v' L4 t2 p1 H8 wGroups% p3 x. r% \: }4 S
Hausdorff spaces. _7 i6 P4 { }; ?4 Z1 Q# T+ B
Heyting algebras& m; V, c& N# K+ p" ~
Hilbert algebras v Z, ]! Y' B9 L7 W
Hilbert spaces( g# n2 K* X/ v0 ^2 p/ ~
Hoops: k% ]) t1 u7 D( N. T
Idempotent semirings, S, \ ?' d6 Z6 S9 K( R& x5 r/ c
Idempotent semirings with identity
6 L3 S: ]+ w) OIdempotent semirings with identity and zero" D9 `/ ~1 X9 Y/ p3 |1 S9 ?
Idempotent semirings with zero
/ f( B, o( K8 SImplication algebras
' a! b1 ?7 Q, o f& vImplicative lattices
) |3 C6 O+ c* b8 `Integral domains: t8 e5 b) W1 T9 S0 ]8 c4 p
Integral ordered monoids, finite integral ordered monoids
+ D c# \/ n4 Y, [6 }: _1 ]Integral relation algebras& B! R/ q/ h3 ~* h! S# G& Y) } B
Integral residuated lattices
+ M6 S4 K, C# q1 X2 kIntuitionistic linear logic algebras
& s, i6 C L) h" h3 vInverse semigroups
! L0 t% K/ N, C- Y. [Involutive lattices
. {7 f) z" L3 {0 X- iInvolutive residuated lattices" b" d. A e7 U8 R% Z8 v# U. P8 u
Join-semidistributive lattices! L9 n, ~+ Y& T1 S. b
Join-semilattices2 {; j. X5 H4 P9 q/ I; ~
Jordan algebras
& h% K) O- c' q- x8 D x% KKleene algebras
) N. m L( Z# g9 sKleene lattices' c5 P) C Z) j# w2 ]4 i
Lambek algebras; x! @0 u0 `# ]4 Y% Q9 H3 b V
Lattice-ordered groups
1 T9 M! U* ~0 }0 J6 ^. ILattice-ordered monoids
; E4 N2 v6 z- o8 f: e- rLattice-ordered rings
7 H$ R$ d1 e) w% X! |' CLattice-ordered semigroups
$ K$ U0 s! s; f+ W9 u5 T, nLattices
3 \" ^4 Y& Z! c3 I- ?" D* ULeft cancellative semigroups
3 O; t$ K9 x) |! bLie algebras
) ]% N/ N' [9 _9 ULinear Heyting algebras9 h5 h. E# E6 I
Linear logic algebras/ q. B' ^' M3 B' R& F' p
Linear orders; H3 D, V4 {4 }5 P
Locales3 G! Z3 [) g. L, M6 C" O
Locally compact topological spaces7 y3 q/ e! f; d d" U0 x
Loops
9 H ]- @, c! W% i7 kLukasiewicz algebras of order n
% X2 t/ E. g' x- RM-sets1 N; Y& M5 |, g% e. w2 t. L" s
Medial groupoids; ~6 W# ^9 b. F5 T# }2 [
Medial quasigroups% @- D6 x3 ^& F! E
Meet-semidistributive lattices( H) T0 N* _$ r% d
Meet-semilattices
! g8 A% D3 C" u- A! T6 N, yMetric spaces
8 Q2 V% C* T* c2 HModal algebras
! c3 J3 V# I; P" g5 Y! O1 Z9 HModular lattices
* K, M! `& \) G y) y: qModular ortholattices! A! O, K, m1 t5 C
Modules over a ring
5 }. [$ U5 b1 ?Monadic algebras
' [- A( Q8 D# d% \Monoidal t-norm logic algebras3 t) U* s) S) b; D8 @/ _8 ~' `
Monoids, Finite monoids, with zero
7 c. v4 W1 S" f4 |Moufang loops
7 h2 f8 r1 q9 \' sMoufang quasigroups& S" t! p( P0 p9 ]
Multiplicative additive linear logic algebras' `( t, P k- M* d3 s: Q2 B
Multiplicative lattices
2 O W, V! K/ A1 P3 u% aMultiplicative semilattices0 i% y7 |' N6 [$ k
Multisets7 q9 @2 z( I. q1 B* [
MV-algebras
`- a; d$ j( y$ U7 s& {3 LNeardistributive lattices1 L4 y& R& p+ @5 f J( F0 K
Near-rings% N& s4 e* M0 i/ t7 i0 Q
Near-rings with identity; e5 `6 W% Z2 G* L
Near-fields2 y9 a0 m, m" w" F) o3 R7 Y/ F+ a/ `
Nilpotent groups
3 Q5 k8 L9 u8 U! Y0 f% \5 ZNonassociative relation algebras
! c. X/ Q% E; \9 ]7 j: ^Nonassociative algebras$ j3 J* H& D/ A0 O7 `4 j
Normal bands
) f; Q5 |8 M$ w: YNormal valued lattice-ordered groups/ R. ^' l F. ~2 z# A* x. U: n
Normed vector spaces
& {5 J+ I2 J6 [6 `Ockham algebras
( w1 O/ j! ~* X& j- q1 k* s% b1 q( \Order algebras
8 L$ J+ a) C$ b5 h$ hOrdered abelian groups7 G; N/ b, ]: Q+ u' x
Ordered fields
1 ~+ v) k- _' i( b/ x6 wOrdered groups) o; i$ o1 | e* m4 ~0 ^7 _) g+ O
Ordered monoids
`* O* ^& f- f* DOrdered monoids with zero
3 H; o+ l) B( j6 X3 A# P/ ^Ordered rings
9 m* D& }& ~8 K9 C! oOrdered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero" S2 K. W9 p- r" q! f
Ordered semilattices, Finite ordered semilattices
9 \2 h2 M4 I7 v5 u2 GOrdered sets5 {9 n) K+ ]" C5 K( `; v
Ore domains7 G4 X8 ^/ Q6 j7 P7 E# r
Ortholattices2 ?& \9 Z; X5 V( k) S2 M: q
Orthomodular lattices
/ D& y6 e5 k0 S D; U; C& @; g$ ip-groups, f9 c/ C' H3 U" w; Q7 B- ]8 R1 V+ U
Partial groupoids
' _4 H( ~; d# _: \Partial semigroups% M1 {& d, e+ {4 m( s# q
Partially ordered groups' V. w1 b5 z$ q2 }5 t
Partially ordered monoids
5 `3 O, t" T2 dPartially ordered semigroups
' H6 T# E0 T0 ]$ t5 p( b hPartially ordered sets
" h5 B8 b# T, e% x$ HPeirce algebras; r: S' _6 ^" l4 }/ C+ J3 y- P
Pocrims
9 e, x, E" a9 P& y# r# GPointed residuated lattices, @& t; P- V: G" R
Polrims
2 j: c% `" `. S% KPolyadic algebras" F. V" o. j% ~' _; o, z
Posets& E/ v2 d2 `; W, a
Post algebras+ z/ i! L, ^: a, C$ r" o
Preordered sets4 i& |7 ?/ G- C9 n5 S
Priestley spaces% B0 D9 K( @! Z& ?0 h8 r2 y0 a
Principal Ideal Domains
, t, j+ X: K* d1 S' _ l& rProcess algebras& E7 L" e R# l7 h* m; a+ V* P2 n
Pseudo basic logic algebras% M" G' Y0 V5 K, e8 z4 x
Pseudo MTL-algebras3 b5 Z& f' w( i, w
Pseudo MV-algebras9 f. L, U) h! g4 q* x
Pseudocomplemented distributive lattices
4 R" Y/ Z) m0 EPure discriminator algebras I \' Q9 x0 J/ t. Y3 |
Quantales
8 z* m. g, q- u8 y0 G0 yQuasigroups/ h7 z) Q; P# A4 {
Quasi-implication algebras
f9 o& V9 z& nQuasi-MV-algebra0 [# s5 v2 I5 i3 u' I& f, I
Quasi-ordered sets/ `7 F7 s0 r- m
Quasitrivial groupoids! b% i6 a+ ]6 U) Q6 h) G
Rectangular bands- Y. h7 Y$ t. x+ i7 I! ]( L. x
Reflexive relations
9 D* l: a8 e& v* sRegular rings" M7 o6 i8 \/ j2 F1 }
Regular semigroups/ c" f. H# s$ ]1 z+ |
Relation algebras- m+ q! S2 {5 H4 p" m
Relative Stone algebras
1 ]7 \4 i" j3 k! r6 u+ y: IRelativized relation algebras
9 ]. C5 I" K/ ?5 }3 r. D; W; R/ SRepresentable cylindric algebras
1 ]) i! C- ]6 f# I/ `Representable lattice-ordered groups
, j, n* ^% k# Q& e; d! CRepresentable relation algebras
2 E8 L* V, u5 e/ i3 z5 \3 V1 qRepresentable residuated lattices
' j# H8 a5 `1 J' U8 }+ x" t @/ x& mResiduated idempotent semirings$ {2 ~ ^( B" Q% j
Residuated lattice-ordered semigroups
4 g( o4 t! o* S- T7 KResiduated lattices/ p2 j' t* J' H9 `" B$ J; q+ \
Residuated partially ordered monoids
" s" M* a2 r7 L+ N% j2 uResiduated partially ordered semigroups4 ]+ h E' g: U1 V6 e
Rings; A5 L9 X2 r5 T* I9 q) v
Rings with identity
6 P) T5 d" M. P$ H& mSchroeder categories
! f% P4 \% S- K: U4 w& [Semiassociative relation algebras: [3 x4 g; [2 I1 w5 h* U
Semidistributive lattices4 q2 [: J/ j: x' {6 M& L; Z. m
Semigroups, Finite semigroups
( N& O o( x6 h1 o9 |0 qSemigroups with identity
1 \" J3 B* z2 JSemigroups with zero, Finite semigroups with zero3 j9 o6 R; Y) F; U6 p& h O. E
Semilattices, Finite semilattices
+ ^8 V6 c1 k+ [$ J8 kSemilattices with identity, Finite semilattices with identity
) b1 u/ G q" I& y. {' HSemilattices with zero
+ `; }4 a& q/ {, zSemirings
^8 R7 D" Q8 P6 n/ F- {8 |7 J; U3 RSemirings with identity" S5 O+ W+ {( n! X( H# [5 p
Semirings with identity and zero+ L; G, v x( Y% u1 R' d
Semirings with zero
. U8 W) `. v! G! |2 T% ~Sequential algebras
* ^. M! A+ _* ASets! |& Z/ q" B _% a$ H
Shells
, d0 c- z6 h9 O4 Y5 H3 }0 X0 nSkew-fields5 c0 C; d9 n- Q$ H! g% F
Skew_lattices
9 e% y4 j, ]6 Z1 {1 [Small categories
/ S# N5 ~6 ?) M& g4 oSober T0-spaces; f& c5 b3 [" _* j4 V7 ~2 D/ j
Solvable groups
; |8 G5 P. l* ^- lSqrt-quasi-MV-algebras* w4 J( p3 v. C( y' z$ j: ^/ x8 h
Stably compact spaces1 G3 A& S$ p8 T$ `
Steiner quasigroups
8 L$ A1 \ v* p( h1 ^$ U' X& K0 x" qStone algebras4 {/ p' u2 X2 O( |- W% \. v
Symmetric relations
7 f9 B! Z1 z" B) X+ C# W1 ET0-spaces9 H* b3 ?; ~8 |4 v. }- a
T1-spaces
& `0 r5 t& X+ w0 G4 ]. Q$ M9 IT2-spaces
. S4 ^7 g. C7 J1 y4 @1 JTarski algebras
; L9 C7 L' N- ^9 f/ Q2 U) y* PTense algebras1 D8 o J! w/ ?- i% ?3 w; B6 ?
Temporal algebras
: Q( d" x, N* P9 Y2 ?# v/ HTopological groups& ]" F4 w- {( i1 c& A
Topological spaces
9 o" _, c, V# U8 C2 c$ [Topological vector spaces
9 a1 Q& o, O, l+ z' \Torsion groups
k6 a, L! R6 ^( W- V+ z! YTotally ordered abelian groups
, ^5 J) \/ f! `/ u( i" s- ]- G; MTotally ordered groups3 \6 y- ^, q0 } T0 }7 c! e2 y
Totally ordered monoids1 V) \& D3 i) ]7 _4 ~
Transitive relations
& q( t" B' d. s( d7 F. t& s! Z( CTrees5 f# {- {9 D4 K V! R( j+ |
Tournaments
& Q: d1 A9 \5 iUnary algebras% g2 Q8 r' I* v, C. q1 v
Unique factorization domains# t: v" A! ^7 T2 a2 T/ W. k, ?
Unital rings! W0 J2 Z& g F+ T0 E, J8 n* h
Vector spaces
+ }7 c! h2 @! r( S1 sWajsberg algebras
; m0 L- D- w1 {" {, q' RWajsberg hoops- x8 O" y% l7 m
Weakly associative lattices
2 V( ~7 M7 V3 rWeakly associative relation algebras& @) G/ y0 O7 w; z& M: I
Weakly representable relation algebras
7 ]' d& U. T0 ^7 U: K4 o |
zan
|