- 在线时间
- 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
 |
' X5 v5 v9 \& J. d( d% y$ F1 d: g: d% b+ n/ p
Abelian groups Abelian group
% H8 \ O$ x: ~5 YAbelian lattice-ordered groups' f7 T( ~ d6 {. d/ h) A4 J/ z
Abelian ordered groups
$ q; D4 x" _* U1 Y) F3 PAbelian p-groups5 R1 I0 q v5 M/ z# {
Abelian partially ordered groups
5 U$ M$ {# c+ r# y) Y# GAction algebras Action algebra
$ ^1 _, q0 G0 r' c: B% eAction lattices) [/ P* V! R: k* ]1 V d
Algebraic lattices2 O {# {1 B5 r1 b6 K9 i
Algebraic posets Algebraic poset
) Z; }# c4 g1 X2 ]5 U$ HAlgebraic semilattices" R7 w7 m/ e4 c. [5 N8 m7 @' \
Allegories Allegory (category theory), O) j1 Z* A* S9 F! I
Almost distributive lattices" N, x W3 D9 g% n' E1 ]
Associative algebras Associative algebra
! Q. N6 J" H2 ?: fBanach spaces Banach space1 N8 n5 ?7 _7 \; [# J. H
Bands Band (mathematics), Finite bands
K9 c; P/ u4 }0 ]5 gBasic logic algebras
" _4 W7 R3 K& b+ u, X* `0 dBCI-algebras BCI algebra) x2 r4 N4 K8 U) V
BCK-algebras BCK algebra" G5 k8 J; J' y8 u D- I' ]( t/ f/ {
BCK-join-semilattices8 J9 z) [! G# R8 C- V
BCK-lattices# E) l% \+ a4 U2 F; ]% _" i0 {
BCK-meet-semilattices* p3 X: U$ W; G" d, z. }$ X
Bilinear algebras
+ i) D( b, d5 Q' ?BL-algebras. s$ B# _& F: i b' A; _9 f. a
Binars, Finite binars, with identity, with zero, with identity and zero, 4 Z1 j% q% _. z' I
Boolean algebras Boolean algebra (structure)
( j* Y+ C) S& H) b+ s; x/ g3 O4 J1 RBoolean algebras with operators
o- ?2 A: b0 C6 z' a, \6 z' ]: wBoolean groups# Q; h% E+ ^. R9 R+ T
Boolean lattices
& N3 a! j! k9 y8 @0 J1 pBoolean modules over a relation algebra
3 }. E7 g1 O5 Q4 n9 V# aBoolean monoids% L0 v/ o. n0 @- e
Boolean rings; J; [1 F W" n4 o6 X3 [
Boolean semigroups3 R t( g3 Z/ z4 e! ?
Boolean semilattices
6 q( K5 @0 d; GBoolean spaces
' L# v6 F R3 i" kBounded distributive lattices
8 w6 M1 s' ~6 @+ [6 m2 ]0 oBounded lattices
5 q2 v9 }* ^3 U3 K" z! d- Z( sBounded residuated lattices
3 J- Z1 w0 p6 a) t; o$ t8 d6 ZBrouwerian algebras
$ g& T1 s; J, ~: dBrouwerian semilattices( q* b+ B& I& v8 o) N. w
C*-algebras) D r y/ Y' n3 Y5 u
Cancellative commutative monoids! q% o& P5 @) Q; K! h" L
Cancellative commutative semigroups
' T$ g2 a- ~3 G& ?4 ^& pCancellative monoids
; S( n7 V- P Q0 bCancellative semigroups' _/ y/ b! b- L, X* \4 Z9 c. I+ o
Cancellative residuated lattices
$ U- G. A5 X* F6 zCategories
8 S3 Z' w1 L& z; W/ [3 F( p0 S9 mChains
3 l- _$ Y- F+ E8 oClifford semigroups; r6 Q- Z/ t4 }
Clifford algebras* p) c' i G9 a) k b4 k
Closure algebras) ]8 j) u2 t- E: E+ w0 u1 I3 D& l
Commutative BCK-algebras
) k) I2 G8 H9 n$ a! e& lCommutative binars, Finite commutative binars, with identity, with zero, with identity and zero & Z9 m& R! u! t* Y
commutative integral ordered monoids, finite commutative integral ordered monoids
" o* A2 w) Q! w0 v$ MCommutative inverse semigroups! ^$ N+ P/ V: D
Commutative lattice-ordered monoids0 X8 f- i# @& f0 D
Commutative lattice-ordered rings
4 b1 k4 w8 ?5 Y9 V! hCommutative lattice-ordered semigroups& M& k7 ^4 j$ d
Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero
" f& ?" a; A! }6 |5 {- XCommutative ordered monoids
, f4 E9 i }# }3 {( ~Commutative ordered rings
& P. N) U4 r* Y" N$ S+ n5 v' d; BCommutative ordered semigroups, Finite commutative ordered semigroups
3 h* r' c5 }5 Y) ~Commutative partially ordered monoids
5 H: v4 ]$ A |3 C% n; O0 ^% ]. GCommutative partially ordered semigroups
# M3 R/ ]. z& ^( q; N0 qCommutative regular rings2 H3 ^- r+ F2 l# g3 }) J
Commutative residuated lattice-ordered semigroups
, l2 J" l5 A4 x' r: J5 P' xCommutative residuated lattices
- q0 B, N$ H. L1 [8 j) f6 _$ S2 MCommutative residuated partially ordered monoids
y3 `3 Y' [9 ^- E- L; P$ a) ^) dCommutative residuated partially ordered semigroups. D( v- n( B7 x# G* _
Commutative rings
- _2 W0 [! h$ Q6 g3 I' ICommutative rings with identity
0 y5 Y* @( W a$ d: U4 _1 qCommutative semigroups, Finite commutative semigroups, with zero" m: I6 m* n$ Q
Compact topological spaces
) p( k, R, R# t( y* c- M% r- o! ECompact zero-dimensional Hausdorff spaces
+ H2 M+ h7 j8 E8 U8 u5 uComplemented lattices
& D/ O* |4 f" ]4 _+ K& A. V- l, R# C4 sComplemented distributive lattices. o9 T6 f- m# c4 y3 a. _7 n" Z
Complemented modular lattices
+ n, Q1 C% n+ pComplete distributive lattices
4 w2 {6 T9 B. q0 V* o# fComplete lattices
* n! `; o- b# L( g2 CComplete semilattices5 t: w0 u0 ]* x! f4 M& x: G
Complete partial orders! [0 f* |: v4 }; V2 `; R
Completely regular Hausdorff spaces
( E( }; q! f/ g3 a: X9 i9 u0 q" qCompletely regular semigroups) t$ W$ N& { r5 p
Continuous lattices/ R' j* E, \5 f+ M4 G7 G
Continuous posets
9 C' X2 i& N" D' r2 g5 RCylindric algebras
$ j. c7 B1 d- X- bDe Morgan algebras
2 q, [% j) b W% d; R9 LDe Morgan monoids( z" ]: V. w7 R' _$ _' C
Dedekind categories
; T9 V) R. K! w* _; t2 b. [1 F& f4 k1 eDedekind domains9 M9 u6 b* r( C5 ~
Dense linear orders
' x! J1 p0 Y3 WDigraph algebras! N$ X( {0 C3 E J. M
Directed complete partial orders
3 I3 g3 Y/ s/ j. c: hDirected partial orders$ L. M% H6 J1 Z' j; Q
Directed graphs) f$ I! }. ]' f, ~
Directoids
0 \/ v( K) a% v1 w* O$ oDistributive allegories
$ G+ T) }: n5 P( LDistributive double p-algebras
1 g( v- e. {+ O8 S. M0 G, ]Distributive dual p-algebras! L/ m/ s# H+ e" ~
Distributive lattice expansions
. u, Q7 @ f o/ l8 u; B" r ^, \$ yDistributive lattices
) x2 ?" S3 u5 aDistributive lattices with operators& `. h2 h5 n; w2 P [
Distributive lattice ordered semigroups' ~$ _$ b, z( S6 @
Distributive p-algebras
9 k. E) G3 k/ TDistributive residuated lattices
5 `4 y9 o; f' ODivision algebras0 }* w' ?8 A6 K9 {; D
Division rings7 g8 }! L2 `- F$ U e
Double Stone algebras6 q% J' R& _5 c7 V
Dunn monoids+ [5 f/ f/ v/ A8 k
Dynamic algebras
3 r/ `' F: }% P$ o8 r! @: m: PEntropic groupoids% ^: G+ K3 M$ ]* N2 g5 r+ R
Equivalence algebras
* ?% q; V p U4 b" A Z8 UEquivalence relations- y! m( u4 s6 J% Z a; D5 o
Euclidean domains9 d/ U* v- n, U4 n
f-rings! \& @& C, i( R: }4 L
Fields: x$ `7 N0 g, |/ w6 ]
FL-algebras. Q2 y& X7 Q7 B3 s. A5 n8 u% _4 Q9 }
FLc-algebras" r3 K' y! G5 H+ x/ J5 H
FLe-algebras
( C$ B- w: A; U" gFLew-algebras
: J9 w d$ G! y# JFLw-algebras/ }' ~; U; d& o+ R" [7 @
Frames+ |1 l' K k- r2 E. C1 J
Function rings v! k+ S; ]7 P% J. o
G-sets
, ?) P" B" T: j0 j9 L- [Generalized BL-algebras
7 k5 R3 K `: R( FGeneralized Boolean algebras6 l$ S, }2 s# D6 o
Generalized MV-algebras
3 C. ?6 Y* q- @Goedel algebras
2 q) k" }5 x2 f7 M j9 mGraphs
) C3 c2 j6 b4 P$ S0 o1 q0 W$ lGroupoids+ r( n0 U$ e B9 a" f% O9 p
Groups6 s1 [. _' {3 l# d/ X$ _! a( z
Hausdorff spaces/ H6 Y1 C9 P6 G5 p" Q
Heyting algebras
9 N! n! C4 B. y1 cHilbert algebras' E" T7 r( y" T9 u9 [
Hilbert spaces
2 @9 M$ z" J( X9 rHoops9 n, D& {4 E7 ~ q
Idempotent semirings
; i3 ?5 J' x6 O0 DIdempotent semirings with identity1 H. ~: a; R3 C! [
Idempotent semirings with identity and zero
, [6 V+ |6 M2 ]% Z: ^Idempotent semirings with zero4 P; G& q: C; t1 U* Z/ ?& J" c
Implication algebras
- S9 A. M& L: ^Implicative lattices
7 H. l/ W% {% }Integral domains4 Z. e- ^) @7 l+ K' d' U. U
Integral ordered monoids, finite integral ordered monoids
9 N: W$ R: u, r# v9 s: A0 {6 p4 Q# fIntegral relation algebras
/ I4 H# ]+ z M0 p$ j( [$ lIntegral residuated lattices# J' }6 h2 j1 T
Intuitionistic linear logic algebras" d$ K. ^/ S e8 M1 v7 ~( d& O& v4 u; Q+ e
Inverse semigroups$ y; ?* Y t* V0 T! r% P$ L
Involutive lattices: X8 s* ~2 J) u
Involutive residuated lattices
2 b' z5 Y! g& V- O8 V9 WJoin-semidistributive lattices+ X0 c8 L3 Y1 @
Join-semilattices
% M* |0 T( [4 ^/ l6 B+ f& rJordan algebras7 F* z# ~6 [% L" {- V) d- p
Kleene algebras1 n9 G; \' o2 C; A1 ^) ~4 T
Kleene lattices
: Q! _- x+ i; `, T% Z. jLambek algebras+ M+ I k4 H$ Q# F+ u
Lattice-ordered groups
" O! c/ g/ O% f1 cLattice-ordered monoids9 a2 e8 e# H1 o; ^7 I( A
Lattice-ordered rings
. f& _6 ^; o) I+ g7 L6 J6 V' ?Lattice-ordered semigroups" F, L% J. o" j' |5 S. E% B
Lattices+ V/ r3 h6 z6 p0 v# n
Left cancellative semigroups
+ j( Z: I/ T0 V. T$ ]5 z9 YLie algebras
8 X, J6 S1 t I- H4 } ?1 lLinear Heyting algebras) L! i. p+ T2 R1 l
Linear logic algebras
9 O% N- y% K8 u3 L# iLinear orders: E9 m, i; G- W6 p5 ?
Locales
* q! k, O( P( q! d: iLocally compact topological spaces
1 L. Z& p+ C. q1 l9 r3 T0 YLoops
?' A: g( |0 J% PLukasiewicz algebras of order n) ^+ r" p1 `1 D6 T: E4 L8 }2 r
M-sets
7 d& W* d, S$ C2 U# {( K1 a$ sMedial groupoids
) [1 Z' Z( w* B+ ^. F# YMedial quasigroups; \/ Z. E( F$ m5 A! m
Meet-semidistributive lattices
: {. ]) L( b( i( g$ FMeet-semilattices$ n) C, | r6 g& \: C
Metric spaces- N6 a6 [$ J6 J' N d+ z
Modal algebras8 B! U, y/ }9 j1 p# U; V
Modular lattices
$ x/ h3 W) G- F+ l& VModular ortholattices
3 p& N& F8 @8 KModules over a ring
7 D! h6 x2 h8 CMonadic algebras8 k6 v+ D; h4 h& e; `; J
Monoidal t-norm logic algebras
7 x* \7 A1 z8 ]: c' q$ FMonoids, Finite monoids, with zero+ ^5 I( [ [3 h8 B: g' n& h
Moufang loops2 s" Q8 x2 m1 H4 c4 `. ]( V
Moufang quasigroups/ C2 Y/ B5 o" S+ J, E
Multiplicative additive linear logic algebras
, ], Z- {! }; C/ M$ E1 fMultiplicative lattices
0 q" ?* V: x& l/ j& cMultiplicative semilattices3 ^6 _: Q- ^) S9 o
Multisets8 u( O9 H2 k# ~4 A! G
MV-algebras4 f5 b1 C1 Z6 m- M" Z! f& S* |
Neardistributive lattices1 P7 ]2 @7 c1 f( A9 x- I
Near-rings6 P6 e0 v$ m: Q7 K+ y7 Y2 i% x
Near-rings with identity/ n% B8 r) m2 Y9 h! v3 @
Near-fields
& b0 H. F6 E5 W KNilpotent groups9 {0 q" d8 [7 E
Nonassociative relation algebras
' ~/ q- s% h7 l+ Z1 a& ANonassociative algebras
0 q) P+ A0 A9 n1 s: S2 H0 d$ UNormal bands9 s" S4 x4 O" Q5 H0 t# K
Normal valued lattice-ordered groups
( [' {1 M. j$ L" g! dNormed vector spaces+ c! j* E5 F! q6 T: s/ A
Ockham algebras$ U s Z% U9 C) N: @& o
Order algebras
* ?/ D: g7 V4 f* h- i* S y0 I3 iOrdered abelian groups& p6 i$ H% _$ p) [* a1 X# G$ w
Ordered fields
: K$ c8 ^0 k8 n6 EOrdered groups
3 E. e7 Z. D* z2 @4 L! Z: }6 O4 Q ROrdered monoids
: K0 ?! a; N# ~' sOrdered monoids with zero+ H$ q0 f3 S( T
Ordered rings
% W! c3 K9 @$ [3 p3 YOrdered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
! \) t8 H2 g: I1 C8 H. x) qOrdered semilattices, Finite ordered semilattices* x7 ?# C$ c) l4 k# y
Ordered sets g4 p+ z f! E$ Y- h
Ore domains, b* _8 p& @, n4 Z) P* |
Ortholattices* }) x, W0 y$ a3 _
Orthomodular lattices
" E- t) R8 n/ S: i6 N* _p-groups: n; v u% C4 b) V" I* N) g3 S5 {
Partial groupoids
" A0 j/ z3 u6 [6 [Partial semigroups* I- D$ S8 o* u
Partially ordered groups
% u2 ?% i/ v r/ W. u7 gPartially ordered monoids
% \3 d9 [7 q1 H. o% i0 I6 w4 uPartially ordered semigroups
6 k1 l* I) x1 k# YPartially ordered sets
6 \; S% v' y O( \, zPeirce algebras
- u5 ]/ E' c9 K+ P& jPocrims
+ A+ X$ |3 O% D8 S. [6 |# ^3 {Pointed residuated lattices
8 E; F+ v/ K$ J' a- SPolrims
+ r9 J k! j( W: }! B' ePolyadic algebras
. O9 A+ E7 S# v7 T; e" z8 }Posets
' d1 V% q1 ^: \3 w! E" PPost algebras
- j! c' Q3 B5 Z; ^9 W$ }Preordered sets
7 c1 b/ ~3 g3 e& WPriestley spaces
: n# q+ s! c% G& F! Y* oPrincipal Ideal Domains
& i) G. N# _; LProcess algebras; a ` M; _ T
Pseudo basic logic algebras1 _ K9 P6 D& R/ G
Pseudo MTL-algebras H4 u; _) D1 f1 O @; ?
Pseudo MV-algebras
o* B4 h5 Y4 P6 k) @6 sPseudocomplemented distributive lattices
7 Y# H! R3 r3 P# W3 f9 z* vPure discriminator algebras
8 D2 q* v* N8 b: gQuantales+ T9 {& ^; s% V }$ A+ W
Quasigroups
# Y! P ?- @4 uQuasi-implication algebras
* O# T ^: ]' R6 SQuasi-MV-algebra* k) }7 j5 U# s# X: j, R' N
Quasi-ordered sets3 t" L, T) G( k: G0 E4 M
Quasitrivial groupoids
3 }8 O1 w* p4 uRectangular bands9 d0 ?( ]- i# q6 g% k% A k
Reflexive relations+ D. V% M) c: Q& `9 g
Regular rings
5 m0 E. Y, |5 S8 QRegular semigroups
+ f. R3 M+ g( B9 x, R- U0 ~% SRelation algebras
: O. ~- @$ p/ P; ~" A% ]2 w9 IRelative Stone algebras! A v$ G0 i9 C9 H4 R' B' _+ d: c7 C
Relativized relation algebras
2 R \8 e! w* P% E) }' O$ W& PRepresentable cylindric algebras
1 ^( K2 y1 j2 f& l u: N) ZRepresentable lattice-ordered groups
/ N* {( e- [9 r0 P5 w; mRepresentable relation algebras# i3 n! i) W4 `( I
Representable residuated lattices
. }( r9 y) e, R" A* OResiduated idempotent semirings
* ]/ J9 N: o* {5 L' H) B; GResiduated lattice-ordered semigroups
p) I4 S: k3 t& l7 OResiduated lattices3 r+ K3 q$ _/ A7 ^: n- I, i
Residuated partially ordered monoids1 I. }( d/ j! P. W
Residuated partially ordered semigroups
4 R; u8 q" j8 p( WRings! x a( z g8 [1 i0 a2 i s
Rings with identity
- ?1 @" s4 B" q# @' C, R" JSchroeder categories
9 r6 J' _: V5 j% J1 s- MSemiassociative relation algebras5 N: D& O! b; {! Y; c4 d6 ~
Semidistributive lattices
: F D, S4 y0 y0 v/ h9 QSemigroups, Finite semigroups& G5 s/ o# N$ [
Semigroups with identity& V. F( O- t8 z) d& G
Semigroups with zero, Finite semigroups with zero! ]5 d* A0 d M( ^& E
Semilattices, Finite semilattices J | M8 W9 e3 D0 g. P
Semilattices with identity, Finite semilattices with identity
: i* o& ?: u: p! W6 fSemilattices with zero
$ H$ A. V% c: f& ]: @- x" o- A- WSemirings
7 T* I4 \3 _7 A: BSemirings with identity# H; C1 o! t5 K
Semirings with identity and zero
( @% h& Z- x: N' e# N9 k6 ESemirings with zero
. s- v: X9 e0 B$ R* qSequential algebras' @- ]) g# {( D4 H9 ~4 G$ L; z% q; B
Sets2 l0 Z2 u/ r" ?- U
Shells: \8 q9 Y+ f) `! w$ T- x m
Skew-fields
2 B( j5 G! V' J' OSkew_lattices+ D, K( p" n0 o ^7 n
Small categories
' B1 Z; O+ {8 U5 tSober T0-spaces2 E% ]' ?7 R$ A: F, }
Solvable groups
& w0 g, T+ x6 s- |$ _; K6 G, iSqrt-quasi-MV-algebras
+ N. P* ?! Y! u. Z) p2 pStably compact spaces8 V! M; E% t# e4 P: X
Steiner quasigroups& |6 B. G+ k3 T5 R( U! Y! Z
Stone algebras
E* k- b% f8 U4 G7 ~6 sSymmetric relations# E, j% q: U% q/ b: G- ^( V
T0-spaces
1 m3 ~" P; L9 @, _, O9 u5 ET1-spaces
/ f2 U6 \& n: R7 ?T2-spaces3 P* O8 F% n6 M8 D* l
Tarski algebras2 I% J+ _& x/ Q K9 C' g, N
Tense algebras* n5 [1 }& j( v. B8 ^8 L/ G0 B% |
Temporal algebras
1 ?% q0 W: b+ |& w/ S" y2 lTopological groups+ v0 I0 s0 q5 D9 l3 C! ~
Topological spaces
% {( k2 _' B- z/ u6 T% J0 k; CTopological vector spaces, g& [4 Z" q, f( c( E6 N. [
Torsion groups
2 C4 ^' H2 w* w7 L& h* T, KTotally ordered abelian groups
1 L( Q& D$ w7 x' @, r! H% ~) ETotally ordered groups
& L- `! O# { n# k; \Totally ordered monoids# [5 ~4 ^+ t/ s G* y$ R
Transitive relations
) ]1 X4 Z6 D9 ? jTrees5 @: Q3 ?, h$ t. H6 `0 J
Tournaments
- _: k2 `4 A: O8 J0 m: _& _' P+ DUnary algebras, X3 N' L) k+ \5 g8 H
Unique factorization domains) _* e1 T3 O7 _' v! }2 |5 g4 }
Unital rings2 Q" R+ `, R. m( d$ F1 G N' u
Vector spaces1 Y& K4 ^% d5 x O8 w
Wajsberg algebras
9 y) t! i n) w b, }4 bWajsberg hoops0 E" k9 j6 J: w1 C
Weakly associative lattices0 n; i3 t- V. L6 ?
Weakly associative relation algebras
( k8 ~5 T+ Q3 e# r9 o3 L7 Q9 LWeakly representable relation algebras
2 M4 y6 O2 c$ R& e4 e |
zan
|