algebraically-complete-categories