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

Jun
14
comment Category theory: Enough that polygonal diagrams commute
@Unit "pentagonal" was a typo. Corrected
Jun
14
revised Category theory: Enough that polygonal diagrams commute
typo
Jun
14
asked Category theory: Enough that polygonal diagrams commute
Jun
14
asked Labeled commutative diagram
Jun
14
comment Prove that all cycles are identities
I want a more detailed proof
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)