  We use geometric parabolic induction functors and the adjoint functors for
the supergroups Osp(2m+1,2n) (where m and n vary) to categorify the action of
the infinite-dimensional Clifford algebra on the Fock space of semi-infinite
forms.
