A functor from a category of schemes (or other algebraic objects) to sets or groupoids that cannot be isomorphic to the functor of points of any scheme or algebraic space; it signals that the desired moduli cannot be captured by schemes alone.

Principle

Representability means a functor is realized by a universal object whose T-points reproduce the functor; failure of representability indicates an essential lack of a universal parametrizing object in the allowed category, often because of automorphisms, infinite-dimensional families, or nonseparated behavior.

Demonstration

Moduli problems that require stacky structure provide examples: the functor sending T to isomorphism classes of objects with nontrivial automorphisms may be nonrepresentable by a scheme (e.g., objects whose families have stabilizers varying in T), forcing passage to algebraic stacks or groupoid quotients.

Misapplication

Forcing a nonrepresentable functor to be treated as if it were representable by a scheme or ignoring stabilizer groups, which leads to incorrect universal families, miscounted deformation spaces, or failure to parametrize isomorphism classes correctly.

Consequence

Identifying nonrepresentability redirects one to broader frameworks (algebraic spaces, stacks, formal moduli, or derived moduli) that can capture the functor, clarifies what universal objects exist, and explains moduli pathologies like nonseparatedness or lack of coarse moduli spaces.

Reversal

Representable functors are the reversal: there exists a scheme (or algebraic space) whose functor of points equals the given functor, providing a universal family and classical geometric parameter space.

Boundary

Concerns functors on categories of schemes, rings, or groupoids; excludes set-theoretic parameterizations that ignore categorical structure and does not claim representability within an unreasonably restrictive ambient category (e.g., insisting on schemes when algebraic spaces or stacks are necessary).

Semantic Tension

Tension between the functor-of-points viewpoint (flexible but sometimes nonrepresentable) and the desire for concrete geometric parameter spaces (schemes); tension also between coarse moduli versus stacky or derived enhancements required to represent the functor.

Synthesis

A nonrepresentable functor is a moduli-type assignment that lacks a representing scheme or algebraic space due to automorphisms, nonseparated behaviour, or infinite-dimensionality; acknowledging nonrepresentability motivates passing to stacks, derived or formal methods to obtain correct parametrizations.