- 在线时间
- 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
 |
" B8 r" M% M* d6 ~7 v9 k' e+ g) M
+ Q6 b0 f) b: X) h# \
Abelian groups Abelian group6 w1 y3 Y+ T) g+ F
Abelian lattice-ordered groups
$ r* ~8 m! R4 o+ fAbelian ordered groups1 {$ o6 \" ]) Q8 D' d# w" p
Abelian p-groups l. g; ^' B$ L+ B* t9 A( O4 f1 I8 \
Abelian partially ordered groups9 I& U% m9 G0 f; M/ i+ J
Action algebras Action algebra. [1 C/ I! U* ~+ H
Action lattices
0 u6 {; ]* ?, {2 _+ c5 h/ K( y5 nAlgebraic lattices
* d7 p r q" ^. s( Z/ gAlgebraic posets Algebraic poset
% K8 D( x: q% ^7 J5 B* tAlgebraic semilattices9 h& A, \; D) @, _' L
Allegories Allegory (category theory)% U) O. f: ?8 J
Almost distributive lattices
, ?8 K% S1 S( QAssociative algebras Associative algebra
3 V( R; J& ~) X7 Y3 CBanach spaces Banach space
( C9 c- k' o/ Q) I$ D( ^, Q% zBands Band (mathematics), Finite bands
3 E) Z( E r7 L+ G, h) tBasic logic algebras4 R( |9 K6 d: ^* D2 V: R
BCI-algebras BCI algebra0 _& l% K7 L3 |9 U
BCK-algebras BCK algebra
3 K1 e) t7 ~$ k5 g: _BCK-join-semilattices2 B: j# M0 `/ |7 T' x
BCK-lattices
8 q8 r" K y6 F2 p: W2 oBCK-meet-semilattices
1 ~! u0 u {# ^0 D0 h1 WBilinear algebras7 @' j( V1 j- U1 F. y
BL-algebras
% i6 u0 [9 m. d% `. l+ J$ K4 h- L2 HBinars, Finite binars, with identity, with zero, with identity and zero,
/ B- h7 R& {) sBoolean algebras Boolean algebra (structure)
5 ?7 r/ S7 @( d2 TBoolean algebras with operators
( j u& K- b$ ]* y$ @( KBoolean groups- V$ Y0 }! s- N
Boolean lattices
3 s6 v& Q4 l% yBoolean modules over a relation algebra' @, A! @( ^9 K& A
Boolean monoids4 ~/ S9 f' T$ Y+ Z) c1 W5 O
Boolean rings
% C1 B* v" l3 f! h: g; _1 rBoolean semigroups
0 R [0 f, x. ]1 B! {Boolean semilattices/ A- P4 k9 P7 T$ X, _! f
Boolean spaces8 Q& Q( C) o1 ?! F6 }
Bounded distributive lattices
, q: C& o( m6 l) s5 `Bounded lattices
& c9 S6 Y o" e) K: S5 ^" a qBounded residuated lattices6 o/ b1 c9 w1 J1 S! p
Brouwerian algebras5 i3 X) D" l5 V0 O) a
Brouwerian semilattices, H8 v3 Y- M; n/ B
C*-algebras
% t6 \6 K$ {: E& ~7 z9 HCancellative commutative monoids
. Q' Y, I! I9 d6 U8 iCancellative commutative semigroups
! r% B7 X3 z4 A S" bCancellative monoids/ F0 [; v% }1 h: J9 S7 L+ w1 a7 j
Cancellative semigroups
" ?# m' T; V& g3 f0 E* u+ ?- xCancellative residuated lattices
7 q; |% Z) y+ j( `- VCategories
, W- G+ {3 F8 ^Chains
, z% O4 ^3 `+ m0 [) O" y6 nClifford semigroups3 R) T+ |. m& X( a) R+ d
Clifford algebras8 [$ V( V X' y$ y
Closure algebras8 u* z4 \, |3 H
Commutative BCK-algebras
4 `+ H% L5 _, U* VCommutative binars, Finite commutative binars, with identity, with zero, with identity and zero 9 r8 ~! u; a. j! p. ~) q" G& V
commutative integral ordered monoids, finite commutative integral ordered monoids
/ f9 Q7 [$ m2 K# W4 h9 B( ZCommutative inverse semigroups- u- c1 C* d( ]) E! x. }3 v4 Z
Commutative lattice-ordered monoids5 J5 R8 P+ `6 g$ `' b6 T4 O$ ^
Commutative lattice-ordered rings& ^8 v& M. H u; [# h- H7 B
Commutative lattice-ordered semigroups1 z4 ~) X% b2 z# j
Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero3 c2 K/ C4 O3 U) ]
Commutative ordered monoids
' O2 _7 l& \$ d" I ?Commutative ordered rings. v+ C* ?3 Y/ w' ]$ q; ^8 _
Commutative ordered semigroups, Finite commutative ordered semigroups" V2 F" C5 Q+ M7 y6 I, T" L
Commutative partially ordered monoids+ E- [4 q0 _2 ^5 A3 ?. H( {
Commutative partially ordered semigroups
9 q- x2 W( d7 i( n& D" ~Commutative regular rings4 j9 D) V, A, L7 b+ u9 P
Commutative residuated lattice-ordered semigroups
0 n- a# o, A( gCommutative residuated lattices
1 Z8 D9 e8 w+ R @: uCommutative residuated partially ordered monoids) E& F/ c0 D- C8 j/ @9 e; B2 e; c
Commutative residuated partially ordered semigroups
2 q* G: t' z6 WCommutative rings% B& ~# D4 U; o+ o
Commutative rings with identity1 J2 k! L2 g( D) R( r5 U2 B* C7 `
Commutative semigroups, Finite commutative semigroups, with zero0 q7 S8 Z+ r* N3 T! h$ ?7 j
Compact topological spaces7 j, e3 e0 s) I5 x! }
Compact zero-dimensional Hausdorff spaces$ |& U l% j' q* N. k. O
Complemented lattices
, x5 g* O8 ]' M5 x* w5 MComplemented distributive lattices
% x8 d6 ?6 ?9 j. \! TComplemented modular lattices# Y. W8 g- z3 p- B) E0 J4 H
Complete distributive lattices
% c& @9 S& M. J; G VComplete lattices
$ E& W$ ^) j/ sComplete semilattices
. T& W4 A' B( LComplete partial orders/ N# L' U) S' n9 m, ^" L* `) V
Completely regular Hausdorff spaces; [0 W, ~, `8 C J: e }, s, ~
Completely regular semigroups
# s; R0 D+ R4 |Continuous lattices
7 y: c6 \# y }Continuous posets D7 \/ L' {( {, `3 f
Cylindric algebras
; m0 c& S8 a0 X! YDe Morgan algebras7 ~; T- ?$ w" I) {; ~) ^* s
De Morgan monoids" T8 c+ z: k" R1 y! y
Dedekind categories
* }5 v+ o9 H2 PDedekind domains5 A: i. j- j. L2 R$ G4 D
Dense linear orders
" `) ]8 P. A K2 I R. kDigraph algebras
" N- L( Z$ `! l6 m, A4 T5 |' jDirected complete partial orders P- z. Q# @: a
Directed partial orders
3 `) k {% h/ Q7 v8 R& F# N2 PDirected graphs
+ L: ^- m2 o- UDirectoids
5 m. K) I; }* M- K! B4 SDistributive allegories
; s3 m1 g5 O. k6 FDistributive double p-algebras& v7 {/ K, {! k+ ~3 X8 J. q
Distributive dual p-algebras
* a$ }6 w& I- @% c: B, rDistributive lattice expansions
" k4 t6 F7 ?4 f& o$ P" R4 D$ aDistributive lattices+ I* ^: C, J# B ?; l
Distributive lattices with operators
# k$ @( y' d, J2 SDistributive lattice ordered semigroups5 ^( y3 ~8 `6 }" H' k7 S
Distributive p-algebras
* T: S" d1 o% n* j6 PDistributive residuated lattices" t4 m" Y. Y6 l& z- d
Division algebras1 u8 v; v, ?4 e8 ]
Division rings
: o5 P9 o" y( I; uDouble Stone algebras
# n- j8 x8 n2 Z7 fDunn monoids" P3 t- i, d5 c" x, Y7 R4 W
Dynamic algebras
7 l' i Y6 \- W; h2 s3 V8 J3 _, mEntropic groupoids
$ r" h* i$ P) A$ E5 nEquivalence algebras
2 i8 p8 P3 A0 g$ t5 ]! v2 R* pEquivalence relations
) _- z7 v* A! ~; _6 nEuclidean domains
5 a$ D2 Q) c3 D. }! T5 K) mf-rings
5 J( Z! A9 T. r5 }- M5 l& ?Fields' s) S9 j: ]; x& D* O, O6 X/ g; x
FL-algebras; J) S7 \2 U/ c
FLc-algebras1 M3 }+ k' ]/ |; l
FLe-algebras; c/ ~1 T8 H3 t2 B6 A
FLew-algebras
8 U) V" P& ^5 F: w% i! }FLw-algebras
5 Q* y! J. M* Q, j9 g% e# ]Frames8 h( v/ N' [! u3 D6 [6 e! u1 |
Function rings! g1 c/ n4 @4 G! s
G-sets7 W* U! g/ g) r& y
Generalized BL-algebras9 u& g6 C, E# a: W6 o& f0 a. p$ D
Generalized Boolean algebras; G! d8 K0 L; |0 G! E
Generalized MV-algebras3 W9 `; b" C1 i+ W# I) v
Goedel algebras& b% y, [: v% ^( i
Graphs
# I/ ^5 s! i1 `2 |Groupoids5 C5 s0 A ?! m+ P
Groups
8 u7 D% ^5 O3 E4 N* |5 gHausdorff spaces+ Y+ X" c7 U2 F2 B) O
Heyting algebras
- T2 ]6 b, F* x3 V2 QHilbert algebras
0 L0 y3 p8 D, h5 K z3 gHilbert spaces
5 u4 A+ s9 D4 `9 S. R: GHoops) Y; o( z2 f1 Q: J" u7 g
Idempotent semirings
% X& R1 S- @: r" M: T5 vIdempotent semirings with identity1 {* v2 l$ R. t9 V8 E
Idempotent semirings with identity and zero! i ~5 K: P1 b6 N# I5 H
Idempotent semirings with zero
* r9 h, m1 B CImplication algebras2 {3 c, z$ r& K$ E$ a
Implicative lattices. Q/ n, Q( ~+ t3 |
Integral domains* \7 \; C: g! g2 h# k
Integral ordered monoids, finite integral ordered monoids& T2 ^! v8 z8 j0 b
Integral relation algebras% _$ E7 q# Z' e# W3 v# t# c
Integral residuated lattices/ H2 w- c0 n5 }+ Y' p
Intuitionistic linear logic algebras
/ t% \* N/ s+ b6 uInverse semigroups1 }% h) l; S; B" d+ [* w
Involutive lattices
5 @: p% s V! V7 G6 bInvolutive residuated lattices
; T% ?# o+ X. q: A: NJoin-semidistributive lattices
0 d5 i) G3 J5 h+ C% U" b- H/ x! I" }Join-semilattices
6 j1 D8 C; \1 U! `* O& w& SJordan algebras/ G) t4 T# Y& }3 J% z% b* q7 G
Kleene algebras
3 i$ i# P- q- |: LKleene lattices2 j8 H M6 h9 C) b. ^% z( n0 `
Lambek algebras
- L! s+ g+ D$ v! RLattice-ordered groups; z: ?" s# Q$ `, p
Lattice-ordered monoids! R" V7 L, ], {3 d! t
Lattice-ordered rings
3 B: _3 z; N4 x8 [6 ^, X! V. r+ a' ]Lattice-ordered semigroups
2 Y( W: G9 P+ Y& C* S m* CLattices( f. b6 ^) D& G" \4 N; Y6 [
Left cancellative semigroups
# l8 Q) F& g' Y- VLie algebras0 h5 p z9 A' k) X1 y% X- @3 f
Linear Heyting algebras9 h z3 u, h9 B5 }5 P
Linear logic algebras. |/ w u8 J1 {8 f
Linear orders
8 c' i; P. C+ d' H2 ZLocales/ t$ U+ L# p3 o) t# N: A
Locally compact topological spaces) {1 [# k& d% ]7 S" ]& @' L( N
Loops
/ O! ]' _8 Q) |6 x" x8 j- zLukasiewicz algebras of order n s* j/ R4 B9 z- Q
M-sets
' I! m; P& o5 U7 i7 z zMedial groupoids
6 H0 ^ {, ?' Z7 m1 ?. j0 JMedial quasigroups0 w8 L8 Z# A5 F F2 ?7 s
Meet-semidistributive lattices6 ^* n8 G$ B" t7 k
Meet-semilattices O( G; T7 h2 W# V- S- }% s( J# j* \
Metric spaces; m! u* W8 ?; ~5 {; u6 N9 z! u
Modal algebras
+ w2 c- v# s9 ` Z$ H( |Modular lattices
$ U3 n$ _. E$ \& o# zModular ortholattices4 H+ E' u# ?8 {# V
Modules over a ring1 G1 }1 s7 |3 z: ] d; R' A
Monadic algebras
5 P. o9 L4 V5 s8 A- D1 uMonoidal t-norm logic algebras
% x' J$ M* ^- G4 }. _Monoids, Finite monoids, with zero
! _1 C; w& U' j; m- W& F* FMoufang loops; {) u4 e& C! F# Y0 j4 f
Moufang quasigroups
1 \! F2 B3 k" z o/ K, @Multiplicative additive linear logic algebras3 @& v! k; l3 U7 r4 f7 A6 N
Multiplicative lattices
* k3 c! p9 J6 D8 w) ZMultiplicative semilattices
6 O6 ]5 o0 e: }! S _ MMultisets
5 j0 Q/ n4 h2 \5 B C* ?MV-algebras
8 O8 W; _8 O, Q: I6 mNeardistributive lattices' E+ }. t- h) Z- H6 |
Near-rings
; F4 M" B+ {1 E5 P6 YNear-rings with identity
# [; B6 c" a# |Near-fields
" j$ T9 @8 M( }4 }1 }2 eNilpotent groups
/ H8 W. b5 y5 ^( U$ QNonassociative relation algebras8 Q; z; N$ ]! B5 o$ y. w4 A
Nonassociative algebras; ?4 j' H: \' d* j, U# p- `3 A, W X
Normal bands% N& F, I/ ]# _# Q. f& d7 ]" n
Normal valued lattice-ordered groups
; M- M \: S ENormed vector spaces
: s9 I1 R% N$ M8 d8 BOckham algebras5 t' m) ~% g. Z) D+ |8 ^1 b
Order algebras% `. P8 [( H; I" `4 I I
Ordered abelian groups
1 ]& W+ _; [# m$ w: |Ordered fields; H5 c/ T( R4 A: U7 @% T/ l! u
Ordered groups6 P* q3 r: l) D& S
Ordered monoids- i6 r$ e, X: i
Ordered monoids with zero
: i Y9 t# A: y6 N, _Ordered rings! V- z% a' p/ l% W* k g
Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
: L6 H7 w% o/ DOrdered semilattices, Finite ordered semilattices
) x% I1 M& F! q! fOrdered sets J3 x& K% G) \( T# n/ V
Ore domains2 Q: \8 W) ?0 g* {2 G/ v
Ortholattices! ?/ Q5 ~4 G# |2 g- \1 _
Orthomodular lattices9 b+ Z/ u& n* t8 d* h' W2 C
p-groups
1 x) W4 K) ?. {2 l1 `Partial groupoids. U6 y( \& W# \6 y: ^+ Q, {
Partial semigroups
* l4 R6 f, I) Y8 f6 Z% KPartially ordered groups) u9 N/ j, F2 G! U3 Z
Partially ordered monoids5 U' v1 o0 x( h+ ^' K& P
Partially ordered semigroups
7 [, i4 [2 K+ c" Y' q" ZPartially ordered sets
1 P8 q) {8 B* h( x h1 l/ qPeirce algebras
+ M' ]. ]: m3 r( ~2 ~* ZPocrims3 T6 C6 p( n" n, S6 \% Z
Pointed residuated lattices
9 W' c, \$ v* R E% {# g9 d- rPolrims- H. t2 d/ `& A* ~. a+ o$ R! L$ ]
Polyadic algebras
% h4 s+ N8 v$ U- HPosets
3 J) ?7 b! ~. }6 f* u0 JPost algebras3 w" x4 a2 p- E( V! D
Preordered sets: U; z% O# w# z4 F# B$ \
Priestley spaces
- G% c/ _% K* ~0 SPrincipal Ideal Domains
1 |+ q) z# I; B) `1 X" U, k1 I/ [Process algebras
0 s- F$ T" r. E" UPseudo basic logic algebras, c' i" D- V& r* W
Pseudo MTL-algebras
0 F; Q \2 _/ r$ W; U) Z9 ^Pseudo MV-algebras8 }+ P- I, U( _% A l, g% q
Pseudocomplemented distributive lattices% _9 u' A9 X- @) A4 \
Pure discriminator algebras4 K. P( O( k7 O) E L
Quantales1 d% ?: B d i% j
Quasigroups
2 M( u; r" [* |# yQuasi-implication algebras
* B4 _5 b7 `+ V$ |! n( f! AQuasi-MV-algebra
+ v( Y1 N, b. C* m j& [7 i8 \Quasi-ordered sets
$ y; W9 V9 ~+ M* ~$ BQuasitrivial groupoids
. @3 X, F4 K! e5 O4 ]Rectangular bands2 D O. ~& v6 X- T1 e& d; r
Reflexive relations$ h3 S7 ~4 L* I. ]3 C
Regular rings4 }" h2 T5 {, H$ ?" ?, Z
Regular semigroups0 A' ?( @- h# X7 g) q
Relation algebras& g+ G2 F" } W8 y6 |' t
Relative Stone algebras
$ m* x9 n) |0 m! \Relativized relation algebras: {) v' `: f7 Y. }! s
Representable cylindric algebras
* o$ B4 j2 ~" ?* b3 mRepresentable lattice-ordered groups
" P' }. n8 I I, }7 k" bRepresentable relation algebras
& p4 @1 U9 q3 j0 I( R' R9 sRepresentable residuated lattices
2 w) P% ^; j2 O9 G/ u8 CResiduated idempotent semirings
& m) a! T9 ^! ^3 J8 y) T, x. EResiduated lattice-ordered semigroups& J5 S( G: Z! Y; h
Residuated lattices
1 B/ ?+ v* o/ _0 Z: y( ^Residuated partially ordered monoids, { H- g+ r9 w
Residuated partially ordered semigroups
# t3 u' a; H% T" d# B6 b3 URings$ |* N8 z, N+ l+ n. S! v- _+ j
Rings with identity
* E8 d1 e/ T+ i; a* }% h9 C/ qSchroeder categories/ c+ |* T2 V8 d- P2 ?
Semiassociative relation algebras
4 B- ^: y% z$ @: k" KSemidistributive lattices# h' v. m, O2 p7 g6 K
Semigroups, Finite semigroups+ l$ O) y' `" N
Semigroups with identity
1 N' \, K. G6 L- QSemigroups with zero, Finite semigroups with zero) w: {8 u: d* D
Semilattices, Finite semilattices& v9 g0 [: x: E) x( a2 z
Semilattices with identity, Finite semilattices with identity5 X; r; \; ?8 d# K
Semilattices with zero+ _ g3 T; G+ y4 H
Semirings
; E1 ~: {+ @' k! i6 p) t4 `2 ySemirings with identity7 Q8 e/ C! A( E. f0 e* W
Semirings with identity and zero. t) ]# k4 R4 G/ s/ c+ q6 R
Semirings with zero
* d8 A4 I, I1 }. E2 s$ `, ?Sequential algebras$ {4 p" E2 e* f) k9 O4 _
Sets
3 Y, B3 a" ~7 t; q6 k8 `3 _- cShells: `9 ]$ |3 B$ z5 C X& d
Skew-fields
0 L- a9 f1 e" @( k# x T. W: uSkew_lattices) e! ^1 Q1 g) i! g0 v; U' H6 b
Small categories5 p: h! j9 z8 P) N7 l
Sober T0-spaces% o0 i4 Z/ r8 p! e0 d. s% a
Solvable groups
; m1 }( J. H1 R# j0 \! \Sqrt-quasi-MV-algebras6 [! L5 y. b" H
Stably compact spaces
9 x, L) s9 r# ySteiner quasigroups) d9 q9 j1 z. _* S. B
Stone algebras
9 _! C$ h0 W) \: R, |Symmetric relations- t1 p6 d( z n; }1 `8 @# e& t, t
T0-spaces* T$ M& H& a! w" h4 @0 Q
T1-spaces( H- p# T! p- p
T2-spaces
" t6 O+ j& K( j5 J* aTarski algebras
% J2 y/ m) j+ z1 T" w' dTense algebras7 O: V& O5 M- I; F( h6 s' x, _
Temporal algebras" o9 {# k) n! E/ V- i2 ~
Topological groups. q9 f6 A: U6 f
Topological spaces
2 @3 i/ k% S; S! q8 i/ c8 BTopological vector spaces- d5 j& i( c9 S9 C- V
Torsion groups
8 }# Y5 j+ O0 W; nTotally ordered abelian groups ~ z4 r' F7 I3 g
Totally ordered groups" j O2 Q# A/ m# H
Totally ordered monoids
4 m; `! x) j* I4 YTransitive relations2 W, Y' h+ ?% Q* P. ^! C4 z
Trees
6 z4 H8 }6 c; v4 t. w5 U. P) [Tournaments- M; o" e( K# P* \9 K& S8 }
Unary algebras0 g( Z8 P$ D4 ]
Unique factorization domains
$ T; {$ @/ {' L' T! XUnital rings
( l6 x4 @3 \+ o5 W) Q' `: L! sVector spaces
8 I V4 r: X8 ~+ T7 X! tWajsberg algebras, J( K5 h0 C+ r; ?; f. G1 o
Wajsberg hoops# i+ Y. r# i" H% u7 h- J
Weakly associative lattices9 Q. S+ x- H, x
Weakly associative relation algebras
3 W4 g/ @* z- s. MWeakly representable relation algebras6 z( ~% J. s# j
|
zan
|
IP卡
狗仔卡
发表于 2012-1-12 13:19
转播
淘帖
分享
收藏
支持
反对
微信
提升卡
置顶卡
沉默卡
喧嚣卡
变色卡
抢沙发
显身卡
