Homotopy Type Theory:
Univalent Foundations of Mathematics
It's a book I wish everyone would read, particularly everyone in a public office and the media. It's a great book for friends with kids under 6 or so. If you find the tactics in this book reprehensible and vile, it's even more important that you read it so you are not taken in by them. People do these things because they work. Several scifi books have also been gifted to friends, mostly Asimov. Stopped smoking six years ago and haven't had the desire to start again since. It feels great.