Consider the discrete monoid $M$ of nondecreasing continuous maps from $[0,1]$ to itself preserving the extremities. Note that the monoid is right-cancellative ($x.z=y.z$ implies $x=y$ since $z$ is always onto).

What do we know about the homotopy type of this monoid (viewed as a one-object category) ? In particular, about its homotopy groups ?

My background on this subject is very small. By a paper from Dusa McDuff (On the classifying space of discrete monoids), every path-connected space has the same homotopy type as the classifying space of some monoid. And the fondamental group of $BM$ is the groupification of $M$.

EDIT: I am a bit confused between the English meaning and the French meaning of nondecreasing. The monoid I am talking about is not a group because a nondecreasing map preserving extremities is not necessarily one-to-one. I hope that this clarification will be helpful.

Consider the discrete monoid $M$ of nondecreasing continuous maps from $[0,1]$ to itself preserving the extremities. Note that the monoid is right-cancellative ($x.z=y.z$ implies $x=y$, since $z$ is always onto).

What do we know about the homotopy type of this monoid (viewed as a one-object category) ? In particular, about its homotopy groups ?

My background on this subject is very small. By a paper from Dusa McDuff (On the classifying space of discrete monoids), every path-connected space has the same homotopy type as the classifying space of some monoid, and the fundamental group of $BM$ is the groupification of $M$.

EDIT: I am a bit confused between the English meaning and the French meaning of nondecreasing. The monoid I am talking about is not a group because a nondecreasing map preserving extremities is not necessarily one-to-one. I hope that this clarification will be helpful.

Consider the discrete monoid $M$ of nondecreasing continuous maps from $[0,1]$ to itself preserving the extremities. Note that the monoid is right-cancellative ($x.z=y.z$ implies $x=y$ since $z$ is always onto).

What do we know about the homotopy type of this monoid (viewed as a one-object category) ? In particular, about its homotopy groups ?

My background on this subject is very small. By a paper from Dusa McDuff (On the classifying space of discrete monoids), every path-connected space has the same homotopy type as the classifying space of some monoid. And the fondamental group of $BM$ is the groupification of $M$.

Consider the discrete monoid $M$ of nondecreasing continuous maps from $[0,1]$ to itself preserving the extremities. Note that the monoid is right-cancellative ($x.z=y.z$ implies $x=y$ since $z$ is always onto).

What do we know about the homotopy type of this monoid (viewed as a one-object category) ? In particular, about its homotopy groups ?

My background on this subject is very small. By a paper from Dusa McDuff (On the classifying space of discrete monoids), every path-connected space has the same homotopy type as the classifying space of some monoid. And the fondamental group of $BM$ is the groupification of $M$.

EDIT: I am a bit confused between the English meaning and the French meaning of nondecreasing. The monoid I am talking about is not a group because a nondecreasing map preserving extremities is not necessarily one-to-one. I hope that this clarification will be helpful.