All Questions
Tagged with gn.general-topology universal-algebra
11 questions
2
votes
1
answer
213
views
Parametrization of topological algebraic objects
There are several results of the following form: if an algebraic objects is endowed with a topology (or rather uniformity) which is somehow compatible with the algebraic structure, this uniformity is ...
- 5,529
12
votes
1
answer
635
views
Ultrafilter subtraction and "zero"
This is related to a couple recent MO/MSE questions of mine, namely 1,2. Belatedly, I've tweaked this post to remove an overly-ambitious secondary question; see the edit history if interested.
Let $\...
- 20.9k
19
votes
0
answers
563
views
What algebraic properties are preserved by $\mathbb{N}\leadsto\beta\mathbb{N}$?
Given a binary operation $\star$ on $\mathbb{N}$, we can naturally extend $\star$ to a semicontinuous operation $\widehat{\star}$ on the set $\beta\mathbb{N}$ of ultrafilters on $\mathbb{N}$ as ...
- 20.9k
3
votes
0
answers
187
views
Analogue of Kolmogorov/Arnold superposition for general manifolds?
Previously asked and bountied at MSE with slightly different language:
Given a topological space $\mathcal{X}$, let $$\mathsf{Cl_C}(\mathcal{X})=\bigcup_{n\in\mathbb{N}}C(\mathcal{X}^n,\mathcal{X})$$ ...
- 20.9k
4
votes
1
answer
798
views
How do finite door spaces work?
Recall that a door space is a topological space where every set is either open or closed (or both). A topological space is finite if it has finitely many points. I'm interested in learning about ...
- 63.9k
0
votes
1
answer
129
views
Ordering preserved by an inverse frame homomorphism
Recall that a frame homomorphism $h:L\to M$ is called ($L$ and $M$ are frames):
Dense if, for any $x ∈ L$, $h(x) = 0$ implies $x = 0$.
Codense if, for any $x ∈ L$, $h(x) = 1$ implies $x = 1$.
...
-1
votes
1
answer
98
views
Topological connected eccentrics, not homeomorphic to commutative Lie groups
An eccentric is a universal algebra $\ (X\ \sigma\ \lambda\ \rho)\ $ such that operations
$\ \sigma\ \lambda\ \rho\,:\,X\times X\to X\ $ satisfy:
$\quad \forall_{x\ y\,\in X}\quad \lambda(\sigma(x\ y)...
- 4,786
18
votes
2
answers
1k
views
Comparing "axiomatized function spaces"
This was previously asked and bountied at math.stackexchange with no response. I've also tweaked the language for clarity; see the edit history for the broader context, and note that the existing ...
- 20.9k
3
votes
0
answers
75
views
Are $T_0$ topological quasigroups completely regular?
In 1957 H. Salzmann generalized to quasigroups but weakened the standard result that $T_0$ topological groups are completely regular. He was able to show that $T_0$ topological quasigroups are regular ...
- 475
19
votes
1
answer
977
views
Topological universal algebra: what is a variety?
Very roughly, universal algebra is the study of those classes of algebraic structures which can be defined via a set of equations; such a class is called a variety. Of course there is far more to the ...
- 20.9k
2
votes
1
answer
296
views
Methods to tell if a magma has idempotents
(Disclaimer: below, when I say "compact" I mean "compact Hausdorff.")
I asked a version of this question on math stackexchange (https://math.stackexchange.com/questions/305186/left-continuous-magmas-...
- 20.9k