A different definition of product of funcoids
Definition $latex a \mathrel{\left[ \prod^{(A 2)} f \right]} b \Leftrightarrow \exists M \in \mathrm{fin} \forall i \in (\mathrm{dom}\, f) \setminus M : \Pr^{\mathsf{RLD}}_i a \mathrel{[f_i]} \Pr^{\mathsf{RLD}}_i b$ for an indexed family $latex f$ of funcoids and atomic reloids $latex a$ and $latex b$ of suitable form. Here $latex M \in \mathrm{fin}$ means that $latex M$ […]
A conjecture proved
I’ve found an easy positive proof of this my conjecture.
Partial order and micronization (conjecture)
Conjecture $latex S^{\ast}(\mu(E)) = E$ for every partial order $latex E$. The function $latex S^\ast$ and micronization $latex \mu$ are defined in my research monograph.
A new little theorem (Galois connections)
I’ve added the following to my research book: Definition Galois surjection is the special case of Galois connection such that $latex f^{\ast} \circ f_{\ast} $ is identity. Proposition For Galois surjection $latex \mathfrak{A} \rightarrow \mathfrak{B}$ such that $latex \mathfrak{A}$ is a join-semilattice we have (for every $latex y \in \mathfrak{B}$) $latex f_{\ast} y = \max […]
Online scientific conference – please donate
I gather money to support Online scientific conference. To donate click this link: https://igg.me/at/Jp-M4S58-z8 Please spread the word of this campaign in WordPress, Facebook, Google+, etc.
Two new kinds of product of funcoids
I have defined two new kinds of products of funcoids: $latex \prod^{\mathrm{in}}_{i \in \mathrm{dom}\, f} f = \prod^{(C)}_{i \in \mathrm{dom}\, f} (\mathsf{RLD})_{\mathrm{in}} f_i$ (cross-inner product). $latex \prod^{\mathrm{out}}_{i \in \mathrm{dom}\, f} f = \prod^{(C)}_{i \in \mathrm{dom}\, f} (\mathsf{RLD})_{\mathrm{out}} f_i$ (cross-outer product). These products are notable that their values are also funcoids (not just pointfree funcoids). See […]
A conjecture about outward funcoids
I’ve added to my book the following conjecture: Conjecture For every composable funcoids $latex f$ and $latex g$ $latex (\mathsf{RLD})_{\mathrm{out}}(g\circ f)\sqsupseteq (\mathsf{RLD})_{\mathrm{out}}g\circ(\mathsf{RLD})_{\mathrm{out}} f.$
An error in my math book corrected
After noticing an error in my math book, I rewritten its section “Funcoids and filters” to reflect that $latex (\mathsf{RLD})_\Gamma = (\mathsf{RLD})_{\mathrm{in}}$. Previously I proved an example demonstrating that $latex (\mathsf{RLD})_\Gamma \ne (\mathsf{RLD})_{\mathrm{in}}$, but this example is believed by me to be wrong. The example was removed from the book. Thus I removed all references […]
An error in my book
I proved both $latex (\mathsf{RLD})_\Gamma \ne (\mathsf{RLD})_{\mathrm{in}}$ and $latex (\mathsf{RLD})_\Gamma = (\mathsf{RLD})_{\mathrm{in}}$. So there is an error in my math research book. I will post the details of the resolution as soon as I will locate and correct the error. While the error is not yet corrected I have added a red font note in […]
I’ve solved a conjecture about pseudodifference of filters
I claimed earlier that I partially solved this open problem. Today I solved it completely. The proof is available in this PDF file.