CARREGANDO O RADAR…
Cartesian closedness of the category of real-valued sets, II | Radar arXiv · portela.dev