Surface defects in (extended) three‐dimensional topological field theories have important applications, ranging from solid state physics to computations of Brauer‐Picard groups of representation categories. We present some categorical tools that are needed in such a construction, including in particular a category‐valued trace.