A Morphism Double Category and Monoidal Structure

Abstract

A double category is constructed from a `fattened' version of a given category, motivated in part by a context of parallel transport. We also study monoidal structures on the underlying category and on the fattened category.

References in corpus (3)

• Higher Yang-Mills Theory
• Constructing symmetric monoidal bicategories
• Surface holonomy and gauge 2-group