Voir la notice de l'article provenant de la source Theory and Applications of Categories website
Tilings of rectangles with rectangles, and tileorders (the associated double order structures) are useful as ``templates'' for composition in double categories. In this context, it is particularly relevant to ask which tilings may be joined together, two rectangles at a time, to form one large rectangle. We characterize such tilings via forbidden suborders, in a manner analogous to Kuratowski's characterization of planar graphs.
@article{TAC_1995_1_a6, author = {Robert Dawson}, title = {A forbidden-suborder characterization of binarily-composable diagrams in double categories}, journal = {Theory and applications of categories}, pages = {146--153}, publisher = {mathdoc}, volume = {1}, year = {1995}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_1995_1_a6/} }
Robert Dawson. A forbidden-suborder characterization of binarily-composable diagrams in double categories. Theory and applications of categories, Tome 1 (1995), pp. 146-153. http://geodesic.mathdoc.fr/item/TAC_1995_1_a6/