A comprehensive database of categories and their properties