Loading paper
Pushforwards and Gauge Transformations for Categorical Connections | Tomesphere