Lazy category: methods for kernel lift
Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  Lazy category: methods for kernel lift