All Questions
7 questions
1
vote
0
answers
139
views
Terminology for an kind-of principal fibration
My interest is in topological monoids, but I think the question may make sense (in some fashion) for monoids of sets.
Let $M$ be a topological monoid, and let $X$ be a pointed space that $M$ acts on, ...
3
votes
0
answers
163
views
Classifying spaces of amalgamated topological monoids
Let $\mathsf{Top}_*$ be the category of well-based spaces and $\mathsf{TopMon}$ the category of topological monoids. Recall the James construction $\mathcal{J}:\mathsf{Top}_*\to \mathsf{TopMon}$ which ...
5
votes
1
answer
170
views
Which homotopy types can be realized as the classifying space of a right-cancellative discrete monoid?
McDuff showed that every connected homotopy type can be realized as the classifying space of a discrete monoid, but the monoid she constructs has lots of idempotents.
Question: Which homotopy types ...
5
votes
1
answer
205
views
Topological category of topological monoids / operads
The category of topological monoids can be made into a topological category in a naive way. Namely, the space of all continuous homomorphisms between two topological monoids is a closed subspace of ...
5
votes
1
answer
284
views
Directed homotopy in the Cayley graph of a monoid
There is a the notion of the Cayley graph $C(G)$ of a group $G$ (which depends on a given presentation $G \cong \mathcal F(S) / \sigma$ where $\mathcal F$ is the free group functor and $\sigma$ some ...
33
votes
0
answers
2k
views
Is there a (discrete) monoid M injecting into its group completion G for which BM is not homotopy equivalent to BG?
For a (discrete) monoid $M$, the classifying space $BM$ is the
geometric realization of the nerve of the one object category whose
hom-set is $M$. (This definition gives the usual classfiying space
...
13
votes
2
answers
713
views
How do you compute the space of lifts of an E-infinity map?
Let X, Y and B be $E_\infty$ spaces, and let $p: X \rightarrow Y$ and $f: B \rightarrow Y$ be $E_\infty$ maps. We can ask for the space of lifts of f across p, that is the space of $E_\infty$ maps $g:...