Spaces of partial maps, fibred mapping spaces and the compact-open topology

Abstract The category TopB of topological spaces over B is known to have a product, the fibred product. In order to determine exponential laws for this product, we construct first a compact-open topology on a function space of partial maps with closed domain, and from this construct in TopB a fibred mapping space. Basic properties of this space are established, including conditions for exponential laws and for Hausdorffness.