18A35 - Category theory; homological algebra :: General theory of categories and functors :: Categories admitting limits , functors preserving limits, completions