Re: Partial morphisms in toposes