  We abstract and generalize homotopical monadicity statements, placing in a
single conceptual framework a range of old and recent recognition and
characterization principles in iterated loop space theory in classical,
equivariant, and multiplicative frameworks. Some of the examples are new and
some are old, but all are illuminated by the coherent framework, which we feel
certain will encompass examples not yet thought of.
  The work is currently divided into three independently readable papers. This
first paper is itself divided into three parts. In the first, we give the
general abstract theory and treat the classical examples with structured spaces
or $G$-spaces as input. In the second, we develop a general context of
composite adjunctions that feeds into the first. It specializes, quite
differently, to give infinite loop space machines that take either orbital
presheaves or categories of operators as input. In the brief third part, we
show how the multiplicative theory fits directly into the frameworks of the
first and second parts.
  The second paper will focus on new constructions and applications when the
starting category is that of orbital presheaves. The third will feed in new
multiplicative constructions of the second author. Both papers fit into the
general context established here, but the new constructions are of considerable
independent interest.
