Categories for Hardware