Monads in double categories

We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and dene what it means for a double category to admit the construction of free monads. Our main theorem shows that, under some mild conditions, a double category that is a framed bicategory admits the construction of free monads if its horizontal 2-category does. We apply this result to obtain double adjunctions which extend the adjunction between graphs and categories and the adjunction between polynomial endofunctors and polynomial monads.

Sistema de reservas hoteleras RESHOTEL

XXXTOUR és una empresa que té com a principal negoci fer d'intermediari per a les agències de viatge i els particulars que vulguin reservar places hoteleres, d'una banda, i per als establiments hotelers, de l'altra. Així, doncs, contracta aquestes places a uns proveïdors i les ven a aquests clients. En l'actualitat, els proveïdors comuniquen a XXXTOUR totes les dades referents a les places mitjançant documents impresos i per telèfon, i els treballadors de l'empresa les han d'introduir al sistema d'informació de l'empresa. Per mitjà del nou sistema, els proveïdors, a més de poder emprar la funcionalitat actual, podran accedir al portal d'XXXTOUR i introduir les seves pròpies dades. I quan rebin una petició de places les podran confirmar accedint al portal, de manera que el client tindrà les places sol·licitades molt més aviat, cosa que millora el servei.