Standard ML has a module system that allows one to deene para-metric modules, called functors. Functors are \\rst-order," meaning that func-tors themselves cannot be passed as parameters or returned as results of functor applications. This paper presents a semantics for a higher-order module system which generalizes the module system of Standard ML. The higher-order functors described here are ...

The $E_2$ term of the Adams spectral sequence may be identified with certain derived functors, and this also holds for a number other sequences. Our goal is to show how higher terms such sequences are determined by truncations relative defined in simplicial functors called mapping algebras

Introduction: Liver plays a pivotal role in glucose and lipid homeostasis. This study was undertaken to evaluate the effects of L. acanthodes hydro-alcoholic extract administration on the liver functional and histological parameters in hyperglycemic rats. Methods: Twenty-four male Wistar rats were randomly allocated into four groups control, hyperglycemic (STZ), hyperglycemic + insulin (STZ...

The existence of valuation domains admitting non-standard uniserial modules for which certain Exts do not vanish was proved in [1] under Jensen’s Diamond Principle. In this note, the same is verified using the ZFC axioms alone. In the construction of large indecomposable divisible modules over certain valuation domainsR, the first author used the property thatR satisfied Ext1R(Q,U) 6= 0, where ...

It was proved by Avramov and Buchweitz that if A is a commutative local complete intersection ring with finitely generated modules M and N , then the Ext groups between M and N vanish from some step if and only if the Ext groups between N and M vanish from some step. This paper shows that the same is true under the weaker conditions that A is Gorenstein and that M and N have finite complete int...

Antipruritic effects of 70% ethanol extract (CM-ext) of Cnidii Monnieri Fructus (dried fruits of Cnidium monnieri CUSSON, Umberifferae) were investigated. In mice, an oral administration of CM-ext (200 and 500 mg/kg) inhibited compound 48/80-induced scratching behavior without influence on spontaneous locomotion. Isopimpinellin (3) and osthol (1), coumarin derivatives isolated from CM-ext, show...