Reputation
1,431
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
6 19
Newest
 Custodian
Impact
~67k people reached

Jun
13
comment An alternate definition of ideals
It seems that we need an additional condition: $P$ contains dual poset of each element of $P$
Jun
13
comment An alternate definition of ideals
a key to this proof is decomposition $\theta = \operatorname{dual} \circ \omega$ where $\omega$ is an order isomorphism on $P$. It remains to fill proof details. It is easy to show that $\omega[\mathfrak{F}] = \mathfrak{F}$, but we need stronger formula $\omega[\mathfrak{F}\cap P] = \mathfrak{F}\cap P$
Jun
13
asked An alternate definition of ideals
Jun
13
accepted A misleading commutative diagram
Jun
13
revised A misleading commutative diagram
added 12 characters in body
Jun
13
asked A misleading commutative diagram
Jun
13
asked Prove that all cycles are identities
Jun
13
asked An endomorphism $f$ such that $f\circ f=1$
Jun
11
asked Intersection of two filters on a poset
Jun
2
comment Categories of $n$-ary relations?
Relations (not only binary relations) form a "category with star morphisms" (over $\mathbf{Rel}$) as I define them in my book: mathematics21.org/algebraic-general-topology.html - I suspect that I am the first person who explicitly defined categories with star morphisms, as they are important for my research of products of morphisms.
May
23
comment About elements of a poset
Counterexample: mathematics21.org/binaries/star-comparison.pdf (suggested by sci.math people)
May
12
asked About elements of a poset
May
9
asked Characterization of monovalued functions
May
8
accepted The least relation which produces a partial order
May
8
comment The least relation which produces a partial order
(stupid comment removed)
May
7
revised The least relation which produces a partial order
added 116 characters in body
May
7
comment The least relation which produces a partial order
@PedroM. $E^2 = E\circ E$ is the composition of binary relation $E$ with itself
May
7
asked The least relation which produces a partial order
May
2
comment What do the symbols d/dx and dy/dx mean?
It is described in en.wikipedia.org/wiki/Differential_of_a_function
May
1
comment What do the symbols d/dx and dy/dx mean?
@Fixee See my answer. It is nevertheless CAN be defined as a fraction of two functions, rather than an atomic object.