Categories for Boring Contractors