Linear Algebra: As an Introduction to Abstract Mathematics by Isaiah Lankham, Bruno Nachtergaele and Anne Schilling.
From the cover page:
Lecture Notes for MAT67, University of California, Davis, written Fall 2007, last updated October 9, 2011.
Organized to teach both the computational as well as abstract (proof) side of linear algebra.
Organizing a topic maps textbook along the same lines, computing (merging) between subject proxies as well as abstract theories of identification, could be quite useful.
Comments?
I first saw this at Christophe Lalanne’s A bag of tweets / October 2012.