nLab
negative moment

Contents

Idea

In the context of idempotent (∞,1)-monads or comonads, or moments, the negative moment is the homotopy fiber of the unit or homotopy cofiber of the counit.

These are denoted, e.g., ¯\overline{\sharp}, ¯\overline{\flat}.