LawvereのConceptual Mathematicsとかは
まあ分かりやすいよ。ただ現代数学に応用とかの
レベルには到底到達しないけど。