Completed category implementations