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.
Recommendations
Cited in
(14)- A new formulation of higher parallel transport in higher gauge theory
- A bicategory of decorated cospans
- Not every pseudoalgebra is equivalent to a strict one
- Spans of cospans in a topos
- On the notion of pseudocategory internal to a category with a 2-cell structure
- Fundamentals of compositional rewriting theory
- On the history of Lie brackets, crossed modules, and Lie-Rinehart algebras
- Laplaza sets, or how to select coherence diagrams for pseudo algebras
- Monads in double categories
- Gluing pseudo functors via \(n\)-fold categories
- A Thomason model structure on the category of small \(n\)-fold categories
- Feynman categories and representation theory
- Model structures on the category of small double categories
- Pseudocompact algebras and highest weight categories
This page was built for publication: Pseudo algebras and pseudo double categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q847552)
