this talk will be colloquial and geared towards people from other fields. i will talk about smooth mod $p$ representations of $p$-adic lie groups. in stark contrast to the complex case, these categories typically do not have any (nonzero) projective objects. for reductive groups this is a byproduct of a stronger result on the derived functors of smooth induction. the talk is based on joint work with peter schneider.