On a reasonably elementary level, I like Perrone's Notes (with examples from basic math) and Barr's book "for computer scientists."

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