Loop functor

Redirect to:

• Loop space