Non-Explicit Categories