All Questions
3 questions
9
votes
4
answers
1k
views
When $X \times Y \cong X \times Z$ implies $Y \cong Z$ (in the category of finite topological spaces)
The title has it all. I'm looking for a reference to the following:
Q. Let $X, Y, Z$ be finite, non-empty (topological) spaces. When does $X \times Y \cong X \times Z$ imply $Y \cong Z$ (in the ...
- 10.5k
2
votes
0
answers
122
views
First-countable topological monoids without local absorbing elements whose topology is induced by a semimetric
This is a follow up of Question 163246. For the reader's convenience, let me first copy&paste some basic definitions.
We let a semimetric on a set $X$ be a function $d: X \times X \to [0,\infty]$ ...
- 10.5k
2
votes
2
answers
241
views
If $(\mathbb M, \tau)$ is a topological monoid, is $\tau$ always induced by a [left] subinvariant semimetric?
Let me start by recalling some basic definitions (just for the sake of avoiding misunderstandings due to the vocabulary of the post).
Basically following some ideas of W. Lawvere (but not his ...
- 10.5k