I noticed that there are two different things in mathematics both referred as “generalization”. The first is like replacing real numbers with complex numbers, that is replacing a set in consideration with its superset. The second is like replacing a metric space…

read moreI’ve found a counterexample to the following conjecture: Statement For every composable funcoids $latex f$ and $latex g$ we have $latex H \in \mathrm{up}(g \circ f) \Rightarrow \exists F \in \mathrm{up}\, f, G \in \mathrm{up}\, g : H \in\mathrm{up}\, (G \circ F) .$…

read more