Books for a more general audience I know of are Conceptual Mathematics by Lawvere and Schanuel, and one "for the sciences" by Spivak.