- 在线时间
- 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
 |
5 ~- R3 B* X- v
% g4 T" e! i% H% R) w' s- m$ IAbelian groups Abelian group
+ L* L, a/ F) A; _: m' _Abelian lattice-ordered groups: a: F+ h5 ?7 m& _6 v9 d( t+ I
Abelian ordered groups
* H/ g/ e; \$ U0 tAbelian p-groups7 K) `8 |3 \9 E/ v
Abelian partially ordered groups
- t% u( ]. f" d$ nAction algebras Action algebra! A* z7 q, L: w: O: ]8 O
Action lattices
% B& q) n# f$ {% C5 |* q' w3 QAlgebraic lattices" O- L9 l3 Y$ e- E& a- w
Algebraic posets Algebraic poset
/ N' L' _- R) T4 W* x* `1 vAlgebraic semilattices: U' p y3 o: o3 U7 s7 A
Allegories Allegory (category theory)
* H+ G4 i8 r2 ^- h! f+ |6 @: v4 jAlmost distributive lattices$ v2 | `- K* W2 [. ?
Associative algebras Associative algebra9 H' w1 Y. X5 G% \1 m5 d. {
Banach spaces Banach space
' B- u: b: B& ?Bands Band (mathematics), Finite bands$ |% I$ F! V, ~$ O. o, z% R; m
Basic logic algebras
. r' x. m8 v5 `8 T8 y- q; HBCI-algebras BCI algebra/ h9 f' \9 `, b; F
BCK-algebras BCK algebra
+ r$ ? [( U) XBCK-join-semilattices2 a a* h# P8 @/ U# J0 \' T
BCK-lattices
2 U4 S) a7 U1 h5 QBCK-meet-semilattices
+ A7 \9 T! x4 G, E" o+ g2 z3 gBilinear algebras' y; B( d5 Z* {8 O1 W M& o
BL-algebras7 a/ T }% l7 }+ s Z
Binars, Finite binars, with identity, with zero, with identity and zero, 4 c* U: ~0 N Y# K8 H8 v
Boolean algebras Boolean algebra (structure)8 O/ v2 W/ S$ N" Q
Boolean algebras with operators4 w7 |2 w3 i# I+ e
Boolean groups
! H; b4 Q2 X- N$ aBoolean lattices
1 i4 n) Q( m3 {) I4 D; W$ W6 }4 \Boolean modules over a relation algebra
0 G3 m8 `/ W( H4 M" nBoolean monoids" c0 }3 V! y1 T6 c. K, z5 g
Boolean rings
7 w4 p" ]) b' O+ n+ |8 \Boolean semigroups) A/ B& |$ Y( ^' a% z" o& m
Boolean semilattices
. k- ?+ P8 q& c6 s; [5 fBoolean spaces
% E3 |4 _3 x3 c# I5 Q) hBounded distributive lattices
5 l4 A* U6 n$ j7 Z; tBounded lattices( U$ U* G& e' w% `9 ]3 M% v
Bounded residuated lattices
% [; H6 V' E5 j7 cBrouwerian algebras
. K4 E6 e, L; L$ hBrouwerian semilattices# \9 Z3 {" I( @
C*-algebras
; D" ^5 W, F: |! V# UCancellative commutative monoids0 P: ]- z/ g% h# j, V8 R. O4 e
Cancellative commutative semigroups$ J( [5 K+ g2 `6 }, A
Cancellative monoids
# }" c) T2 j% @, JCancellative semigroups
5 A! i% R: g- x" t' Z: ~( ZCancellative residuated lattices! ~$ W0 s# J/ k( w
Categories
" Z% N9 l( r/ K. P, }4 ?# U/ TChains
* l3 ?, j! z! i J+ n* C/ P: K6 e4 K4 pClifford semigroups
- X q( k- H. O# x' N/ pClifford algebras
4 p6 J" q8 x& k8 F: D9 [3 MClosure algebras
" n. ^3 ]$ v3 u+ M, `Commutative BCK-algebras
5 Y/ |2 P$ _. X0 v- G3 YCommutative binars, Finite commutative binars, with identity, with zero, with identity and zero
+ H8 S0 I+ r0 g6 M" w) @9 o; Mcommutative integral ordered monoids, finite commutative integral ordered monoids
# e7 Q3 R% A+ PCommutative inverse semigroups
4 h* Y8 @7 q3 `7 g) cCommutative lattice-ordered monoids
6 H5 r2 D2 @# e7 G4 u/ NCommutative lattice-ordered rings& q1 V/ T4 P# B2 s
Commutative lattice-ordered semigroups. J3 S) J+ Z4 ]4 ~( V, A8 d
Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero0 d& X3 G* p( Z, X+ ]4 }% [
Commutative ordered monoids
# u* U0 ?0 ^' @( ACommutative ordered rings
+ _2 L. G6 |4 ~& k0 ?Commutative ordered semigroups, Finite commutative ordered semigroups
. G/ y0 J/ s, ?% y1 T! |Commutative partially ordered monoids) d. }( U1 l! _* B; [$ W) ~
Commutative partially ordered semigroups
% I& G( E8 P5 v/ y3 i) {Commutative regular rings
' a6 f* g" W# V3 K- \( RCommutative residuated lattice-ordered semigroups- I! [) \6 c* S) j/ [- L
Commutative residuated lattices
) a0 ~6 Z+ V+ X2 R3 d5 @& ECommutative residuated partially ordered monoids
# B1 h2 I7 K5 {; p6 _: GCommutative residuated partially ordered semigroups
/ c7 K, a/ @/ s' l; vCommutative rings
1 y9 \* u, \, K# M7 fCommutative rings with identity
! M( R# a' K& q2 r) Y9 xCommutative semigroups, Finite commutative semigroups, with zero4 Z8 ?3 z$ J+ a" ?
Compact topological spaces
# h( v8 Z9 U( ]$ bCompact zero-dimensional Hausdorff spaces. {4 u/ b3 h8 r
Complemented lattices2 u. L) V+ r- A7 e( E; B) U/ L
Complemented distributive lattices i" I& r$ |2 c- [) q9 G, ] ]
Complemented modular lattices1 U) m; e- J/ }, Y' d9 s" u( y
Complete distributive lattices
, d! u7 J _, K! J) f2 gComplete lattices. m6 f, l4 g0 F6 [' Y
Complete semilattices. d I$ y2 M" Y0 y7 Q0 x
Complete partial orders
E/ K/ ]4 ^7 N$ k- T+ v- \Completely regular Hausdorff spaces
$ x$ N+ Z* @- ~# d: U* h- tCompletely regular semigroups5 V+ H* I) i* i/ u
Continuous lattices6 d# U: a5 a T7 {3 D; g
Continuous posets
* b; U7 Q4 X: JCylindric algebras; j) B% s: g0 k- R) o
De Morgan algebras4 e+ m6 A: w! U5 H. J
De Morgan monoids/ p6 Q$ f* X4 e
Dedekind categories3 B# U( W! |: G9 k! Y
Dedekind domains
4 }4 P9 w! S1 [, \( pDense linear orders
' F! e4 L& s1 P5 } o. PDigraph algebras1 Y# t1 q9 W+ g
Directed complete partial orders! P( |: O# ^' w9 ?6 W
Directed partial orders1 D6 V: C- u- X* _' J% n' Q1 V; k
Directed graphs
- V, o/ p. ?8 Y! R$ k% `Directoids" l6 X8 t8 E. i9 y+ S
Distributive allegories$ k* f! z6 M6 {" y) f; P: X. |; v
Distributive double p-algebras9 Z7 K# O+ j( U# `! E
Distributive dual p-algebras
& g9 w7 u! T/ j' hDistributive lattice expansions% \2 ~$ H; h* ~7 b* D
Distributive lattices
' Y# ]1 F) e. q) r8 mDistributive lattices with operators d$ } I& j0 q
Distributive lattice ordered semigroups
$ O+ J6 H& J# X3 B4 j1 Y' IDistributive p-algebras
& f. p- z# p, M _/ t* S3 rDistributive residuated lattices
/ Q7 @! k" G' E* |- d5 t' XDivision algebras
4 M6 n6 K5 O. V& T3 n) \. dDivision rings
# G1 Y* L9 o! z9 ODouble Stone algebras
9 A4 U- k: U4 _0 X' y1 Z o( K4 \, UDunn monoids! [4 Y5 I! W# _. x6 }; ^7 Q
Dynamic algebras# {- K' D& U: r, _2 W7 Y0 H+ D
Entropic groupoids& a+ s( f$ ^' e* T) G9 B/ E
Equivalence algebras2 E0 N+ _ c# B3 u! R' m m
Equivalence relations, u- K4 I! S1 n: X! }9 {$ H
Euclidean domains3 r) b; E. L9 T5 `
f-rings
7 B1 e E. v. X! O0 [6 A5 VFields+ b) }; h% r1 X* O$ x. E9 x% N
FL-algebras
/ C$ f' @4 u( S! u2 kFLc-algebras
/ F& c( Q- y8 rFLe-algebras
1 ], V& t) l* N- g( G; @ C) y9 G) }FLew-algebras1 Y- r+ o+ _7 X, c2 m$ P; K2 l
FLw-algebras
/ ~! X" k ?: m' R3 t: W/ s1 LFrames. s) L1 k# ?0 U/ t( T1 I& `
Function rings
6 _$ F9 a# M W/ a" ^" v( LG-sets
& h8 B0 P- W: z: N2 xGeneralized BL-algebras2 |- ~+ t% o. k) `8 ~' u6 l
Generalized Boolean algebras# Y3 P' t% a8 `' g2 B+ E% [ W" Q
Generalized MV-algebras/ ~1 V% E! p2 ]" r/ e: y2 z- K
Goedel algebras$ H( ?7 e# X% C# D
Graphs2 p( u. ?( i4 a( _2 J/ }
Groupoids) n# P7 r) q y0 i# Y- s! s: G E9 y
Groups
+ W+ w8 G) b# UHausdorff spaces2 c8 _# o8 K/ x
Heyting algebras+ [5 b# B( n ^9 J2 o2 E9 k
Hilbert algebras
) d0 e# M: e4 m8 g7 h2 C) jHilbert spaces
0 q+ b* y# V: l3 {Hoops
1 g- b+ j2 w; p, ~: {Idempotent semirings9 Y" I- I' u+ c& ~
Idempotent semirings with identity6 s8 q* L6 u8 d
Idempotent semirings with identity and zero$ ? K8 o1 ?! A- U3 e V
Idempotent semirings with zero
* i& k" q$ b# y0 I2 \Implication algebras
) p7 M) f7 Y) v; L+ ?Implicative lattices
; l) z! g2 [ D% a/ AIntegral domains7 `. a1 P' b* {( {1 j8 G8 o/ B. e
Integral ordered monoids, finite integral ordered monoids+ v4 n# a/ {2 p1 t3 [2 ^, `5 E
Integral relation algebras# G" w3 S6 a$ F$ X" L2 \9 A
Integral residuated lattices3 t/ Q" g5 S' p* q
Intuitionistic linear logic algebras
* [) G! Z+ Z: o- j+ WInverse semigroups
1 l3 `% {& B0 Q g# O c3 XInvolutive lattices
* y* [9 p. F; Q+ x1 J! fInvolutive residuated lattices1 u# A, }, R, J% v9 w8 x) G. X
Join-semidistributive lattices% b# _' o4 z9 m, U$ ^
Join-semilattices2 n5 `( |' g4 p5 _, C/ D+ l2 z9 w
Jordan algebras: e- g, H' [( o4 l- a6 [0 ? ^9 Y+ U
Kleene algebras
7 C2 {2 j9 ], @Kleene lattices
" N* B/ r+ h# J& WLambek algebras4 i) M7 f7 I u# m7 @" J1 W2 c
Lattice-ordered groups1 t5 i. M, a' [' w, \* Z. b
Lattice-ordered monoids
( X" ]4 E- d8 b6 t' ^4 s( mLattice-ordered rings- U& t+ H- i, i4 }2 ]; A
Lattice-ordered semigroups6 J+ D) F9 r% t! Z+ w7 O
Lattices9 @; W% f' l% b! j
Left cancellative semigroups( z5 S# C6 }( G
Lie algebras
1 a) }4 U/ {6 w4 S0 ?4 CLinear Heyting algebras
, I# ^3 i8 B2 C' r# iLinear logic algebras3 ]2 T1 W B: y; E( U. D/ \
Linear orders6 m% W' J5 ?9 Y+ O( [' a @
Locales6 `$ R% ?& b; C0 s" s
Locally compact topological spaces' U4 S# N) i! c9 E
Loops' i6 B* Z0 @! C$ c! K
Lukasiewicz algebras of order n' E% o7 t; o4 Z" {2 K: ^% q
M-sets
' X7 B$ X1 L/ h6 |0 u# f) @ XMedial groupoids0 N$ {; a7 f: R8 P. s! ^/ C
Medial quasigroups' P, z0 P% s, r# X: S, A( ~0 R
Meet-semidistributive lattices2 p$ R K' t6 l% R4 `) o9 P
Meet-semilattices
% k5 j. O& U' p. o; H/ J {Metric spaces
3 Y6 Z& d1 |( \Modal algebras- L, \6 P% U( A, i7 @
Modular lattices
- Q3 D+ B6 o$ J; \Modular ortholattices
h9 \& z6 I8 m0 K- O, Y" SModules over a ring
' d. X2 b: O! ^Monadic algebras
1 O2 S1 [- l; m! H* P3 n8 DMonoidal t-norm logic algebras
% f: T( v' ^, H4 \; h, bMonoids, Finite monoids, with zero5 n7 r- O1 A8 ]0 E' \' E
Moufang loops4 d6 F$ \* Y! j- i
Moufang quasigroups
2 D. G; \6 P" o% E6 R; j( qMultiplicative additive linear logic algebras2 j' H5 [% |' i0 g" c0 a
Multiplicative lattices0 U9 b# E& C! o; @
Multiplicative semilattices3 H( ?* P5 d( Z# y$ K: d; N T
Multisets
2 Y; j2 z. v7 m! D6 n3 ^4 E; RMV-algebras6 @* z) r4 H. D
Neardistributive lattices7 `. g4 k6 E! A
Near-rings2 n6 D4 I4 n+ L+ y7 s) D
Near-rings with identity. S0 L% {' i1 L. o
Near-fields& l+ E& [0 E$ u0 h
Nilpotent groups
3 }6 ^. Y; Y- ]# Z0 @Nonassociative relation algebras9 `8 x5 |, f5 s! Q9 s
Nonassociative algebras# i% w+ r( e; t2 a3 ~1 E4 S: v
Normal bands
& G9 _( b5 J' C( [: x1 d: r- MNormal valued lattice-ordered groups$ f7 ?- A7 y" z! c; R# z6 Y- h
Normed vector spaces
, x4 ]9 I# y' G3 O4 uOckham algebras
) I" z$ K" S$ M0 gOrder algebras4 p! e; H, H. f G9 h2 \
Ordered abelian groups0 ~! i( `) A) |6 g- R
Ordered fields
1 F% ]% J, R% v1 S iOrdered groups
% [ F2 ^% t3 M; ]/ g4 I5 _1 m% N, POrdered monoids
- B8 N |8 G I. w3 ]Ordered monoids with zero
; V" i; M5 P$ G$ X1 C d2 y& lOrdered rings" l" |$ L! \3 y
Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
/ Q8 F7 d4 K Q' \0 L ?0 }& rOrdered semilattices, Finite ordered semilattices7 i/ H( e8 K5 d9 |- V0 C* R0 J
Ordered sets
) j" u# s- h2 u& r: SOre domains* G, i$ P7 v9 U$ v: j
Ortholattices
% I8 l7 e' p8 i$ ~8 x* S$ XOrthomodular lattices( v/ J9 g K2 S# d6 S$ R
p-groups
* F( s6 f: h. V+ h1 D6 kPartial groupoids
9 k: N; ]+ J9 n! Y. M! i: GPartial semigroups# Z2 P4 t+ `' c4 q
Partially ordered groups
5 c$ c6 i! ]- cPartially ordered monoids
5 i( ~ v _% b! rPartially ordered semigroups
. f T9 M( y; aPartially ordered sets1 ~+ d/ j, q' g; L
Peirce algebras1 l1 `3 k) t, i5 s
Pocrims
Y2 {( m- G5 q! I3 h& W/ x& _1 qPointed residuated lattices! Q3 @2 j2 W. T% g
Polrims& v4 a. a( [& q' z1 E: ~
Polyadic algebras/ S9 m6 i: K1 u5 [* v3 ^# }& a, x
Posets
! g6 e0 `% d9 E3 R4 L$ ~Post algebras: |7 b; j! O* k4 t6 V3 Z; B
Preordered sets! c% @7 f2 R6 x- C+ u" H8 e
Priestley spaces
+ K$ Z9 C" }2 x8 r! kPrincipal Ideal Domains+ J3 J0 V( v, X6 U4 p/ O6 E
Process algebras2 a+ l' I0 Z# J: B6 ? N' C$ V
Pseudo basic logic algebras
" N) o# k/ \8 S& GPseudo MTL-algebras7 Y" I# N) S/ ]# G! f. P
Pseudo MV-algebras
: c! H) |, t# @6 ]" j' }$ H/ @Pseudocomplemented distributive lattices3 j. a8 [/ {! H* G2 h3 t
Pure discriminator algebras
& m# ?7 B( H) S& W0 X. L8 B5 GQuantales
1 i7 `' Q: G4 E8 EQuasigroups+ u' b7 u# h2 L! t* a
Quasi-implication algebras* b' [. F3 O* s3 w' ~
Quasi-MV-algebra
7 W% Z( }" x/ S! {- I& CQuasi-ordered sets) `$ c8 C, C+ o# `( w
Quasitrivial groupoids) S, y. t6 A* C6 R3 V( C. r
Rectangular bands
) a1 s: H% c; x8 I6 U* qReflexive relations
/ }7 X/ {- s" v5 }2 K9 YRegular rings* ]: X; q/ A7 e. @' Y( B/ m
Regular semigroups
& C+ v+ K+ w7 W/ ZRelation algebras( s) G- a1 F5 P6 s9 N
Relative Stone algebras9 C( t8 v$ M- ?1 W
Relativized relation algebras
1 \3 W6 Y! g8 ]% m8 QRepresentable cylindric algebras
1 ^+ v; a- @& v$ D2 B- QRepresentable lattice-ordered groups# I0 V) F" Q) F) H. H
Representable relation algebras9 D# L+ P5 x- M. q
Representable residuated lattices# v! ~1 P4 u: l" K
Residuated idempotent semirings N% r! x. h6 X8 L
Residuated lattice-ordered semigroups" F' y4 D4 k0 q/ d7 E
Residuated lattices! y; H2 F/ [) y+ H9 K0 l
Residuated partially ordered monoids8 Y) s p2 G9 e8 W F
Residuated partially ordered semigroups
* P) a0 B' ~# f! z* dRings H0 e4 A5 {! F n
Rings with identity7 y. b8 V! j& L+ ~
Schroeder categories. l3 x f t( j! _" w+ d
Semiassociative relation algebras
; k+ i! j) l( h1 a2 KSemidistributive lattices: X7 }! r) A4 f* I4 C
Semigroups, Finite semigroups
D! f# {% _/ J7 f/ U `9 PSemigroups with identity( y, v- f7 q' |- ?5 h; P
Semigroups with zero, Finite semigroups with zero- B0 l3 f+ U2 H
Semilattices, Finite semilattices% q5 k. I" w- t2 z. V+ w
Semilattices with identity, Finite semilattices with identity) Y; R% s/ x- b5 b
Semilattices with zero
, G z6 K$ t8 c# o$ ~/ ?2 ^Semirings
% J# ^. Q5 u: V$ JSemirings with identity- `) p+ C' w2 \! l5 z
Semirings with identity and zero$ R4 l: b7 @/ T0 c$ ~. Z T
Semirings with zero2 B0 q% A) Q9 R
Sequential algebras
9 G* x' `6 _6 r: `Sets
9 R) k5 c% J0 a$ {1 S8 Q, ZShells& k K! w; |8 A) K9 ` b. X5 Z
Skew-fields
9 M6 c( Y+ ~( `8 A! jSkew_lattices/ x) N$ h: ?7 @* k
Small categories# M& T% F; I9 V' X0 t4 P
Sober T0-spaces
& o4 G6 ?* B' X2 hSolvable groups
; `& D5 N( s0 F4 R+ V: XSqrt-quasi-MV-algebras
' [. ~8 \: x7 [( bStably compact spaces
4 q4 V- p; x( uSteiner quasigroups
1 H8 Q" W& K& V+ S2 I4 X) BStone algebras
_9 \# E+ A' X2 fSymmetric relations& Z$ W* v+ Q9 ~& n
T0-spaces
. G1 `8 x3 d8 b, X `T1-spaces
. C% x2 K" W9 p& G: B3 IT2-spaces1 R( J6 r; h o5 U1 M
Tarski algebras
8 T/ Z/ { i9 ]Tense algebras. D1 O+ Q9 ?# a
Temporal algebras
: W7 D' P, J8 f' XTopological groups/ F* S6 p. P s+ ?, b
Topological spaces" Z* J" X" @+ x& j% u% ~. ^
Topological vector spaces G/ `: T: A' J: ^# O+ R3 `, R
Torsion groups
& v0 I T8 H& u' ^4 S$ hTotally ordered abelian groups
& x: r+ D2 L4 S3 K4 o1 OTotally ordered groups
, p+ K" t9 f, Y- Z" L# {1 hTotally ordered monoids/ S2 y7 S( z) b8 |! h/ j5 F
Transitive relations
! o" G' u! s1 fTrees
! i! M# o; w: S- L/ LTournaments* [; |& n% Y) N# p* C$ K3 T. K
Unary algebras) A& b A/ L+ L% O
Unique factorization domains
1 k. C: T2 }2 p' f' E" U5 hUnital rings
4 J g& Z4 D# ]Vector spaces
1 l9 y# w! p# H+ sWajsberg algebras: {% }4 s6 E) K# ~7 J7 [( K, E
Wajsberg hoops) U2 P3 r4 u) O: M. B
Weakly associative lattices
# r: J* f/ ]+ ^) C' q9 Y8 n3 K2 CWeakly associative relation algebras
' b3 \ `, J- {; UWeakly representable relation algebras4 E* R; Z/ a% t1 }4 A
|
zan
|