- 在线时间
- 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 h- x: |& i3 h/ ~" {' m
1 w4 B/ r4 y! n
Abelian groups Abelian group
1 j- V9 o# c/ l- LAbelian lattice-ordered groups. R g6 g! ?% i% a/ c @
Abelian ordered groups
. y& H' r2 `# w& m; \Abelian p-groups
" @5 b* Y0 F7 u) ^6 uAbelian partially ordered groups. I3 @3 f2 W7 O4 P+ l( s
Action algebras Action algebra
( t* @2 B9 X! d2 }$ w8 U- A) @! j$ b/ J6 JAction lattices! W2 c1 J/ ]7 [7 ~# {0 M, B
Algebraic lattices/ n7 J/ g) _ T
Algebraic posets Algebraic poset2 w' H- T3 u" | n3 R
Algebraic semilattices
; ?- V% C. \$ r2 Q; d$ QAllegories Allegory (category theory)9 ^! |! ] @. @" ^
Almost distributive lattices
5 S& B0 t+ O# R+ H5 T0 ~) |8 OAssociative algebras Associative algebra
5 q" _* d5 |, K# K: aBanach spaces Banach space
9 `2 B6 X c$ @& m9 fBands Band (mathematics), Finite bands& Z5 p! Y# Z9 Y4 A8 B8 X6 ~
Basic logic algebras
: w7 g" m# a. r# I9 O- ZBCI-algebras BCI algebra& p5 i2 x3 `+ S$ B( w
BCK-algebras BCK algebra5 F. t; ]3 n0 ]+ X
BCK-join-semilattices
! H4 P) e5 d T4 {# h& ^BCK-lattices0 J, e, D& x& y @4 U
BCK-meet-semilattices7 H0 c& k. P4 I& ~
Bilinear algebras
* ^0 V4 C4 P& a* V6 LBL-algebras5 }4 f/ V5 C8 e1 N. ^/ ?0 g$ }6 Y
Binars, Finite binars, with identity, with zero, with identity and zero,
! n6 S' M2 b& P7 X d% a: _Boolean algebras Boolean algebra (structure)
- a$ S- j' W! ?8 D6 A7 g" FBoolean algebras with operators
, N5 J. W* K) l8 @: q0 iBoolean groups
9 A: d, U$ E: q0 D5 N5 qBoolean lattices
6 S- S! Y# X/ I0 |4 w o. L1 |# kBoolean modules over a relation algebra
$ S8 O$ {0 W5 ^5 \6 s- ~) gBoolean monoids
0 _+ \1 d$ L# V( Q7 lBoolean rings4 L' a/ t# z* U" W
Boolean semigroups4 I) p8 ^! `% C# H: O
Boolean semilattices
; {5 G$ A7 e2 K, ]* SBoolean spaces
" w2 @* s7 N/ T- a& ~( PBounded distributive lattices
[- c e Z A- x2 [. SBounded lattices
& Y- c0 [' s3 o; V% m% ~$ z& N8 v9 ^Bounded residuated lattices5 F5 i( Q8 y- y
Brouwerian algebras
! b* f/ d Y* }. P' e3 g( s8 I# vBrouwerian semilattices
2 m( W9 r+ J! FC*-algebras
6 K O) t* z$ [1 G, j& _Cancellative commutative monoids
- R1 p! B, h8 k- gCancellative commutative semigroups
: m% o6 k7 ?) h3 vCancellative monoids
- f0 V! \' R) [1 B, KCancellative semigroups
* h$ C8 O4 M c5 H' mCancellative residuated lattices
. r }4 s& K3 |( UCategories
1 j ^2 i4 J6 W6 C- Y4 H3 P& YChains( m/ a* }# Y. w2 D+ I
Clifford semigroups6 N" C0 G+ R/ G) f/ d# ?) b$ D
Clifford algebras7 x% z% ?6 K2 o: z6 }6 w/ p
Closure algebras1 ]$ C. A. @) e8 S. W* ?- ~, }
Commutative BCK-algebras
# |8 k' L9 u# OCommutative binars, Finite commutative binars, with identity, with zero, with identity and zero
- f( a1 u" ^+ d8 }) B' ycommutative integral ordered monoids, finite commutative integral ordered monoids
5 t, P1 Q+ x, @% w: CCommutative inverse semigroups0 _; y; F7 C8 s( y- g* J
Commutative lattice-ordered monoids
3 f8 b0 v: f. j1 \* P. uCommutative lattice-ordered rings- K" f& g( P6 c( W8 J
Commutative lattice-ordered semigroups
" p4 Y1 N$ r9 h2 R0 [& ?9 HCommutative monoids, Finite commutative monoids, Finite commutative monoids with zero
& u: }; F9 p- c( zCommutative ordered monoids) M3 ]% \5 ]! X; ]. b; _1 ?
Commutative ordered rings8 @' [) [* i# \4 \2 S; ?; `
Commutative ordered semigroups, Finite commutative ordered semigroups
; w: |3 ] x5 J2 ]Commutative partially ordered monoids5 E. ^2 i) ^4 p8 Z3 G$ a0 s
Commutative partially ordered semigroups
2 E. Z' P7 i# y6 X. nCommutative regular rings) C/ u1 z& n" }# [: t
Commutative residuated lattice-ordered semigroups4 M9 L, B6 D( n% f
Commutative residuated lattices! R* L! a: R e1 `
Commutative residuated partially ordered monoids
- }0 |, ]5 g: x" D v/ nCommutative residuated partially ordered semigroups
, l" { y0 j* t. o; NCommutative rings7 W: _" x) C, Y' K
Commutative rings with identity
" s+ a4 o, {6 ^0 t! Y& F" ~3 TCommutative semigroups, Finite commutative semigroups, with zero( R- Q- _# q0 ?' c# k, z
Compact topological spaces* M- r& N% X* r: T1 B+ Y% \7 X0 n
Compact zero-dimensional Hausdorff spaces4 l, m1 q8 x. {7 Y7 |
Complemented lattices
4 B" S! H* H. \Complemented distributive lattices
' q" \% w) e2 H/ I% vComplemented modular lattices1 V. Q0 l9 n( s- N( u+ O$ U- d
Complete distributive lattices* \; t# x; o6 N/ h' W" B
Complete lattices
6 Z" R' N+ G/ x' g. I) H- `+ {: kComplete semilattices$ ^8 y( ]: Y- a( j
Complete partial orders. q! u6 x! Z, n, x8 j4 h$ Y# a8 |
Completely regular Hausdorff spaces
/ I5 L' N& y- W$ _- X. m- TCompletely regular semigroups
" {. S- Y5 y: W2 ]Continuous lattices
3 F+ O3 y. L. F3 M% ]Continuous posets! I! [* J v+ w
Cylindric algebras; A! |; Z9 [2 h$ V9 A
De Morgan algebras# e8 Q& o! v/ J. N: _: v) B
De Morgan monoids
' S$ I- m, p0 z# L! TDedekind categories. ?! l4 P5 [' V# ? `, T' M8 s
Dedekind domains2 c( O1 b2 n: D4 l$ i! |
Dense linear orders
7 n' H% h4 ^, |4 r- dDigraph algebras
3 X& ] [9 ^3 Q% K5 u! gDirected complete partial orders# K3 K% z1 L/ `, r" w6 _
Directed partial orders6 f" ]8 Z7 }$ ?
Directed graphs
% |8 |8 ^) b4 bDirectoids: }5 F+ [- T4 R- }
Distributive allegories# E! s$ h: V2 c4 o1 u
Distributive double p-algebras* \, Y/ D& n/ u, X; v# U) l
Distributive dual p-algebras
, |% {; f! o7 K$ TDistributive lattice expansions
% [) m/ O/ C Z; T/ Y3 J" nDistributive lattices. D% x$ j0 p* B$ s- V, ]
Distributive lattices with operators l" S" d# c+ A
Distributive lattice ordered semigroups
4 V; ]9 d6 r4 Y; n1 ~3 lDistributive p-algebras" v) ~3 R, s& f. V! {( {- r
Distributive residuated lattices
, x0 H; g9 E4 Y) D/ B, A; VDivision algebras( v* f) Y8 s, Z% t1 L$ k' @
Division rings
) g- x/ ^+ S+ E5 m. O5 FDouble Stone algebras! s1 P6 `9 F3 Z: O+ N
Dunn monoids
: e% D$ o+ X0 g8 [+ X+ ?8 a, oDynamic algebras
8 L4 _! ~& u- f. a+ SEntropic groupoids
" f2 Q0 ~8 ~5 IEquivalence algebras2 Q, {9 n; K) G% J) y8 H
Equivalence relations
* R+ k; Z( Z# I7 d/ A1 oEuclidean domains
3 K8 V! W8 M& t5 K6 u3 Sf-rings
1 x& g u+ V+ ^9 w4 K5 p2 \; VFields
2 Y s4 e* l7 i/ T1 v) _FL-algebras# l% y2 a: x1 v
FLc-algebras& O2 o+ g7 D2 D/ h; P
FLe-algebras6 d6 Z& c9 v6 I! _) x
FLew-algebras
2 ?+ t/ F8 ^& s VFLw-algebras
6 Z6 u5 i9 ~/ P2 X+ }2 r9 TFrames3 z/ ~# r5 x( q S2 {
Function rings; L% |2 c* m" ^
G-sets
2 Y, q4 ^$ w; K; Y' UGeneralized BL-algebras; i: Q7 t4 p0 x: h/ _3 D( n
Generalized Boolean algebras
- E/ d1 `, M/ n8 `6 O8 wGeneralized MV-algebras6 k3 y/ U7 `4 \- x5 j, Q* A7 d
Goedel algebras8 Q0 I) S/ _* g: x' d" R7 \! M
Graphs
N( @& I# v* d' p% Y) xGroupoids
. g) \# `* r$ v% G i# }Groups! f" |# s* X# P$ t/ Q' {* T
Hausdorff spaces( @4 k3 j4 l7 p
Heyting algebras o/ X+ F# s7 ^+ J4 h2 L1 x' F- Q2 p3 H
Hilbert algebras
3 @+ m# M0 o6 o) r2 w6 L. hHilbert spaces2 q7 z( z3 ]. w9 H; K9 U6 j
Hoops
% y0 u- U( W& H' w: ?& e! n& xIdempotent semirings' s' l/ N1 z# U3 V9 }* o: L8 T
Idempotent semirings with identity) t; j! `# H- m% O& {
Idempotent semirings with identity and zero, I' B1 l1 m# m# M
Idempotent semirings with zero; q' \0 u# Y! x# ^& K3 `
Implication algebras
' O- V% p4 n# KImplicative lattices) |. w0 E# S: R/ _5 @# R* X6 G
Integral domains" ]. F& j( z1 ]- O. F1 h; k' U6 } d
Integral ordered monoids, finite integral ordered monoids
- C: |' K6 M9 m. |' [Integral relation algebras {9 R9 J% o; Y0 i8 c
Integral residuated lattices* s2 \# O! n7 W) I% a* ]* o
Intuitionistic linear logic algebras) R; l3 q5 l. V
Inverse semigroups
8 P7 S* p/ p e- k2 ]Involutive lattices" g% [2 q/ v* b+ F- n; S3 u4 `6 i1 h
Involutive residuated lattices2 D5 ]+ e% O& @
Join-semidistributive lattices, _7 @7 g7 L6 }5 I8 d* W
Join-semilattices3 F, `/ P7 ?. R. n& r
Jordan algebras8 J# E% j. _- H" L& E c0 o
Kleene algebras
' @) C, @$ i, o% c/ ]% WKleene lattices
/ T- a7 Y" o! WLambek algebras
}% |( \( }2 |Lattice-ordered groups% W: k: W/ x! k5 o4 Z0 j
Lattice-ordered monoids% ] F3 a7 l! D' ?8 h
Lattice-ordered rings
& S4 W2 T% X3 r# fLattice-ordered semigroups
6 j! i h4 _' c* C# l1 f! B V7 qLattices
p) ~% z- |6 [Left cancellative semigroups
) Z) }3 g# Z- F9 G5 XLie algebras2 {( r( w- o! e
Linear Heyting algebras
J# U! z1 |2 i: b' R5 K1 oLinear logic algebras
0 {: m0 x" A# L( E2 O( G( l% r& A8 m1 BLinear orders1 D( d1 h; F2 p5 d
Locales$ T. [4 v1 j1 M9 U% c
Locally compact topological spaces
/ o( D. Y$ X# D% \* N" PLoops
M" m) g& u" S9 A |# o" b ELukasiewicz algebras of order n
3 K! t j D3 _1 A( y P: y: pM-sets
" C" Z; c6 O6 SMedial groupoids
( [, q# D }0 G! B4 f2 VMedial quasigroups
$ v1 {3 ?' `9 |2 L5 FMeet-semidistributive lattices% U: F# H. l' L5 c6 a4 L. |, K# A
Meet-semilattices+ h* K0 A) F9 H' `
Metric spaces
' F: s5 w* _" ?/ H" Z; ^ pModal algebras/ u; p1 Q) E# e8 E* C2 r
Modular lattices
$ U% i. |( e, vModular ortholattices
0 n# S1 t9 u& H' z' DModules over a ring" F; e8 d+ D4 h* {
Monadic algebras
7 c; m7 o" F4 A$ RMonoidal t-norm logic algebras& A: W5 z" {* W- B* V
Monoids, Finite monoids, with zero
e0 m: z9 l" Y. F2 X. SMoufang loops
7 _3 Z; s) k0 L( E0 RMoufang quasigroups6 S! u: a8 Q2 d
Multiplicative additive linear logic algebras
/ H: ^: w2 ?6 M1 Q1 ?; CMultiplicative lattices: m t' w7 k. D3 Y' |
Multiplicative semilattices A1 h6 X% S* `) ~$ g
Multisets
4 q; h4 r# p6 K. KMV-algebras
7 _, u4 P @/ {7 t# [/ CNeardistributive lattices/ L% Z' J6 _( T1 _# R
Near-rings g) z& |9 J [3 z% }
Near-rings with identity
- n" h$ G0 `1 \9 _% eNear-fields
/ I: X- p' C- m" d* `* W# }Nilpotent groups% Q0 D) @/ W9 F0 H
Nonassociative relation algebras
7 i: Y4 J! S# K7 H" kNonassociative algebras4 M5 Z0 B, ]# s! h% n! V/ i2 W! B; w
Normal bands( F3 }4 v- X2 l' Y/ E B$ b
Normal valued lattice-ordered groups
: P3 I; M, J `Normed vector spaces9 [( y: s7 |' Z; ^0 [
Ockham algebras
( K3 g7 X# o. \- X) w ~$ UOrder algebras" ^8 S" b9 U3 w* K- L. B {6 h
Ordered abelian groups a) ~8 x; D+ _ P+ ]
Ordered fields
4 P3 C1 |3 H- MOrdered groups% t" n- i" }& j, @, R3 q7 k
Ordered monoids
E% v) H4 Y" U# G1 ~3 J- MOrdered monoids with zero
! o, r# x' I7 }5 G! m9 Z4 dOrdered rings- |' t1 D$ m D0 {. ]* m) p
Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero; b @ j5 G4 \, V I. g
Ordered semilattices, Finite ordered semilattices$ n! M5 O! m7 U: t2 \
Ordered sets# }+ _, H9 _% }+ M" `% J) [
Ore domains
* R2 ~1 f& X; S$ @9 B: ROrtholattices
2 S. v. ` j/ C2 G! D/ \Orthomodular lattices0 o: [3 B1 K B# d* \1 a; l8 @6 s
p-groups0 J" l5 k1 i" {
Partial groupoids
1 ~) V' L/ \: oPartial semigroups; V) H" h; W5 u+ g" `
Partially ordered groups
% c/ i0 l+ [5 V( L1 X$ }Partially ordered monoids4 k7 x2 E/ T: j9 u( W! x
Partially ordered semigroups
1 U$ `; W/ i' o* }+ K9 NPartially ordered sets
/ F& F r7 s% g: [& E7 ePeirce algebras
) G- r! x% B5 X7 w5 l" Y8 yPocrims
9 J/ k( b8 c$ l0 j3 \+ GPointed residuated lattices
" P6 ^5 O4 V, bPolrims
/ l7 D$ c" \6 B. O4 \# ~. u; oPolyadic algebras" B) l. u& N& r9 d
Posets
8 I& J, W7 f( [; K* [& F( BPost algebras
2 U& [$ H# j* ?+ W6 Y, @5 oPreordered sets* V3 u; S, J2 C6 I8 G
Priestley spaces5 i5 z* Z) E3 I* A7 y& z9 G" W
Principal Ideal Domains* C. I9 C# E* q5 s
Process algebras
" D( [5 C0 G+ R- TPseudo basic logic algebras
* Q) M2 y4 J2 t/ D* [Pseudo MTL-algebras
5 Z3 H& v& G! E. ?6 T9 O7 uPseudo MV-algebras
2 P! h: [. g/ ]6 x" P+ l s1 C% UPseudocomplemented distributive lattices
+ M4 N( a, o3 ?6 BPure discriminator algebras
! W, V% F+ D0 d3 ?8 TQuantales
; w) D$ ?6 _& M" q c" N# a' ?Quasigroups
w, n& b1 g* bQuasi-implication algebras3 g7 k" J5 P3 Q& T
Quasi-MV-algebra
+ G$ G+ `; S- J& l- J* AQuasi-ordered sets" Q! }# M# [% C0 Y" a7 Q( V M
Quasitrivial groupoids8 m. p3 @6 ]2 A0 P
Rectangular bands) o& G, C* o+ Q$ x2 |8 d
Reflexive relations& \ j9 @" c4 \: ~$ @- z, m% q
Regular rings/ c' U+ m4 ]$ {2 f Z8 k) R5 y$ B
Regular semigroups
8 W# J1 e; H9 j, x6 N1 c A+ z/ hRelation algebras, \' j# v- O0 E4 U. j/ @, J( N
Relative Stone algebras( Y1 j ?5 o7 [
Relativized relation algebras
8 t" X$ r; S3 v! Q; [/ sRepresentable cylindric algebras
& R+ p' K; A! \Representable lattice-ordered groups
+ L0 V2 a8 O( }2 R. lRepresentable relation algebras
1 j5 z% ?6 [+ zRepresentable residuated lattices) @; a$ D& J2 ^
Residuated idempotent semirings0 g( ~7 Y; z' j- D
Residuated lattice-ordered semigroups6 e0 R" Q0 } l- `- y% `8 |
Residuated lattices
$ z. y B# J0 E, }( IResiduated partially ordered monoids4 E- T0 |9 O/ c2 D5 r" @
Residuated partially ordered semigroups
1 ]; d+ M2 ~. e7 Q9 i$ g- YRings2 ]8 d* m" s1 g0 \
Rings with identity
+ f. z' A. V, Q# W, G/ b8 Q0 {& w; @/ fSchroeder categories+ Y! g5 ?9 X7 v' M9 l" i! v
Semiassociative relation algebras
% d& j A. R: M3 X0 ~+ X! mSemidistributive lattices
1 L; f$ C/ W+ H- X; b% l4 CSemigroups, Finite semigroups9 ~7 ^) H' J0 b
Semigroups with identity7 h3 n, U/ F; b: Q5 q/ o
Semigroups with zero, Finite semigroups with zero
. a6 x' J6 q8 z$ |# _( a; wSemilattices, Finite semilattices
; o. a& L+ E, ?, n9 vSemilattices with identity, Finite semilattices with identity
6 L$ ?( K) c/ ySemilattices with zero
; \0 h' l: \, @4 V( G9 s/ BSemirings
1 X0 T% }; U2 @; n, ZSemirings with identity
5 n1 Q3 N5 y; b; y" O; FSemirings with identity and zero( I* F( V6 v/ a' m
Semirings with zero: F2 N+ [" P; F1 q) ~) S
Sequential algebras
4 }& |6 c) K$ Y5 o% zSets
r$ t4 f2 h5 U: Z' T9 {' V/ h- ?+ bShells( N$ B8 j4 K1 ~) \4 ^# ~
Skew-fields
. d# z) V! t' ~. a- [/ @Skew_lattices& j4 k9 |) ~0 T* ?6 H+ W) H1 n
Small categories
3 G7 `( y1 }! s+ c9 t$ M2 D! jSober T0-spaces( `: e3 J+ |0 k" \/ O1 q/ |% m
Solvable groups9 Y9 b1 Q- P5 e
Sqrt-quasi-MV-algebras+ p- B5 f$ p n( P% x
Stably compact spaces
6 H8 n; t: A- N! V# x7 LSteiner quasigroups
1 {7 }, W9 G0 k7 `Stone algebras+ |2 d: j8 D5 {
Symmetric relations9 r% g$ p: ~& z! S
T0-spaces# v B+ a% D" V1 H5 F- `9 t+ l2 k' Y
T1-spaces4 X+ E# ]& V6 _/ }8 n/ M
T2-spaces! u6 S$ `/ S+ b4 t/ p2 o
Tarski algebras: @0 @, H3 p6 Y4 B& v, K
Tense algebras
* f# j! O9 g. }7 _Temporal algebras
( z! |1 f4 W' A7 D& ^Topological groups: E* i! e- G0 a3 E9 t9 j, a! V6 T& g$ q
Topological spaces: N6 N! x" V! r
Topological vector spaces
, U" o3 \# I' P9 U9 Y5 W; K; ETorsion groups
) X) W3 A/ m4 H8 J; X. GTotally ordered abelian groups
. `% N0 r! D) s- mTotally ordered groups5 y6 u h/ c' ]# P7 a( z. Y
Totally ordered monoids
2 D) j! N. I) |+ hTransitive relations7 H% l( @ w* ?* t
Trees
) P, Q9 G% |. B6 XTournaments
( U' m- b$ a) W( _* k& hUnary algebras
. s6 H0 @- z' P" c0 E. u6 _Unique factorization domains7 s: z$ y0 x; }: Z. V# ^
Unital rings
7 `; E) o6 |5 H4 K# ^5 u0 RVector spaces
9 O* z7 E8 t: WWajsberg algebras
( v) k3 {* q# j, x+ dWajsberg hoops
) |9 O5 o. E1 AWeakly associative lattices
8 U6 {1 ~: b# c! P& jWeakly associative relation algebras
: W1 v- ^- B+ [; JWeakly representable relation algebras/ Q; Z3 S% G; _' l5 j
|
zan
|
IP卡
狗仔卡
发表于 2012-1-12 13:19
转播
淘帖
分享
收藏
支持
反对
微信
提升卡
置顶卡
沉默卡
喧嚣卡
变色卡
抢沙发
显身卡
