[Atiscant]

I don’t think there is a definitive book which represent exactly what I have in mind. It would depend a lot on your background. If you have a mathematical background with some formal logic, you could read the introduction to the Homotopy Type Theory Book, but it is aiming at something different. This video and accompanying paper could also help https://math.andrej.com/2016/10/10/five-stages-of-accepting-.... If you have no logic background, it would require a bit more.

What is your background and interest? I could perhaps help if you want to learn something like this