1 .l Summary IN [l] QUILLEN introduced the notion of a model category (a category together with three classes of maps: weak equivalences, fibrations and cofibrations, satisfying certain axioms (1.4 (iv))) as a general framework for “doing homotopy theory”. To each model category M there is associated a homotopy category. If W C M denotes the subcategory of the weak equivalences, then this homot...

BACKGROUND This study was conducted to identify medicinal plants and spices used for medicine by the community of Beni-Sueif, Upper Egypt. METHODS Ethnobotanical data from local people was collected using direct interviews and a semi-structured questionnaire. RESULTS Forty-eight plant species belonging to twenty-seven families and forty-seven genera were encountered during the study. Their ...

Information systems with witnesses have been introduced in [13] as a logic-style representation of L-domains: The category of such information systems with approximable mappings as morphisms is equivalent to the category of L-domains with Scott continuous functions, which is known to be Cartesian closed. In the present paper a direct proof of the Cartesian closure of the category of information...

Let L/Qp be a finite extension, and let G be a locally L-analytic group such as the L-points of an algebraic group over L. The categories of smooth and of finite-dimensional algebraic representations of G may be viewed as subcategories of the category of continuous representations of G in locally convex L-vector spaces. This larger category contains many interesting new objects, such as the act...

L. Fajstrup, E. Goubault, and M. Raussen have introduced local pospaces as a model for concurrent systems. In this paper it is shown that the category of local pospaces under a fixed local pospace is a fibration category in the sense of H. Baues. The homotopy notion in this fibration category is relative directed homotopy. MSC 2000: 54F05, 55P99, 55U35, 68Q85

Let L/Qp be a finite extension, and let G be a locally L-analytic group such as the L-points of an algebraic group over L. The categories of smooth and of finite-dimensional algebraic representations of G may be viewed as subcategories of the category of continuous representations of G in locally convex L-vector spaces. This larger category contains many interesting new objects, such as the act...

We believe that the study of the notions of universal algebra modelled in an arbitarry topos rather than in the category of sets provides a deeper understanding of the real features of the algebraic notions. [2], [3], [4], [S], [6], [7], [13], [14] are some examples of this approach. The lattice Id(L) of ideals of a lattice L (in the category of sets) is an important ingredient of the categ...