- 在线时间
- 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
 |
1 z( R3 }/ g1 u6 V# q* Y/ p
' m; g, }3 V- `4 v _
Abelian groups Abelian group
6 k' A, ?- j* g- C4 KAbelian lattice-ordered groups+ ]% [( S& S Z
Abelian ordered groups
! H6 u6 n- c* U: I/ mAbelian p-groups; U X7 _3 ~' K
Abelian partially ordered groups! B3 Y3 {6 B5 x( M
Action algebras Action algebra" M0 c; i R4 C" o5 c; l
Action lattices- L m! a' u( [' X) v) u
Algebraic lattices" e7 h. n+ u I O2 H
Algebraic posets Algebraic poset
$ g% H9 W$ K7 b/ H/ `Algebraic semilattices4 T' Z4 x, c9 y: p" c1 h
Allegories Allegory (category theory)7 c$ B y) ]6 y
Almost distributive lattices
. d" v) ]7 P' N( E" J UAssociative algebras Associative algebra
% R8 @7 g; V* r3 p6 K# { ]. \$ s [) CBanach spaces Banach space, t0 G: @; {; G7 a1 L
Bands Band (mathematics), Finite bands" a# r6 `2 Q6 }2 U1 d3 w
Basic logic algebras
( G: G" ?4 W" h8 `! d8 Q TBCI-algebras BCI algebra
`/ x/ ]$ I: }) A. a' h+ j2 bBCK-algebras BCK algebra
8 C9 g' @/ {$ ^5 m# cBCK-join-semilattices
* |4 G0 e4 J# QBCK-lattices
8 b6 J% E% L5 X. q6 P$ OBCK-meet-semilattices
) i3 B" n$ n9 ]" oBilinear algebras
% P, K8 v5 L' jBL-algebras' f/ h+ j0 I, C) J; f9 o
Binars, Finite binars, with identity, with zero, with identity and zero, $ P3 c! r8 E, g" ?
Boolean algebras Boolean algebra (structure)
% N G! T: i. T+ q0 A* bBoolean algebras with operators" z9 m! }, i- Q4 K& O' G
Boolean groups
% D, F6 s1 T* V3 s2 k. I1 hBoolean lattices/ R: b+ P9 D9 m! C2 |. I# k4 m; d% Z
Boolean modules over a relation algebra
, [1 L4 w! x- c) jBoolean monoids
# Z3 p' ^( `7 u4 XBoolean rings
$ j! e0 s- x) GBoolean semigroups8 e9 |2 |0 V* t$ f1 K+ w& L
Boolean semilattices
" [3 W6 G6 P; n8 O( B1 H' n: H! vBoolean spaces( c# Z- e/ [! j0 k
Bounded distributive lattices
$ ~, R1 e& D' {' LBounded lattices2 u8 `3 q) a; h8 m \, A
Bounded residuated lattices }2 R) Z/ @% Z' P, f
Brouwerian algebras
: E$ E( I( |# G6 k" C* ]" TBrouwerian semilattices6 A, O: |% D! M/ v8 W4 p1 a
C*-algebras
% I' F8 q" Y# t0 H' i% E+ pCancellative commutative monoids
/ B. h4 A2 T# q+ U( @! l: }% v% OCancellative commutative semigroups' y. ~" S; h3 G% o$ p
Cancellative monoids
+ F* e2 Y# K8 P3 Y5 u8 cCancellative semigroups, f& |' ?+ `3 y) F& M; @: R( j4 s
Cancellative residuated lattices
* l# n! @; d7 ^" L# Z# h+ UCategories
! i: p# F7 }, q, \/ `Chains3 Y- A* I* p S4 o7 A9 K
Clifford semigroups
Y+ E! K/ k( s& b) T8 D2 kClifford algebras7 o4 r. T( T! X( E& c7 [# D& L! c
Closure algebras. M: m- z- G4 j' F% u
Commutative BCK-algebras4 C* Z2 a; ^5 I" ]" ?
Commutative binars, Finite commutative binars, with identity, with zero, with identity and zero , f) H3 M! I ]$ z) E, {
commutative integral ordered monoids, finite commutative integral ordered monoids5 O7 Q; d) o2 H! W% H) S Z
Commutative inverse semigroups2 O1 B* @7 u, W( }4 D' I6 b
Commutative lattice-ordered monoids* q4 e$ r5 u% B8 [& c4 Q% ~
Commutative lattice-ordered rings4 v0 _0 S+ e4 d1 O
Commutative lattice-ordered semigroups
6 i+ W) L! B' k2 {0 _" jCommutative monoids, Finite commutative monoids, Finite commutative monoids with zero
& S, z- E" F! f* PCommutative ordered monoids
" H7 v1 @$ L/ a; Z" @ vCommutative ordered rings
' S# ]9 N" c3 s- U6 n9 xCommutative ordered semigroups, Finite commutative ordered semigroups4 l, d& S7 }, B# g0 }, b, n
Commutative partially ordered monoids. R- z) M0 Y5 s5 I$ w: d
Commutative partially ordered semigroups' k4 t- p; }9 t
Commutative regular rings. z2 `7 j1 V) S! q4 I: }
Commutative residuated lattice-ordered semigroups
6 v$ q7 F/ w2 r' Q# TCommutative residuated lattices
1 O: U! O4 y+ T. U T. ^5 }Commutative residuated partially ordered monoids
2 f% J0 s# N5 c R( d% G* Z/ kCommutative residuated partially ordered semigroups
A3 C8 K$ ?$ p( T. L& R& \Commutative rings
7 T) }$ u) j/ Z, wCommutative rings with identity
# I/ S# ]9 P4 S% F3 JCommutative semigroups, Finite commutative semigroups, with zero6 i8 D$ W4 w, C3 i& X, m* V
Compact topological spaces: f& z: q( `9 B Y. c T9 v
Compact zero-dimensional Hausdorff spaces/ I! d2 O( j7 J/ L
Complemented lattices
% `" B" O C' Q# W5 |" Q) NComplemented distributive lattices) ?! Q! `5 E2 a4 s: v
Complemented modular lattices' w# j9 n U" ?0 B9 L
Complete distributive lattices
& o3 F2 h! g& j4 ?( O: q" _' X" l6 oComplete lattices
# E4 G& G9 G* J2 Z4 R2 QComplete semilattices
0 {, n/ R* }% x% K& ]7 ~Complete partial orders
% ?: K; m! m5 oCompletely regular Hausdorff spaces
6 R0 y; I2 T9 a( b! v+ u4 r, M+ ZCompletely regular semigroups
: U6 t1 u1 }% W4 I4 ^! \' m% q2 PContinuous lattices
) `* ~8 V7 W: U* H( @3 eContinuous posets" u. U" A) ]5 U" f( p3 o
Cylindric algebras' `( ^' T @! \- p( B& T
De Morgan algebras9 z& h( }, V9 C+ e
De Morgan monoids g: J$ U2 j" s% l+ A
Dedekind categories0 z* l7 t% ?* @1 P8 j2 ]# r
Dedekind domains
) @6 _& z, Q6 b5 E$ eDense linear orders
% U/ n% i* b7 A3 W$ H% s+ O- ]8 i3 lDigraph algebras" E0 C2 J% ?& B/ C; M$ [- T# j
Directed complete partial orders
! x- v& r Z: J- lDirected partial orders; L! E4 B Y7 ?! g. w% S
Directed graphs
6 T& V0 N; V4 P* IDirectoids
6 E, L7 W2 j4 G) q% wDistributive allegories
9 Y+ K; S; r6 h9 n$ m; zDistributive double p-algebras
w% A; k: o4 t4 q* A7 t* X, `Distributive dual p-algebras# @3 ]- h% ?# P0 m$ M
Distributive lattice expansions F3 _# f7 L/ M
Distributive lattices( \) v* m$ b6 m* n
Distributive lattices with operators# j4 v! J# c4 y
Distributive lattice ordered semigroups
o' z# ]9 X. d+ j# h- UDistributive p-algebras5 W. y; ]6 o2 |# _' P/ h$ V0 P
Distributive residuated lattices: R# Y) |* z+ ]5 R/ R$ P5 q! F& R( d
Division algebras
* T9 W; }/ j# J- }" N! H0 ?Division rings/ }. P4 I) _! ^, y6 C! [4 f
Double Stone algebras
, a' t- `/ \4 a4 bDunn monoids' b* E' g- Z9 S& F) }
Dynamic algebras
/ A6 ~" I* F( y3 e$ H9 V' \Entropic groupoids1 q2 n6 B7 E N% h( e$ r' A
Equivalence algebras' \" f- `. i- f7 E1 [2 ~. k
Equivalence relations
/ \1 A" n+ X+ _! f7 h/ h3 i/ VEuclidean domains
: A5 v& T s4 @9 r. Z% w/ l5 pf-rings
5 @" h1 B& `% z) [$ _) ]' kFields
# C+ w2 y- M* \FL-algebras
9 @/ M6 z6 w+ @' ^' l. M! L% rFLc-algebras. M: |! N! A+ o2 t; U2 R2 K
FLe-algebras( I+ I/ D% a+ V0 u9 G3 }
FLew-algebras
6 @/ a5 P. m0 i. [ q8 u5 i `FLw-algebras
, |$ F# S6 i9 Z. {& [ `6 J( ~/ XFrames [6 Y/ ~# L% u6 @5 S# l6 j+ h
Function rings5 [- k( i: v- c9 Q
G-sets
+ }2 H: N+ V/ fGeneralized BL-algebras
* W2 f; }5 A# V9 d" oGeneralized Boolean algebras
+ j: u1 M1 \! k+ Y2 oGeneralized MV-algebras3 N. G! h# b8 ]7 h9 B
Goedel algebras
1 s5 ?, Y( J& T. w; \Graphs+ ~ C3 d1 P' B. P0 [" l' }
Groupoids1 L( s$ W! b2 \
Groups& j& b* N% \6 Z! A
Hausdorff spaces. z# r' |. T3 ?. w7 ]4 Z, ]
Heyting algebras7 A n0 u! v. O: k. X* M3 Z k7 e
Hilbert algebras3 k1 W$ g' e) H
Hilbert spaces
( D7 |9 M# u1 n1 n2 yHoops: t# {5 p# V! d0 q, v8 |
Idempotent semirings
' C; n$ [* z- wIdempotent semirings with identity C, d$ Y8 ~0 B* g G- i7 F
Idempotent semirings with identity and zero
7 {% e7 g! @) E6 T3 FIdempotent semirings with zero
* F. a6 N/ R- x! L, QImplication algebras) K( ~2 w. K( A! |/ X) i
Implicative lattices
' f( W9 h Q" V+ ?* s# q( D5 u. n" rIntegral domains* h {$ i7 {% x. ^; e K$ h. P* D
Integral ordered monoids, finite integral ordered monoids
$ Z% K/ y. ^$ RIntegral relation algebras
- a2 ^- W8 j, d" uIntegral residuated lattices6 [7 o; p5 ^/ ~/ P) F
Intuitionistic linear logic algebras
2 g1 o, f: i8 V7 i7 U$ dInverse semigroups6 P: U0 \- ?2 x/ T" f: R# l! ?
Involutive lattices
$ g! o! o' {' c( E9 jInvolutive residuated lattices7 Y, b1 ?/ n3 W+ b& Q5 H
Join-semidistributive lattices% z q( v+ E; X5 d( w6 g F: d: t0 V
Join-semilattices
% l; D( x2 Z- f" HJordan algebras
! X; G R+ z) S( O4 f6 K; LKleene algebras4 s5 h) a$ w9 N9 u
Kleene lattices/ B" G, X& ~6 H8 N, B
Lambek algebras
+ h% m$ Z7 [- R T/ G2 r3 A8 bLattice-ordered groups
' C& x& t! |# i! g6 iLattice-ordered monoids8 j0 z; C& P3 Z: v k) a. }( @" C- B
Lattice-ordered rings% l. N2 d! Q4 V* q; u
Lattice-ordered semigroups
7 r/ s! R4 c% f3 ULattices
8 {& H$ i P* N( _) d1 mLeft cancellative semigroups
0 t% [. R2 c/ U% cLie algebras& W. B8 m% m; h6 p
Linear Heyting algebras3 h; _) g$ _5 ~; O
Linear logic algebras! x% t0 B+ T3 S3 }
Linear orders
( l" X) {3 Z! ?% x! ILocales9 _; N9 v8 s1 t' D
Locally compact topological spaces
/ K8 [0 ?; C6 S: S& x" r: F# FLoops
& P, c* F* `3 k5 c0 NLukasiewicz algebras of order n
: P( Y6 @1 w1 A0 [# t0 pM-sets
9 o; I0 O, m/ O$ P" y, LMedial groupoids8 q8 x- W3 O! c, s1 L- j
Medial quasigroups7 D% H. `1 G7 p2 u, _% A* y) R6 n* ?& r
Meet-semidistributive lattices, F- q# T; i7 P) \: m
Meet-semilattices6 G( T: {0 Z" Q& G$ \) t
Metric spaces; g+ o) [9 S; c1 W1 w, l
Modal algebras$ Y. Y# A! j) c
Modular lattices* v- N/ m* u( w: r. w5 a9 Q9 I
Modular ortholattices
8 V, R+ f5 V/ P8 fModules over a ring
9 v9 S+ Q6 [$ \2 W# T4 D& t, _1 o8 xMonadic algebras/ C' W+ q, v, O% H$ G* H
Monoidal t-norm logic algebras7 G) X2 F9 e& K: S8 X) ` {
Monoids, Finite monoids, with zero/ H) f+ d$ k$ P
Moufang loops7 I4 U4 S/ H- e; }
Moufang quasigroups2 H( R: z+ G, `4 K0 f8 {2 n
Multiplicative additive linear logic algebras$ ]/ h8 l# y* d, J7 F
Multiplicative lattices
. v: o* S; D- o X, c* W( V) x+ KMultiplicative semilattices. h/ A$ m H3 p+ y) m2 g5 H
Multisets
& s6 p* S) b0 U' w5 |1 F- c2 pMV-algebras
' f" s. K/ P* k% KNeardistributive lattices
! _5 |( c4 G; Z |* j0 K" oNear-rings
/ X" H& z. c) ?5 [* D* _Near-rings with identity
5 C. o/ J& H- ^Near-fields) t h- w* C* j1 x* ^# x+ N7 P
Nilpotent groups. e3 p l- C- E6 t$ S
Nonassociative relation algebras
3 n; ~2 K F3 WNonassociative algebras6 D: k4 n. y0 \6 H# e
Normal bands
i! a) O- w8 h7 [) zNormal valued lattice-ordered groups
; r* y7 d# O+ I8 hNormed vector spaces, J, i% F1 J6 w5 m
Ockham algebras7 e- A5 S& u6 K" _1 R8 P5 N* M
Order algebras: f/ f' z6 N8 K3 v- [5 @* A5 n
Ordered abelian groups+ m5 ^2 x3 X: `
Ordered fields3 F2 j1 K `( \ l' S8 w
Ordered groups
; @- p: s I& f/ W" {Ordered monoids- M' B4 ~ z. v
Ordered monoids with zero+ l, s* E: w0 _5 w. c4 k
Ordered rings
) i- c# x9 y0 `( E& o) Q5 uOrdered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero0 ~) W. m) d# T' ~- W
Ordered semilattices, Finite ordered semilattices
' X7 b7 h% g% o! }- z1 W0 ROrdered sets" o: Z/ h- J9 b2 T6 g, b
Ore domains# n7 ^! Q$ q& Q* j! I. x8 z/ _
Ortholattices+ [* i; f4 L8 t0 H3 }- J
Orthomodular lattices
# e: A' L9 Y+ h- k3 J% yp-groups
& W- q4 O4 ?/ L+ q- e8 t( LPartial groupoids
7 v! ^" j7 P1 y. l$ S4 l6 d4 JPartial semigroups: ~1 f% ?: v$ t* B4 E* }
Partially ordered groups
" v" _( R3 a1 B8 A+ W4 b H! b6 EPartially ordered monoids
i! p8 I ^2 e+ ]0 yPartially ordered semigroups
( q. c* W0 V# w' x/ x9 JPartially ordered sets( ^; A; u9 k& m8 _2 \' W" i
Peirce algebras( ]! r6 U/ t( u! k& o$ N' n
Pocrims
2 I0 T) D) C6 j- fPointed residuated lattices& i% q+ H# G% c$ o9 M% Y M8 M
Polrims6 u' q+ J ]4 N% y- k+ y
Polyadic algebras$ z* _- Z3 m- Z% G" r3 H
Posets
" X/ r0 U7 p2 G! l+ d) q: ]! Q- DPost algebras
9 Q& k$ Y P$ L8 CPreordered sets
3 N6 j/ o5 t& F/ z& tPriestley spaces
8 R2 ?5 M7 X2 d; ?Principal Ideal Domains
9 h4 ?1 B# D' N; g0 {Process algebras
% x. y1 B; v" [) i' ~% Q6 h: ^( yPseudo basic logic algebras2 V' t$ R5 O: H9 s; k. S
Pseudo MTL-algebras h Z) i9 ]9 |% w! A2 R; Q4 \
Pseudo MV-algebras
5 R. d. v, N% E1 Q, j3 t X$ JPseudocomplemented distributive lattices
1 z( e- z( j- H9 Y H, b4 cPure discriminator algebras
+ Y8 h# k( i n3 T" G5 p, yQuantales! g0 _# Z9 @) l$ B# o
Quasigroups& [1 K" l4 J, ?# v" r5 a3 F. P
Quasi-implication algebras
3 v: c& V3 M( E2 |2 Q4 a: P7 pQuasi-MV-algebra
) V: Y+ I, @3 e8 @* r3 CQuasi-ordered sets& X! G) D0 A/ \8 y0 b
Quasitrivial groupoids
/ t4 w$ R' U" x: E' YRectangular bands0 `7 r F' o" P+ J* S8 q6 O
Reflexive relations1 [- {, j1 u2 S4 u
Regular rings
: _& @4 S2 e9 u( B; j' x: r- h8 URegular semigroups. d0 H3 x5 Y# R6 n
Relation algebras
1 v \) ]8 N: o1 E. ?; ]Relative Stone algebras
z# F6 t2 u- p; n( yRelativized relation algebras/ ]6 c7 N( K9 R: O$ ^
Representable cylindric algebras6 N! c3 C* O0 a! t. C- D6 I. `
Representable lattice-ordered groups
8 C# @( `4 H6 M4 n1 ERepresentable relation algebras
5 O/ Q, }" I) P% U, o' K: }) NRepresentable residuated lattices, s. O" U2 i3 R2 x
Residuated idempotent semirings1 W1 n4 y. b# l
Residuated lattice-ordered semigroups( s4 I% f) W6 h' O) U1 g
Residuated lattices
5 V& p- F$ e3 A" d8 H: M0 L2 MResiduated partially ordered monoids. b5 d: Q! x% F
Residuated partially ordered semigroups: H1 z. f/ @, K) }6 x" C& m! r
Rings
$ l/ `9 ~# l1 a3 ~% ^7 `. v4 ^+ KRings with identity& n6 D; w5 A* I& y) J
Schroeder categories; T3 ]" N" b2 w5 I
Semiassociative relation algebras
( k& w& N+ T5 S9 {$ q XSemidistributive lattices
4 A" ]6 O# m3 B$ B& O8 ^$ hSemigroups, Finite semigroups
4 r$ o# A, }( f, a5 T6 m. jSemigroups with identity
9 z9 t0 ? J# H+ NSemigroups with zero, Finite semigroups with zero
: C, k% j% E- e( z: q# K$ A* @Semilattices, Finite semilattices
2 P4 U- c6 q/ F& V6 b9 N9 l8 vSemilattices with identity, Finite semilattices with identity( C0 }, w3 Z: k' }' `" p" @
Semilattices with zero: d& N9 n% ]% P, u; N( @' d; k! k
Semirings
: w, Q, g2 i0 BSemirings with identity$ N; J" f9 g$ W. W5 |
Semirings with identity and zero/ S: T. L: i: o4 I& h6 H s2 m
Semirings with zero
. w& q. K: F( ]8 {) eSequential algebras
) k+ ^9 a$ k% L8 fSets
& j# ~$ e4 P# H- p6 h( aShells* R; p1 K' |: e$ Y3 A$ j+ `
Skew-fields
6 j5 ]) g2 r$ B0 |% GSkew_lattices1 {5 r$ Q0 v$ R" f+ n
Small categories3 Z9 y7 N3 [9 s# b% Z. I- n" J1 u
Sober T0-spaces3 t- [% f: x/ ]' s
Solvable groups1 \0 P/ y+ H" b1 W: z2 X/ S
Sqrt-quasi-MV-algebras. T3 ~* f; E4 j7 u5 h
Stably compact spaces
: }" }0 h; E( i' ?Steiner quasigroups
1 _$ x& L$ b9 v8 v; T r3 [, jStone algebras; @7 r. z; ]$ ?. [! E5 J" \
Symmetric relations
8 Y+ I+ C' ]6 |3 m# y- Z7 f, D8 uT0-spaces/ f7 B2 |' p* R8 a4 w* S
T1-spaces1 ^% d# L4 ]( E8 W# q X* e
T2-spaces
G3 o) o- e& h* k$ n" iTarski algebras6 x; W' x0 j7 }
Tense algebras
0 j( X1 ]$ S! r9 E- L- _Temporal algebras
1 x8 b/ Y- m" w: gTopological groups; Z/ s1 p0 J$ K, a' z
Topological spaces
) S+ o9 I; ~) U2 P+ lTopological vector spaces m& G+ j5 K" ?' I1 i& |4 T: ~
Torsion groups
5 D" Q( `) ^" HTotally ordered abelian groups
% t- W0 G/ {4 H0 s8 k/ N3 M! W& XTotally ordered groups$ Y: t5 v3 [$ E0 Q
Totally ordered monoids0 b- t3 x" Z6 W9 e2 H- b9 @
Transitive relations
1 c, J4 X# D9 R, a" h2 J1 YTrees
& ^1 j/ t/ z# J( KTournaments! B: i: D, _$ B9 Q# O. K3 q
Unary algebras* k S M9 a( k4 i
Unique factorization domains: z& h" x" p( W0 U1 G( H; i8 T9 S
Unital rings
5 @% \; h; y0 _, d* _, z5 pVector spaces# z/ |. [5 h g
Wajsberg algebras
% G" `4 N; i8 f# u& j6 q3 RWajsberg hoops {- }" Y! F/ i- l. y" {
Weakly associative lattices6 s! R7 r8 @, |4 n: M' h
Weakly associative relation algebras
# U) o5 S9 _* F6 r0 ^Weakly representable relation algebras
1 }9 W9 h( Z9 H8 q' q2 c |
zan
|
IP卡
狗仔卡
发表于 2012-1-12 13:19
转播
淘帖
分享
收藏
支持
反对
微信
提升卡
置顶卡
沉默卡
喧嚣卡
变色卡
抢沙发
显身卡
