Compact Categories