Five genera and 26 species belonging to two subfamilies Arteminae Simon, 1893 (one genus and one species) and Pholcinae C.L. Koch, 1850 (four genera and 25 species) are reported from northern Vietnam, including 19 new species of three genera: Belisana babensis sp. nov. (male, female; Bac Kan), B. cheni sp. nov. (male, female; Bac Kan), B. clavata sp. nov. (male; Ha Giang), B. curva sp. nov. (ma...

The aim is to apply string-rewriting methods to compute left Kan extensions, or, equivalently, induced actions of monoids, categories, groups or groupoids. This allows rewriting methods to be applied to a greater range of situations and examples than before. The data for the rewriting is called a Kan extension presentation. The paper has its origins in earlier work by Carmody and Walters who ga...

This is the third in a series of papers extending Martin-Löf’s meaning explanations of dependent type theory to a Cartesian cubical realizability framework that accounts for higherdimensional types. We extend this framework to include a cumulative hierarchy of univalent Kan universes of Kan types; exact equality and other pretypes lacking Kan structure; and a cumulative hierarchy of pretype uni...

Prairie voles (Microtus ochrogaster) are monogamous New World rodents which show geographic variation in social behavior. In this study, parameters of female reproduction which might be related to mating system were compared in prairie voles from eastern Kansas (KAN) versus central Illinois (ILL). KAN females showed a more rapid onset of natural estrus following exposure to a male and were more...

We give an analysis of the non-constructivity of the following basic result: if X and Y are simplicial sets and Y has the Kan extension property, then Y X also has the Kan extension property. By means of Kripke countermodels we show that even simple consequences of this basic result, such as edge reversal and edge composition, are not constructively provable. We also show that our unprovability...

Presentations of Kan extensions of category actions provide a natural framework for expressing induced actions, and therefore a range of different combinatorial problems. Rewrite systems for Kan extensions have been defined and a variation on the Knuth-Bendix completion procedure can be used to complete them – when possible. Regular languages and automata are a useful way of expressing sets and...

In the category Top0 of T0-spaces and continuous maps, embeddings are just those morphisms with respect to which the Sierpiński space is Kan-injective, and the Kan-injective hull of the Sierpiński space is the category of continuous lattices and maps preserving directed suprema and arbitrary infima. In the category Loc of locales and localic maps, we give an analogous characterization of flat e...

The mercury and antibiotic resistance of 338 strains of Escherichia coli isolated from hospital patients was determined. Resistance to mercury was found in 58.6% of the isolates. The frequencies of resistance to streptomycin (Sm), tetracycline (Tc), chloramphenicol (Cm), kanamycin (Kan), cephaloridine (Cer), and gentamicin (Gm) were 66.3, 60.3, 56.5, 42.9, 32.1, and 1.5%, respectively. Among th...

Die skrywer glo dat opnames onder hoërskoolleerlinge waardevoUe demografiese inligting kan voorsien. Die uitvoerbaarheid hiervan is in die veld getoets. In die bespreking van die bevindings stel die skrywer ’n stelsel vir die registrasie van geboortes en sterftes in nasionale state voor waarin die gemeenskapsverpleegkundige en piaaslikc kliniek gebruik word. Watter wyse van registrasie ook op b...

Capsule gene (cps) expression, which normally occurs at low levels in Escherichia coli lon+ cells, increased 38-fold in lon+ cells carrying a Tn10::delta kan insertion mapping to 24 min on the E. coli chromosome. Null mutations in rcsA, rcsB, or rcsC abolished the effect of the Tn10::delta kan insertion. Sequencing of both sides of the Tn10::delta kan insertion localized the insertion to the pr...