Lie theory in tensor categories with applications to modular representation theory.