Tagged Questions

The tag has no usage guidance, but it has a tag wiki.

441 views

Tensor product of monoids and arbitrary algebraic structures

Question. Do you know a specific example which demonstrates that the tensor product of monoids (as defined below) is not associative? Let $C$ be the category of algebraic structures of a fixed type,...
149 views

What is the class of topological spaces $X$ such that the functors $\times X:\mathbf{Top}\to\mathbf{Top}$ have right adjoints?

For any topological space $X$, define a functor $\times X:\mathbf{Top}\to\mathbf{Top}$ by $Y\mapsto Y\times X$ (and acting on the hom-sets in the natural way). I know that if $X$ is locally compact, ...
226 views

Is there a concept of a “free Hilbert space on a set”?

I am looking for a "good" definition of a Hilbert space with a distinct orthonormal basis (in the Hilbert space sense) such that each basis element corresponds to an element of a given set $X$. Before ...
130 views

universal property in quotient topology

The following is a theorem in topology: Let $X$ be a topological space and $\sim$ an equivalence relation on $X$. Let $\pi: X\to X/\sim$ be the canonical projection. If $g : X → Z$ is a continuous ...
181 views

How to get used to commutative diagrams? (the case of products).

I've returned to Aluffi's book (after getting the basics of groups from Herstein's) and I hit the same brick wall that made me put it aside. My general problem is this: I can't seem to get used to ...
167 views

118 views

Does every continuous map between compact metrizable spaces lift to the Cantor set?

I'm interested in the universal properties of the Cantor set. It is well-know that the Cantor set $2^\mathbb{N}$ is "universal" in the category of metrizable compact spaces, in the sense that every ...
I've been trying to get to grips with the universal property and was looking at the localization of a commutative ring $A$ at some multiplicative set $S$, denoted $S^{-1}A$, to get an idea of what the ...