CatDat

Search for categories

Search for categories that satisfy a specific set of properties while simultaneously not satisfying another set of properties. For example, you can look for categories that are finitely complete and pointed but not complete.

Looking for categories with these properties:

... and not with these properties:

Results

These categories satisfy the properties (finitely complete, pointed) resp. non-properties (complete).

Results for dual search

These categories satisfy the dual properties (finitely cocomplete, pointed) resp. non-properties (cocomplete).