Pseudo Algebras and Pseudo Double Categories

Abstract

As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into bicategories. Foldings are equivalent to connection pairs, and also to thin structures if the vertical and horizontal morphisms coincide. In a sense, the squares of a double category with folding are determined in a functorial way by the 2-cells of the horizontal 2-category. As a special case, strict 2-algebras with one object and everything invertible are crossed modules under a group.

60 pages. Exposition improved, Section 5 rewritten to include the 2-equivalence between crossed modules under groups and double groups with folding. This final version will appear in the Journal of Homotopy and Related Structures.

References in corpus (6)

• Higher-Dimensional Algebra V: 2-Groups
• Group Objects and Internal Categories
• Double categories and quantum groupoids
• Polycategories via pseudo-distributive laws
• Thin Elements and Commutative Shells in Cubical omega-categories
• Laplaza Sets, or How to Select Coherence Diagrams for Pseudo Algebras

Cited by in corpus (14)

• Constructing symmetric monoidal bicategories
• Comparing composites of left and right derived functors
• Constructing symmetric monoidal bicategories functorially
• A new formulation of higher parallel transport in higher gauge theory
• Double Bicategories and Double Cospans
• A bicategory of decorated cospans
• On the history of Lie brackets, crossed modules, and Lie-Rinehart algebras
• String Diagrams For Double Categories and Equipments
• Strict 2-Groups are Crossed Modules
• Extended TQFT's and Quantum Gravity
• Gluing pseudo functors via $n$-fold categories
• Double Fell bundles over discrete double groupoids with folding
• Double Adjunctions and Free Monads
• Monads in Double Categories