Ducompact filters and prime kernal functors