Pseudo algebras and pseudo double categories

zbMATH Open1184.18003arXivmath/0608760MaRDI QIDQ847552FDOQ847552

Authors: Thomas M. Fiore 

Publication date: 17 February 2010

Published in: Journal of Homotopy and Related Structures (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/math/0608760

Recommendations

• Pseudo-categories
• Laplaza sets, or how to select coherence diagrams for pseudo algebras
• On the notion of pseudocategory internal to a category with a 2-cell structure
• Pseudo-commutative monads and pseudo-closed 2-categories
• Double clubs

zbMATH Keywords

coherenceholonomyalgebrafoldingbicategory2-categorycrossed module2-groupdouble categorydouble groupthin structure2-algebra2-theoryconnection pairpseudo algebrapseudo double category

Mathematics Subject Classification ID

Two-dimensional field theories, conformal field theories, etc. in quantum mechanics (81T40) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Cited In (14)

• Monads in double categories
• Fundamentals of compositional rewriting theory
• Model structures on the category of small double categories
• Gluing pseudo functors via \(n\)-fold categories
• Feynman categories and representation theory
• A Thomason model structure on the category of small \(n\)-fold categories
• Pseudocompact algebras and highest weight categories
• On the history of Lie brackets, crossed modules, and Lie-Rinehart algebras
• A new formulation of higher parallel transport in higher gauge theory
• Laplaza sets, or how to select coherence diagrams for pseudo algebras
• Spans of cospans in a topos
• A bicategory of decorated cospans
• Not every pseudoalgebra is equivalent to a strict one
• On the notion of pseudocategory internal to a category with a 2-cell structure

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)