- 在线时间
- 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
 |
# l1 U3 ]- S- M( I3 l
/ m$ X) o$ W7 Y& V4 `Abelian groups Abelian group7 A& s) R, p2 m0 F& u: b* s
Abelian lattice-ordered groups
: g; r$ \) C3 a# r" i" n& `Abelian ordered groups
# A$ z4 Z( W7 R5 K+ VAbelian p-groups
* ]) S' n: {; x' PAbelian partially ordered groups
1 B( P. g- R7 I4 l! m2 AAction algebras Action algebra; @: Y3 Z i! T, S6 |
Action lattices
* t* Z- j- E' v ?! SAlgebraic lattices
4 S" Q9 |# r& rAlgebraic posets Algebraic poset6 b( b8 G' G& y# C
Algebraic semilattices
& Y6 I: M* }: a$ h9 UAllegories Allegory (category theory)6 r; D6 S0 m8 t( `9 g8 h
Almost distributive lattices9 s& Y7 u) g: U. l8 Y" _
Associative algebras Associative algebra* B( ~' [7 y% Y1 t7 \( h
Banach spaces Banach space' k1 Y5 Q- [1 }
Bands Band (mathematics), Finite bands
3 s: \1 T( N: y4 `/ \Basic logic algebras4 r9 r6 g1 B4 `9 ?
BCI-algebras BCI algebra
% V, }6 P9 F' X) e4 Q! L {BCK-algebras BCK algebra
' p; U4 d# q% q6 B* {7 pBCK-join-semilattices
4 s- G; I( F/ ~5 W6 O: A! ?# J: JBCK-lattices. w% v& ? [, E# K
BCK-meet-semilattices1 ^2 e+ s, ^# @; f( |6 d: A
Bilinear algebras
" z: s$ u- w9 VBL-algebras/ U* S1 B2 x8 e! u
Binars, Finite binars, with identity, with zero, with identity and zero,
7 ?2 X, m2 G. Y5 i( |9 m+ VBoolean algebras Boolean algebra (structure)
^8 F9 C5 T# k7 C' v; k% a. bBoolean algebras with operators
5 `! r, T/ N5 ]$ t' Y) U: UBoolean groups' O; Q3 |; U: h& a( ]" L) \5 g& P
Boolean lattices3 f' `5 Y- R5 N! O9 g
Boolean modules over a relation algebra1 X% `% V" J4 N# q) U4 n3 E
Boolean monoids
, T) x6 A% ~" e6 l1 a2 W vBoolean rings
1 Y# t. d# `( a( y8 @! EBoolean semigroups |2 O; s0 o _9 J- S: s
Boolean semilattices0 z8 F% K' ~ L: p4 p
Boolean spaces; v. o- L9 `- Q: ~9 _9 z, n9 i
Bounded distributive lattices
3 S* V/ G. \9 E3 _Bounded lattices) f0 }/ @/ G; A. w4 S
Bounded residuated lattices; M# Q) x4 d. [) d0 E
Brouwerian algebras
& {8 c/ w% ?% W4 T, q' C/ wBrouwerian semilattices
- m9 F. L$ Z' v, k6 uC*-algebras) S/ r1 x8 Q, W- I" S; V) u
Cancellative commutative monoids
3 v' p& T& @( K' M w0 n: `Cancellative commutative semigroups
, E F. O* o. T4 [0 oCancellative monoids5 F' w, _, f! n K
Cancellative semigroups2 W8 _4 m# k# d" S2 K# y9 X! j
Cancellative residuated lattices
+ S4 b7 J( p1 |9 u3 RCategories# p% @8 `' z) M
Chains
) K j8 c5 {& r5 AClifford semigroups! H) T7 |& ?& E& c0 v2 ~
Clifford algebras8 _+ U; q" O& i- I
Closure algebras
1 a- @5 a( b4 C5 BCommutative BCK-algebras" M) J9 D3 i C& l/ Y
Commutative binars, Finite commutative binars, with identity, with zero, with identity and zero
# Y: y$ R& L/ N- I" R4 scommutative integral ordered monoids, finite commutative integral ordered monoids
- X) L/ X* E% v7 ^# k; ECommutative inverse semigroups4 |) P9 e! O( [) @, z
Commutative lattice-ordered monoids' a- S0 R" y# A _" S3 q; r/ v1 _2 ^
Commutative lattice-ordered rings
2 Q% {& |9 ]/ C" wCommutative lattice-ordered semigroups4 a+ B- B8 m& }2 `+ J9 b, L
Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero
; c, X- I1 W5 N: lCommutative ordered monoids
3 W4 X! o! d$ j# z: O3 T# mCommutative ordered rings# `( R0 u8 E. r' V5 @6 u$ V0 w' _+ {
Commutative ordered semigroups, Finite commutative ordered semigroups; J @0 s2 N! B
Commutative partially ordered monoids
6 s. @ @" s' n" x4 iCommutative partially ordered semigroups( q$ ~ j8 k1 P! O
Commutative regular rings
; Q: n6 ^. L$ N, [) xCommutative residuated lattice-ordered semigroups- E& U" F* g) ^, @
Commutative residuated lattices& B# r& L0 r8 a. d0 e
Commutative residuated partially ordered monoids
0 K& k4 ]1 A2 F& H$ W2 G. cCommutative residuated partially ordered semigroups
* T$ I7 P7 I* G$ WCommutative rings
4 }2 G1 `! w4 f- G5 V; LCommutative rings with identity
G1 ]0 ^- L3 R I3 r; dCommutative semigroups, Finite commutative semigroups, with zero
& n) u+ Y' g t8 ^Compact topological spaces
; B& f, B8 h2 H6 tCompact zero-dimensional Hausdorff spaces$ v1 M& Y( V$ ~3 a) w8 G& r' H1 D" T1 ]
Complemented lattices D$ O# y2 ]: G( }; k' D
Complemented distributive lattices$ a1 u0 m# G5 z* K9 m5 y
Complemented modular lattices
' u6 S( d8 y) I& W# S' UComplete distributive lattices& H$ Z9 ^0 l- w2 P! C) i! C
Complete lattices* e% A2 ^3 d5 ]
Complete semilattices
6 v4 n0 i, ^$ ]- ?2 ]. O, TComplete partial orders
8 Q: `* X, `4 WCompletely regular Hausdorff spaces. f% c" X1 h8 L }( @6 E; ~
Completely regular semigroups
9 i, T5 J1 Q* x; }. W# T- nContinuous lattices
" N2 _) @! t$ G. I" o" n/ n$ hContinuous posets
( T2 x5 f3 L ?. s. @Cylindric algebras; F! |' H, B$ s& |# y
De Morgan algebras
! `1 P4 J- i4 p! T9 W0 \8 T$ y8 FDe Morgan monoids8 ?6 s4 q- @. [& p A
Dedekind categories
! O2 M! N8 |% c/ oDedekind domains
3 i, D" ]' c; y' Q& MDense linear orders# \. y1 g! _9 g7 e; [
Digraph algebras* @% V5 l c* U7 F& B1 C- ]
Directed complete partial orders% P s; F* s/ S( x) s7 b- L+ P0 a' O- u
Directed partial orders. z( x7 I/ F9 e' }* p, t
Directed graphs
' n- q& h5 {. ^' |* z2 u4 z8 \Directoids
6 @$ k3 w' b/ l2 R2 NDistributive allegories. N5 N2 H' {8 i x
Distributive double p-algebras
* }" A/ z0 c7 s2 E3 B4 y3 uDistributive dual p-algebras, Y' ?8 j% t& C0 _- i
Distributive lattice expansions; t1 p' i7 L$ z' t# ]! }
Distributive lattices
9 D8 u4 J3 x) v9 `- K1 O! J% F0 y) mDistributive lattices with operators
+ w# U ?; w0 FDistributive lattice ordered semigroups5 K" ] u' S9 V, n+ N) }
Distributive p-algebras
: z; I# J" K+ b2 V6 ]: F5 TDistributive residuated lattices8 K: n/ e, @. s# C
Division algebras
& s) l) Q' e1 q$ @8 J0 `9 N2 fDivision rings
5 O2 Q+ V& K$ t! {# qDouble Stone algebras; z% X$ ?' z; R% k7 X
Dunn monoids2 H" L( T% P5 a% {: F; F, i* ]
Dynamic algebras
2 K/ r; i- i' j* s2 EEntropic groupoids( J0 H5 r4 D2 U. e. Q3 G
Equivalence algebras; _% ~% U9 u+ R2 \! T8 a- C- _
Equivalence relations
1 _9 ^5 y6 o5 R) h% z) E# s; AEuclidean domains
; A% A+ z- {! ?. O" t7 A: q$ cf-rings" F- G. W* _+ W# d* M
Fields# ?( H9 I! s a: Q0 I1 O, x/ |
FL-algebras/ V5 Q7 E+ H/ E& {0 ~- [9 A
FLc-algebras2 c! n$ i2 f. z: |4 C% N( M2 n
FLe-algebras! T, q6 i' T* Y
FLew-algebras
: ]6 N/ W/ z8 b5 Y) zFLw-algebras0 g1 k% M+ a [) a5 K) W b3 n, Y
Frames
9 }# Z3 U2 v5 y5 |/ ?8 l: R8 XFunction rings- T! X) i) B8 ^- O0 l o
G-sets& Q& K1 h' l# C: Z2 b9 k2 ?; T. O
Generalized BL-algebras$ I# m' l& d! ^& j
Generalized Boolean algebras
7 O4 H1 n; h; i0 LGeneralized MV-algebras
& A2 C$ P7 i+ `. H8 G& K( |Goedel algebras/ C$ L% H3 U0 U0 n9 |+ r g
Graphs
, I/ q: H! t6 X3 _' Z0 H! @9 YGroupoids. Q$ k; n: G. d c6 _& R) s* N
Groups6 [4 L7 c3 n: q5 S# V0 \
Hausdorff spaces6 j7 r$ W. t4 N3 [7 g
Heyting algebras
' F/ E; E a2 c+ P7 _Hilbert algebras* o/ i6 R+ A: m! C
Hilbert spaces
; R+ }$ f& I/ j* \% v8 N% e: dHoops1 }, |3 G( ?! T+ \5 M
Idempotent semirings% U& J; G8 a; b% A
Idempotent semirings with identity& k& w& |6 B4 p+ X
Idempotent semirings with identity and zero' n9 k4 x1 X0 m0 f; v
Idempotent semirings with zero
1 @+ |$ C+ ?+ P4 Q6 i% ^Implication algebras
" |0 Z& P+ ]# A" hImplicative lattices
2 }8 T* Z. m9 Q I' d) JIntegral domains/ |" B0 s4 W) h" a
Integral ordered monoids, finite integral ordered monoids: l% L: `# a2 `/ }
Integral relation algebras$ a+ Z% z' f ~% J' B9 Z1 l3 D
Integral residuated lattices! C( q* e1 V/ Y) G9 J+ n. l
Intuitionistic linear logic algebras" A, Z/ k& M3 d0 G$ @6 B9 I; h3 D+ H; g
Inverse semigroups. U* w$ L8 ~4 e4 j+ `
Involutive lattices
3 i2 a0 J* e$ ~( x# n9 |6 F6 fInvolutive residuated lattices; f0 g5 C$ |' l# {$ ?3 N# X' {
Join-semidistributive lattices
% G* U8 |# P$ @Join-semilattices
$ c/ m8 U+ s1 M' yJordan algebras
6 o- Q# |8 z0 _; a/ M9 }6 z& `' w, IKleene algebras1 o; Z- v1 u) h `8 b$ }
Kleene lattices
% ^8 V. G8 w- H. RLambek algebras
/ D- L" j" C1 b4 r1 r$ H& X. ZLattice-ordered groups+ I& s" L, ^. o6 ~; W, A
Lattice-ordered monoids2 L x+ }6 w* k% r
Lattice-ordered rings
( q' O4 t# S9 |2 Q0 a% U- o, ILattice-ordered semigroups" w9 f2 G- \/ k/ j6 {
Lattices
8 C/ U- \% ~+ M4 C! d! [6 h" qLeft cancellative semigroups
: R2 r- k, k; L2 @6 V2 I4 |Lie algebras% W2 _# R: W6 Q( }- R
Linear Heyting algebras
" _; g- j! I5 N* m- l+ n2 TLinear logic algebras. V: N l' h7 x0 s9 I/ E1 l7 C
Linear orders
+ `) V/ J* e* L6 s: E9 TLocales
* X! V/ Q5 r) vLocally compact topological spaces
9 z. W" S/ v: e# o$ C7 z. d I: Y6 zLoops" v/ d+ J+ U. u5 k" ~1 f& j
Lukasiewicz algebras of order n/ U5 j2 @& s% z
M-sets0 V$ e6 b U( z3 X+ [
Medial groupoids
8 x# s; T: |- u6 K( {% nMedial quasigroups2 F, X: F: L4 y8 k- C. a7 t# m
Meet-semidistributive lattices. a) N3 S ]# w/ s
Meet-semilattices
2 K0 q8 R0 S* o" m" sMetric spaces
" R% K2 D' Z+ Q/ t6 R1 I6 T7 H+ P/ ]' |Modal algebras; l* V3 h' u$ k" |
Modular lattices, k, Y( M2 x' M8 H
Modular ortholattices
0 w4 G* y# ] O7 j {7 p6 zModules over a ring7 b6 `+ ]) Z% g& F5 F! n; ?
Monadic algebras
; U7 p, s; M% R- t( ~ [Monoidal t-norm logic algebras
8 L5 e6 y1 o- K" rMonoids, Finite monoids, with zero' e0 ]% j+ r. v/ O8 \4 c5 S* {
Moufang loops
. Q' |5 \9 E9 @2 I: `- N# Y* aMoufang quasigroups5 a* W' q& E; p# L+ L+ Y
Multiplicative additive linear logic algebras7 _7 q; g. j" x( o
Multiplicative lattices
3 e8 v% `- Z: VMultiplicative semilattices4 L! m) R2 q6 _+ T! V
Multisets
, X2 m5 g5 q3 b- UMV-algebras
g" m. t; P4 p* a& ?8 u5 a: oNeardistributive lattices2 L* p$ Z$ s, w. e
Near-rings
3 Z0 n5 T+ p" |# E$ ?/ `+ wNear-rings with identity
& K( k; b2 n8 CNear-fields3 C5 {3 s& B1 T) e
Nilpotent groups, z( u( b. }. r9 o
Nonassociative relation algebras# N2 ~4 b# x+ S' w- d T8 U
Nonassociative algebras: e+ h7 q$ E W( H. l
Normal bands1 Q" j+ t2 p: E; b# V: l1 {1 t
Normal valued lattice-ordered groups
( I$ C$ n; y8 [8 U/ v' XNormed vector spaces
/ ?9 c* p) y% I# V+ m4 a. ^Ockham algebras
* W. E; X9 j" t: nOrder algebras3 H5 D/ x: ?# v, z) ?
Ordered abelian groups* H4 ?, E) O# j+ x
Ordered fields3 [/ Q3 o; Y5 ]& \! M4 W
Ordered groups
7 @, a3 l- X/ R1 w8 oOrdered monoids
- {* B7 h& V- F6 v4 w a3 FOrdered monoids with zero
( Z+ k; H2 M' S i: s) y' e- W/ ?5 L0 ~Ordered rings. J; U ? e* n: h, B
Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero) K M5 o0 Z7 q8 Q
Ordered semilattices, Finite ordered semilattices
& `& y5 e8 _' \+ E/ R0 ]Ordered sets3 M U2 {/ O, ~0 g- ]6 J
Ore domains
; ]5 K! S5 h5 Y& E0 _# I1 `Ortholattices
& J/ ]" R$ M" y# ]" X( yOrthomodular lattices
6 |) i0 o; b0 l# q9 S7 gp-groups6 x& i: S0 l$ D
Partial groupoids
2 t: t+ W& ` W& YPartial semigroups
8 G- `6 G$ w) k3 \Partially ordered groups
2 D% h3 b0 ~/ ^$ D/ ~4 X. TPartially ordered monoids
/ R, b5 _/ C8 K& A: SPartially ordered semigroups% p9 H2 @. e, {) g. F; F& I
Partially ordered sets7 \+ d4 ]: m' j2 s" t% R
Peirce algebras- G* X: B$ ^& `% Y' C5 |7 ]
Pocrims
4 O8 D6 C7 E7 {8 J9 @; F0 g. UPointed residuated lattices( g. O+ u' ^ y0 t1 a+ h& Y3 c/ h; P- b6 a' T
Polrims p) Q Q& W$ E/ r; q* T3 M/ E
Polyadic algebras6 L4 ` n' R: V: {( R- K
Posets+ r$ v# t3 w: }5 y( M
Post algebras1 } d% E* u' T' e
Preordered sets
. p+ `: X$ q( ~1 kPriestley spaces) `: p2 ?8 u* {" V9 c: Q4 {9 I
Principal Ideal Domains: l" R3 x% O" L( i% k0 k
Process algebras
$ ~1 C5 X* S0 FPseudo basic logic algebras
$ {3 _, w! f; e* P& G6 s" p$ ]% PPseudo MTL-algebras1 q4 ?$ |5 Y, |0 M) F
Pseudo MV-algebras" s& F8 r5 } Y) p4 ?6 D3 J c/ W j
Pseudocomplemented distributive lattices; T1 T+ }3 y5 k. _
Pure discriminator algebras1 B) m- A! h! U; Y7 R8 {( i. i7 B
Quantales* l9 u0 T! X* s) r5 j( P
Quasigroups$ N4 p; I$ d$ ?1 C! i
Quasi-implication algebras
* z: L$ ?' F+ X+ c7 C" _Quasi-MV-algebra
, u- M1 a) `- _: w5 i, WQuasi-ordered sets
& t3 a9 \1 t( d6 X* x( XQuasitrivial groupoids- W5 m4 W. }9 t4 B9 Y1 o
Rectangular bands' z0 Y3 p- U& _" X4 P+ w! U. T
Reflexive relations
/ r3 X$ s- D6 i$ A9 |Regular rings
9 I" g. `+ c$ `9 w" zRegular semigroups
! \5 h, |2 D4 J' a/ Q. }' NRelation algebras
$ G5 n* `0 F5 z% aRelative Stone algebras
; ^, ` E) M2 \Relativized relation algebras
5 Z& E+ d7 l/ t: B+ L! ~1 G" fRepresentable cylindric algebras
' \/ u/ X2 ?$ ]4 T+ _- g+ Y0 X% ARepresentable lattice-ordered groups: ?. K! I& Q1 c( G
Representable relation algebras7 P* T( a4 e- X% R4 `
Representable residuated lattices
2 n( j( Y- u( b! J6 r8 T; _9 d* mResiduated idempotent semirings% B+ T2 C. E9 k, J0 T
Residuated lattice-ordered semigroups$ y/ {6 ~, u6 j
Residuated lattices5 j/ o+ M' X) r* L
Residuated partially ordered monoids
1 C) y5 J! {2 n, k G: WResiduated partially ordered semigroups
, c# O2 h& z2 ]; QRings6 b6 i5 E* k( M1 D, i2 s" S
Rings with identity/ q/ s7 Z; \6 Y& P- H& p; f
Schroeder categories
) o5 w3 C; W! a. |5 U7 A9 U2 zSemiassociative relation algebras
0 C+ U/ S8 U+ h2 ]9 hSemidistributive lattices
4 i" R; N) v$ l; a9 y" CSemigroups, Finite semigroups
2 |) k9 v- T( H2 k1 ?, @. VSemigroups with identity, ?3 w1 `" u+ E+ j- o
Semigroups with zero, Finite semigroups with zero
/ X. l: D6 r8 U( gSemilattices, Finite semilattices% M6 [* [5 D6 @; [
Semilattices with identity, Finite semilattices with identity- {% { [) t7 G( Z) a
Semilattices with zero4 ?9 T. \! f- @* n& g# G
Semirings$ @" b) B! ^2 @' Z
Semirings with identity, ^: r) {, ^- B; `2 Y
Semirings with identity and zero
n3 W9 \5 D! nSemirings with zero0 e4 G1 c7 {+ \7 K
Sequential algebras, n, s0 M) q- s, g8 w. H2 F5 m
Sets; H2 m0 d3 Q- `6 w, g( O8 { F
Shells
" Y) k9 V7 u2 t: @Skew-fields
2 v& w+ s* C: a. f0 F7 D0 HSkew_lattices z3 \- f% U1 N2 G# c' t
Small categories) y' p2 z6 C3 i, y @% W
Sober T0-spaces
: `( R0 l3 D8 SSolvable groups8 p! P" M) q4 q" G! C s* U$ D/ y
Sqrt-quasi-MV-algebras$ i6 @& E f- Z# W! P
Stably compact spaces
' _3 R% y* t3 O; ~; c% FSteiner quasigroups
! W' P( K/ c! t) o/ wStone algebras
w3 w* C: Z- Z0 P+ M' A5 z/ _Symmetric relations
9 y o* E& L) X; U0 GT0-spaces, }( I5 x4 B* K4 H# g( b
T1-spaces0 O2 S1 X3 ?- a B
T2-spaces% C9 o* h; u* y# [4 ]2 o) {& j
Tarski algebras" R. r7 v) g% ~( U" h) Z, w
Tense algebras
9 q( o# z, m& S* vTemporal algebras9 K! X/ R+ G+ \# \
Topological groups* l( g7 b- y8 n% j+ @6 u
Topological spaces, W: z* j+ W6 a, T8 C1 k
Topological vector spaces
9 ~0 |5 L: O) g4 F$ l7 Q. f0 {Torsion groups
6 w: b" k! |+ _Totally ordered abelian groups
# }6 }* {- ~2 X0 a' e" |Totally ordered groups
( O) V/ R" u; a' P2 G, ^Totally ordered monoids# F4 F" \4 [3 d# \1 M( u. r
Transitive relations
\/ Q& `8 |9 c! T* JTrees* N' G0 U+ ~- X! e* M
Tournaments
: H& ^8 g4 [1 H% S. kUnary algebras! Z3 E& b8 K! N& e+ s4 z4 A) }
Unique factorization domains" l. c3 V5 Z; w3 A- ^6 x
Unital rings
1 c/ g" q% b4 z% }" V0 `7 iVector spaces
. z. z* O% d N/ `" g6 v7 r" yWajsberg algebras
6 y. F/ }9 Y+ }6 TWajsberg hoops; c2 f8 T5 w8 M' r3 v
Weakly associative lattices- V& Y+ ?7 h; w: b. I7 @
Weakly associative relation algebras- F! r( n8 K, R, p u5 d9 k
Weakly representable relation algebras9 [ s- a, x% m/ e) `
|
zan
|