Categorification of Clifford algebra via geometric induction and restriction
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.