I have for a while been sniffing around the edges of Lie groups, -algebras etc, but what tends to put me off is that it always seems to focus on matrix groups and detailed calculations of things, like $exp()$, that I feel ought to have a more general, abstract definition. Thus:
- Is there a book/books that treat Lie theory in full abstraction - perhaps even from Category theory?