I tried to build intuition before going into the formal definitions.

Personally, I've always liked Bourbaki's books, but they're too formal for learning - especially in linear algebra, which I see as something meant for applications rather than pure math research.

Maybe I just oversimplified things or made them feel less "math".