- 在线时间
- 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
 |
! d8 \5 K) j& S+ z2 O& Z7 Y
$ K, q5 o8 W) k2 h. FAbelian groups Abelian group- C m. ]' l9 e5 H: T" B& s
Abelian lattice-ordered groups
0 ?* N7 C0 I6 ^) OAbelian ordered groups* t- a/ z, c- U+ o9 U0 K
Abelian p-groups
) @9 I5 ~& H( T; `8 M% F! U9 hAbelian partially ordered groups
6 y. D& o1 A; L4 N Q5 @ T; L. R1 dAction algebras Action algebra" K/ B: h9 J. m" C, B; _
Action lattices# z0 c9 E! Z) f3 \
Algebraic lattices1 h! ^+ }# w! a) t, N9 h
Algebraic posets Algebraic poset
+ P! i- u' L# ]+ A5 HAlgebraic semilattices, c6 _$ @( _: K3 n
Allegories Allegory (category theory)! m& W j6 r; g* h. e( i) ]! n _0 a# _
Almost distributive lattices
2 q5 ^+ S' d% OAssociative algebras Associative algebra
2 d! {2 {/ J b! Q# \5 nBanach spaces Banach space
. k$ Z% f: p& L: x3 I! } QBands Band (mathematics), Finite bands0 i; E, a e% A5 P. w; Y
Basic logic algebras
# j, B& I$ p. w0 P) tBCI-algebras BCI algebra! H0 N6 z' Q" ]/ n% X8 c C9 V
BCK-algebras BCK algebra4 J4 z& S; g( A1 z) R
BCK-join-semilattices
% r* C1 f# z! B8 r& ~4 FBCK-lattices
6 F3 y1 @& [) I' m- \BCK-meet-semilattices
3 C% b: u- H2 c p3 }( G1 `Bilinear algebras
1 ?1 `: A4 v: k7 R8 E' G' T; [5 ?BL-algebras
1 m! L; ^" t. f8 R% s' DBinars, Finite binars, with identity, with zero, with identity and zero, 8 D+ K$ G3 x* ?$ U
Boolean algebras Boolean algebra (structure)
" I& l6 B) z" W: Q+ R. mBoolean algebras with operators8 X- L& X" w3 l
Boolean groups$ v1 `( L* D0 Q2 r! v% Y5 Y: f
Boolean lattices$ L: j2 `0 ?9 n, v U
Boolean modules over a relation algebra
; I$ G1 J3 A1 ^2 b7 A) M) Z. DBoolean monoids
. J* P( y7 t/ V+ ^4 V* y6 B cBoolean rings
9 B# j# p( f6 t j* IBoolean semigroups6 q+ i( v t8 T( l v5 {! ~
Boolean semilattices
, G( I: |7 E- G# _Boolean spaces
1 G) @3 n3 Z' W# KBounded distributive lattices
. j/ L0 U7 a3 J. I" LBounded lattices' [: x" d7 |! N# m9 O) h4 s
Bounded residuated lattices
; D7 Q7 w$ Q# a$ | A( xBrouwerian algebras5 o) }% c. v: }: x- m2 q, U
Brouwerian semilattices' ?# B0 _! N& w; F
C*-algebras
: i) v& U4 n- a7 S7 u% |/ bCancellative commutative monoids+ S4 M" X( b% w% n( F$ a! R
Cancellative commutative semigroups! o& Y2 _% `5 G9 ^3 r3 ~ A
Cancellative monoids
; m; u$ \8 j K t7 zCancellative semigroups" J0 Y+ N& ]$ {! d4 ]3 N/ N! ]
Cancellative residuated lattices# `) o. J5 b! W' ]7 W1 [
Categories
B9 K, |0 ^( Q3 m, O% U8 QChains
! b* Q7 J6 V. i1 i, AClifford semigroups
' {, a4 V- E9 a. w. ]( DClifford algebras! ]* j3 m( I+ I( N
Closure algebras! z F3 H& e" O
Commutative BCK-algebras
5 l! T) {! d1 V2 ?- KCommutative binars, Finite commutative binars, with identity, with zero, with identity and zero }4 q% s" n) @
commutative integral ordered monoids, finite commutative integral ordered monoids
/ B; {# {+ Q2 t) H rCommutative inverse semigroups8 L% q" Z3 ^4 e0 i7 E
Commutative lattice-ordered monoids! q& N f5 s+ ?4 Q$ C
Commutative lattice-ordered rings- a7 }4 j3 a7 f3 b* h; ?' t# o
Commutative lattice-ordered semigroups5 I$ t) t5 O/ l- q- O
Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero
~7 |( ]; ], Y! M( A+ _Commutative ordered monoids
2 w$ `9 J7 q. l+ ]Commutative ordered rings: R8 x$ @4 {- o B# S$ V5 m9 z
Commutative ordered semigroups, Finite commutative ordered semigroups% }2 Z( D+ N" ]
Commutative partially ordered monoids
3 e( u. X: E- y) XCommutative partially ordered semigroups
5 l2 |- a+ m5 o2 S+ m' I4 C% eCommutative regular rings# r- i9 z! T% M: H9 o( ~0 ]1 M+ A' j
Commutative residuated lattice-ordered semigroups: ?( S) c8 I v2 Z W
Commutative residuated lattices- [* C. _ C) s; D
Commutative residuated partially ordered monoids% [' U& Y0 _& y3 {& P q2 B v
Commutative residuated partially ordered semigroups7 f! n* ~4 h* d# G6 T6 x
Commutative rings6 n5 E* }$ @ Q# W, H6 i5 V( y+ p
Commutative rings with identity5 F7 N0 \1 Y) L
Commutative semigroups, Finite commutative semigroups, with zero
" U) Z3 `7 k) [% H/ r( YCompact topological spaces, n: F2 r7 R/ E
Compact zero-dimensional Hausdorff spaces( q9 _! W7 J& H: n# A+ i. V
Complemented lattices
* ]1 U6 `5 ^7 D k1 V: |Complemented distributive lattices
2 ~9 ?5 x- ]4 l+ [& EComplemented modular lattices
7 F6 k ?+ b* n" a" p+ ?- ^! ~6 JComplete distributive lattices* Y6 }" k8 T* u: N1 M. W
Complete lattices
) V- h. e; p7 O/ {! `0 V _/ gComplete semilattices) V8 n% H( B+ g6 @3 w
Complete partial orders. R% g x: l& Z9 ^& a% U- M: {
Completely regular Hausdorff spaces l7 [% Y) L3 w& d+ d* z d
Completely regular semigroups
, _8 N5 A: Y4 H0 f* m; `% N, fContinuous lattices
# \/ n/ J" s4 w% c& o9 U6 \) fContinuous posets0 i6 r1 k* T3 V9 y
Cylindric algebras
& c% t2 P$ K6 {De Morgan algebras
% H$ j1 j, g0 M4 y; o2 fDe Morgan monoids
1 E: H% q7 Q; uDedekind categories- U* y, A) ^4 O) w8 ]
Dedekind domains
; Z, K6 k1 l. T0 _4 RDense linear orders( F7 `/ H5 H1 j" E9 S- `* [
Digraph algebras
- u1 _% @1 T0 CDirected complete partial orders
8 }$ y) v* t2 {! X. n. _) sDirected partial orders! w5 Y l6 p! t, A$ E
Directed graphs: Z# U# X6 K/ u8 h9 w0 u* k
Directoids
2 _1 w: _4 E8 J! [ iDistributive allegories5 x; r& d/ z0 r2 t
Distributive double p-algebras
, @. g. i. N: tDistributive dual p-algebras
; n/ N6 e& g& h5 `, r$ |8 \* VDistributive lattice expansions
; q) D5 S! P/ h/ E/ ], ~) j i8 DDistributive lattices
- U3 t: O7 ?1 q e3 w8 \Distributive lattices with operators
8 Y9 r% Q9 i) aDistributive lattice ordered semigroups# N- G" }7 J' y2 H% r
Distributive p-algebras
; I# t- z+ B6 J6 [/ iDistributive residuated lattices5 m6 _6 e: Z2 X$ h: r2 ^6 [7 m) d
Division algebras/ r J/ c% e! X: U& k( M5 M0 i
Division rings
8 j! ?8 J& x KDouble Stone algebras
8 \/ s7 Z# j& O# VDunn monoids9 H+ R" D, A$ u* ]2 b- ] G
Dynamic algebras9 C+ V( M! e3 d, ] {* l! |0 ]
Entropic groupoids$ x9 M$ b/ S" u, C4 H; x, n& U
Equivalence algebras
$ b4 E) B9 N5 \! [Equivalence relations8 | q. `. ~ M) T- s+ v3 X
Euclidean domains. W& v" U! s5 @
f-rings
) @7 H2 R: h. n: N) p" E: j6 lFields/ B& V" I, A5 E7 Y9 G+ C7 x
FL-algebras5 |# q; x0 c$ S4 A+ w% l8 [
FLc-algebras
8 D$ U: z- ^' V3 X- QFLe-algebras
, K$ k( t3 S3 u9 t1 f9 {FLew-algebras5 r' p8 X4 E/ @, F2 e6 W3 I4 I
FLw-algebras5 U! S: H3 c" y# u; R
Frames
" b0 @4 ~- x5 a- w: r; R. ]Function rings( S1 W! q0 I! B
G-sets
$ J& j, _4 V5 o9 iGeneralized BL-algebras
/ E' F7 H+ S( o6 o" d4 N9 O* vGeneralized Boolean algebras
% m9 Z$ s3 {( m3 B f, j5 y: C" OGeneralized MV-algebras# e$ N/ c+ h- v/ i% D# T% S( z
Goedel algebras* o! D& e: _, d6 ~# Y
Graphs
: C1 ]) |* |" {Groupoids
8 ^, X7 N& d% f! yGroups. A' }/ ]. C4 u' E7 v: D, o! V
Hausdorff spaces
6 N3 H( P1 K2 o* y/ g' j' \' NHeyting algebras4 L7 s) K5 N# q; m: F* |
Hilbert algebras
/ u7 ~' L7 Y# KHilbert spaces; y5 F% H" U, x3 m2 M
Hoops
6 E, k V; }5 uIdempotent semirings
1 \2 h: a. Q, K% Z8 x# @) ]1 v- MIdempotent semirings with identity
% i. O! K. s6 ^9 T% W4 F( Z) M! uIdempotent semirings with identity and zero
/ X( S5 z* u) l; f* R- A/ V5 p3 q% FIdempotent semirings with zero
/ X. a9 B2 V( ^" T3 lImplication algebras4 K4 c; D7 |$ A- W# h
Implicative lattices
0 Z$ P7 [1 o" E# w# o EIntegral domains
5 C3 b$ ~; Y$ u& Q: Z2 ~Integral ordered monoids, finite integral ordered monoids
: {" x4 Z# {0 l$ o% Z1 D$ D1 ^Integral relation algebras
! Q9 v2 {1 ~1 S: p0 @# `7 \Integral residuated lattices6 m: Y# m# {4 l& U: B% x) l% w# x
Intuitionistic linear logic algebras, o% b4 Z" L1 i5 G) S5 L
Inverse semigroups
# @) F4 V( u9 WInvolutive lattices
$ |1 w$ G! e/ z9 b+ C m d: |Involutive residuated lattices; u1 ]5 Y V5 z0 y
Join-semidistributive lattices
" W7 S$ w% s" i1 g6 L5 PJoin-semilattices
" Y, W7 R" N/ ~Jordan algebras
6 U( n* F; w5 F# E5 iKleene algebras G7 p, z$ s5 X6 S- ]& R
Kleene lattices$ o: b, d1 x3 w1 |; z) {
Lambek algebras& S8 S. T% {0 s9 _
Lattice-ordered groups
* t6 b- @( l3 @8 \7 s( [Lattice-ordered monoids
: m: \- F) n9 Q' V7 C. E0 X0 ]Lattice-ordered rings" r$ @( R! ^; M L& G0 c
Lattice-ordered semigroups) O8 d# k4 P# P
Lattices2 _% C" f3 B B9 C7 y3 _
Left cancellative semigroups
' P! {, k- J/ w! D6 h$ [/ B+ [( CLie algebras
2 I8 T% k% s. i9 w+ y# Z' MLinear Heyting algebras
3 i1 `* R: e0 \$ vLinear logic algebras
- }% l: K" [' c4 j% O" L, O ^Linear orders
2 \& |$ Q0 {, [( v& uLocales9 s# N" t9 N8 O. M" y$ }! f
Locally compact topological spaces! N7 S2 f: B7 u6 z
Loops" b( |7 q* x: ^3 J5 O9 x
Lukasiewicz algebras of order n
c0 _ l5 v9 P# o4 G5 ]M-sets9 q8 ~ A/ D0 }: x: g Y+ t! B
Medial groupoids
, f2 k# Q4 T8 y6 z/ X; o0 Y a3 q; PMedial quasigroups
7 H) \* s" p! p' YMeet-semidistributive lattices/ Z+ L, S: ?, P3 U1 \: M
Meet-semilattices1 }' u- l! m0 b
Metric spaces7 l+ I& m I- g- t3 Q B
Modal algebras- S, i) }* Y' H% W# a$ x
Modular lattices! B2 M, U8 E! u7 E7 x0 R
Modular ortholattices/ P+ q: K0 Z' F/ |' t& |
Modules over a ring y( i( S5 ^/ h' r8 s3 i
Monadic algebras
1 W- ~- F8 p( A1 U* \( I RMonoidal t-norm logic algebras0 ~4 f3 m( D# ]' x" t0 T6 b
Monoids, Finite monoids, with zero% c# H7 L& x) {
Moufang loops c8 }% s9 J {( o6 }# P4 y
Moufang quasigroups
]0 R5 Q" b. _0 lMultiplicative additive linear logic algebras
# o3 ^; V8 V0 Z& tMultiplicative lattices- F+ C4 G- x: \' M+ C1 ^8 |
Multiplicative semilattices3 J$ q; I" ]. A/ D
Multisets8 D0 C# v9 O- L1 b4 y g. L
MV-algebras e% W& ?# \2 B+ [' d
Neardistributive lattices
# F8 }4 x6 d4 s2 XNear-rings
6 \$ e% B- k' \' ~! _Near-rings with identity
9 [3 N7 R8 w1 s qNear-fields
$ n0 ~* Z1 P. X/ wNilpotent groups- F2 c5 b' H' Q, [- w/ m; Q, I; x
Nonassociative relation algebras
& T# C; o t5 v# V3 MNonassociative algebras
$ ]% V& n- F0 |7 m% e" sNormal bands4 d3 n& {* u F
Normal valued lattice-ordered groups
6 k# P) G2 b0 |- B& D, JNormed vector spaces; O% _, E! j; x7 q* m: O/ F
Ockham algebras1 ~6 b. f% v. x# T
Order algebras) X& F# V) X0 H) @4 R+ u7 j3 ?& Q
Ordered abelian groups) B" ]6 j% c2 x- B+ Z1 x% o k
Ordered fields
/ H9 v1 t. w3 R9 H) |1 F: GOrdered groups
( m0 J% \6 S: S G2 O6 oOrdered monoids
$ O' w) a0 W0 F/ j4 w2 F* r" @Ordered monoids with zero) r( A2 ~' ^' z0 Q1 k
Ordered rings
8 x* j& q8 R' h0 |2 |Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
! K2 `9 n8 ^% @' D8 ^) gOrdered semilattices, Finite ordered semilattices
3 `. A" P: u; _# G2 A: p ~" UOrdered sets
+ G) k: ?! R, h1 AOre domains
0 l( d, P+ ~, h+ ]Ortholattices% t# f1 `1 G+ Q6 i4 K
Orthomodular lattices6 _* x4 y$ X* a' h- @) o4 \
p-groups
8 g* X$ J& Q8 A1 h2 N1 [- @Partial groupoids
+ u, i$ B- I$ W% C' A; K- |Partial semigroups, r4 {& n$ Z# |7 v
Partially ordered groups
$ ^0 T3 ^7 o1 NPartially ordered monoids
" t7 Y5 ?) C5 Z6 x4 BPartially ordered semigroups* N7 h2 L% F0 f/ ?9 D7 O
Partially ordered sets
- v; f: T; w% P3 f% Q0 T# zPeirce algebras: d8 _0 {5 t" \2 c/ ^
Pocrims
B: L6 s7 c% P: T) s9 Y/ [. aPointed residuated lattices2 p O. ], n8 {( L3 N$ g
Polrims0 d$ c1 V2 z5 ^" {" R
Polyadic algebras& c- O9 {- z8 p/ Q
Posets
$ ?2 _, z: x1 {1 ~3 q# _# V; i! _Post algebras
- v5 p( @/ w7 {2 ?Preordered sets5 V! H( P/ ?$ q% Q( \: t' \
Priestley spaces; t) T6 G# U) U7 U( P( p
Principal Ideal Domains
: R* V! f, a+ dProcess algebras9 g, `7 b% |- _* L ]# f, w
Pseudo basic logic algebras
2 e' F' r0 Z7 j# E8 {' ~' OPseudo MTL-algebras
- _1 ~" b+ B2 f ]+ sPseudo MV-algebras% i3 e# p: N! I
Pseudocomplemented distributive lattices
( d1 q4 D c3 l- p2 zPure discriminator algebras
4 Z' B# s7 [1 x' {- x3 OQuantales( Y6 Y3 ?3 G, J' [: E7 \ D! I
Quasigroups
5 F, d8 C4 d9 O" b* [2 |Quasi-implication algebras3 {( O! F+ g) N
Quasi-MV-algebra
i; X g% s: w# D0 s* y7 p" LQuasi-ordered sets2 I" P3 O/ X/ a2 Z; w w! O
Quasitrivial groupoids3 o' l1 M; ^ ]# V& W$ ^& G
Rectangular bands
% x% _. T9 o) v, kReflexive relations
; v1 G x' n/ i7 [0 WRegular rings
+ k+ m3 E5 U* E/ |+ C1 V4 {Regular semigroups
8 ?7 Y3 a- m4 x+ b! I% A. mRelation algebras
% A- x& n9 e8 X- [ {Relative Stone algebras
9 }& z! }1 n6 Z! r1 PRelativized relation algebras
6 u" S9 z( `, k' c/ oRepresentable cylindric algebras
: D, x; z5 K" ^. g/ T- j3 n' {Representable lattice-ordered groups; S' p- _7 b) Z1 @: a, x
Representable relation algebras2 e+ _. q( @6 b
Representable residuated lattices
. M; ]: c6 P$ l4 p2 S% k* i* ~Residuated idempotent semirings
. h% @* f5 V! u( `; ZResiduated lattice-ordered semigroups
$ X- L1 o( M1 c& WResiduated lattices
7 X, F& H, c; J4 ?. b: i! ZResiduated partially ordered monoids. ^+ c4 j& L( z: M
Residuated partially ordered semigroups" v. t& R/ l8 P$ q9 C/ [+ a
Rings
7 P( W: O% @9 p; W# N7 W! \$ c$ v/ [Rings with identity7 i+ D- m& y1 ~: M
Schroeder categories
& s, V: m% y" r* f9 ZSemiassociative relation algebras& F7 c5 L% e" H$ I
Semidistributive lattices
/ \/ Z3 Q* ?1 C: `Semigroups, Finite semigroups* Q4 I+ K9 j. k( Z9 Q$ r1 }* }
Semigroups with identity
6 B; B3 ^9 ~: @" T2 c* X' GSemigroups with zero, Finite semigroups with zero3 w) S3 x, }1 `& P
Semilattices, Finite semilattices
v' h2 O* ~0 tSemilattices with identity, Finite semilattices with identity
7 J; U7 P8 n1 i5 }Semilattices with zero$ l" P7 h- a+ J
Semirings& O @: }/ ?8 r' }) ~% h
Semirings with identity2 }1 T* p, f, A- M3 `! C
Semirings with identity and zero
, ?$ Y5 h. f0 |8 C& z: pSemirings with zero
/ m5 M+ f/ I* Q4 u7 H: S# R0 bSequential algebras1 T3 H( d- y5 B4 p5 S" b
Sets0 Q9 v% A1 Y7 E) ^2 Q
Shells& |5 C% V+ V. {( i- N
Skew-fields
: a0 g" b& [, Q& \Skew_lattices9 S$ `& j' y! V" U: j: g5 D
Small categories% ~# i# k% X, S3 s
Sober T0-spaces
( Q) H% O; p& o/ b7 PSolvable groups
+ }2 p: h ^' m# g) C7 FSqrt-quasi-MV-algebras
% Y* O5 y' n! s- VStably compact spaces
, E$ p( Q( |! ~Steiner quasigroups4 P' y6 E& C1 \* _2 e' Y
Stone algebras& r, [7 K( [! h
Symmetric relations- `! {7 w* H# e5 x+ ]
T0-spaces
/ S6 K7 f/ F+ a- @- y; q: l2 vT1-spaces
3 v D* G+ n6 [/ y, aT2-spaces1 O e% g7 }8 T% E
Tarski algebras: J+ J+ D; |# Q5 ?: T! v4 r7 @# C
Tense algebras
( U" q+ u) S. w8 t, R* Q% u# B0 cTemporal algebras: ? s3 w" Z6 v; V- M$ K) x% x
Topological groups
7 Z' J$ O. z- Y# C; q' vTopological spaces
$ z) i1 q- e+ C* Q6 c; Z% iTopological vector spaces& m z$ ^: {# s( Y
Torsion groups
9 c3 M3 D! \/ `Totally ordered abelian groups& t( G1 X2 t4 K
Totally ordered groups9 i# {8 q% d4 j- N
Totally ordered monoids
1 R$ v$ s- L$ d8 C8 L: z( NTransitive relations* p" j6 h& c4 y r9 F' a4 L9 e
Trees
' z& L( G# U4 ?Tournaments+ |6 j" Q: g" W1 O/ ~2 d
Unary algebras
; |1 z$ z2 \9 d' _6 x/ _9 Y! VUnique factorization domains7 X2 L* C# c$ @) j
Unital rings
( ]0 g# X' p) R- U, OVector spaces
' s8 }; @% G7 ~ y8 Y- cWajsberg algebras
! P2 i R8 `$ f5 N1 P1 b' gWajsberg hoops
$ i. f- u- x. O. hWeakly associative lattices
( E/ z6 w4 \ R0 h# e) i6 C9 |Weakly associative relation algebras: B1 [; \8 g- I+ n* W# q
Weakly representable relation algebras, ~" D5 G/ k! f: O6 l- R; @
|
zan
|