Categorical thickening

1. Introduction

Thickening is the process of adding higher structure to an object. For instance, going from to enthickens 1-categories with 2-cells.