A comprehensive and searchable database of categories and their properties - View it on GitHub