Abstract

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.

Citations

161	Homotopy invariant algebraic structures on topological spaces, Lecture - Boardman, Vogt
125	Introduction to Bicategories - Bénabou - 1967
118	Review of the elements of 2-categories - Kelly, Street - 1974
110	On the algebra of cubes - Brown, Higgins - 1981
44	Multiple categories: the equivalence of a globular and a cubical approach’. Adv. Math. 170 (1) (2002) 71–118. 7 [AB92 - Al-Agl, Brown, et al. - 1992
41	Groupoids and crossed objects in algebraic topology. Preprint available at Ronnie Brown’s home - Brown
38	Tensor products and homotopies for ω-groupoids and crossed complexes - Brown, Higgins - 1987
37	Algebraic models of 3-types and automorphism structures for crossed modules - Brown, Gilbert - 1989
36	Non-Semisimple Topological Quantum Field Theories for 3Manifolds with Corners - Kerler, Lyubashenko - 2001
33	Catégories et structures - Ehresmann - 1965
32	Categorification, in “Higher Category Theory - Baez, Dolan - 1998
31	Double groupoids and crossed modules, Cahiers Topologie G!eom. Diff!erent!ıelle Cat!egoriques 17 - Brown, Spencer - 1976
31	Conformal field theory and elliptic cohomology - Hu, Kriz
30	Double categories, 2-categories, thin structures and connections - Brown, Mosa - 1999
30	The combinatorics of n-categorical pasting - Johnson - 1989
24	Structures Algébriques dans les Catégories, Cahiers de Topologie et Géometrie Differéntielle - Bénabou - 1968
24	I.Kriz: Closed and open conformal field theories and their anomalies - Hu
23	Determination of a double Lie groupoid by its core diagram - Brown, Mackenzie - 1992
20	Rigidification of algebras over multi-sorted theories. Algebraic and Geometric Topoogy 7 - Bergner - 2007
18	Higher-dimensional Categories: an illustrated guide book - Cheng, Lauda - 2004
17	Limits in double categories - Grandis, Pare - 1999
16	General associativity and general composition for double categories. Cahiers Topologie Géom. Différentielle Catégoriques - Dawson, Paré - 1993
15	Higher-dimensional algebra - Baez, Crans
13	Algebras with a scheme of operators - Higgins - 1963
12	Pseudo Limits, Biadjoints, and Pseudo Algebras: Categorical Foundations of Conformal Field Theory - Fiore
9	Group objects and internal categories - Forrester-Barker - 2002
9	Adjoint for double categories. Addenda to: “Limits in double categories - Grandis, Pare - 1999
9	Thin elements and commutative shells in cubical ωcategories. Theory and Applications of Categories - Higgins - 2005
6	Double categories and quantum groupoids - Andruskiewitsch, Natale - 2003
6	Içen : Towards a 2–dimensional notion of holonomy, Adv - Brown
6	crossed modules and the fundamental groupoid of a topological group - G-groupoids - 1976
5	Tensor categories attached to double groupoids - Andruskiewitsch, Natale - 2006
5	Adjoining adjoints - Dawson, Paré, et al.
5	What is a free double category like - Dawson, Paré
5	On the Cobordism and Commutative Monoid with Cancellation Approaches to Conformal Field Theory - Fiore
5	Polycategories via pseudo-distributive laws - Garner
5	Double clubs. Cahiers Topologie Géom - Garner
4	Içen ˙ I: Homotopies and Automorphisms of Crossed Modules - Brown
4	Undecidability of the free adjoint construction - Dawson, Pronk
4	Free extensions of double categories - Dawson, Pronk
4	The pathology of double categories - Dawson, Pronk - 2006
4	Catégories structurées. III. Quintettes et applications covariantes. In Topol. et Géom - Ehresmann
3	More general spans - Dawson, Pronk - 2006
2	Al-Agl. Aspects of Multiple Categories - Ali - 1989
2	homotopy equivalence and internal category equivalence of crossed modules in categories of groups with operations - Whitehead - 1995
2	Pseudo algebras with Laplaza sets - Fiore, Kriz, et al.