Every Given a loop set space is naturally a monoid withpath , concatenation as the operation. type In of fact endofunctions everyloop space is has a the structure of an monoid, with basepointgroup . , operation function composition.
Given a set , the type of endofunctions has the structure of an monoid, with basepoint , operation function composition.