The universal exponentiable arrow

From MaRDI portal
Publication:2078410