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

Jun
15
asked Generalizing a theorem about filters on a boolean lattice
Jun
15
accepted Labeled commutative diagram
Jun
14
comment Labeled commutative diagram
Another question is how to paint such a diagram. For every node we need both an object and a label. Two symbols can't be in one place
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