The main result is that two possible structures which may be imposed on an edge symmetric double category, namely a connection pair and a thin structure, are equivalent. A full proof is also given of the theorem of Spencer, that the category of small 2-categories is equivalent to the category of edge symmetric double categories with thin structure.
CITATION STYLE
Brown, R., & Mosa, G. H. (1999). Double categories, 2-categories, thin structures and connections. Theory and Applications of Categories, 5, 163–175.
Mendeley helps you to discover research relevant for your work.