We study the local functor of points (which we call the Weil-Berezin functor)
for smooth supermanifolds, providing a characterization, representability
theorems and applications to differential calculus.