Categories in Davis