4 papers
A theory of 2-pro-objects, a theory of 2-model 2-categories and the 2-model structure for 2-Pro(C)
Maria Emilia Descotte
In the sixties, Grothendieck developed the theory of pro-objects over a category. The fundamental property of the category is that there is an embedding $C \stackrel{c}{\r…
A localization of bicategories via homotopies
M. E. Descotte, E. J. Dubuc, M. Szyld
Given a bicategory C and a family W of arrows of C, we give conditions on the pair (C,W) that allow us to construct the bicategorical localization with respect to W by dealing only…
A construction of certain weak colimits and an exactness property of the 2-category of categories
M. E. Descotte, E. J. Dubuc, M. Szyld
Given a 2-category , a -functor and a distinguished 1-subcategory containing all t…
Axiomatizations for downward XPath on Data Trees
Sergio Abriola, María Emilia Descotte, Raul Fervari +1
We give sound and complete axiomatizations for XPath with data tests by "equality" or "inequality", and containing the single "child" axis. This data-aware logic predicts over data…