Higher-Order Containers
نویسندگان
چکیده
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coproducts, initial algebras and terminal coalgebras. In the present paper we show that, surprisingly, the category of containers is cartesian closed, giving rise to a full cartesian closed subcategory of endofunctors. The result has interesting applications in generic programming and representation of higher order abstract syntax. We also show that the category of containers has finite limits, but it is not locally cartesian closed.
منابع مشابه
Comparative study of regular insulin adhesion to the walls of glass and plastic serum containers
Introduction:Due to the role of insulin in the control of blood sugar and its widespread use,it is very important to fine-tune the amount of insulin that should reach the patient so that the patient is not exposed to the complications of non-regulation of blood sugar. Research has shown that the choice of solution and serum containers is effective in the patient's access to insulin.Our goal is ...
متن کاملبررسی امکان فساد سس مایونز در شرایط نگه‌داری در دمای بالا و در بسته‌های بزرگ پلاستیکی
Mayonnaise sauce is a nutritious food product with high caloric content, which is usually incorporated into other products as an ingredient. The product should be produced under hygienic conditions to avoid its physical and chemical deterioration along with microbial spoilage, which mostly happens due to the lack of thermal treatment. Mayonnaise is often stored for long periods at room temperat...
متن کاملبررسی امکان فساد سس مایونز در شرایط نگه‌داری در دمای بالا و در بسته‌های بزرگ پلاستیکی
Mayonnaise sauce is a nutritious food product with high caloric content, which is usually incorporated into other products as an ingredient. The product should be produced under hygienic conditions to avoid its physical and chemical deterioration along with microbial spoilage, which mostly happens due to the lack of thermal treatment. Mayonnaise is often stored for long periods at room temperat...
متن کاملتأثیر فواصل پاشش محلول غذایی و کیفیت نور در محیط ریشه بر خصوصیات رشدی گیاه آنتوریوم (Anthurium andreanum L.) در سیستم اروپونیک
In order to determine the most appropriate nutrient solution spraying interval and effects of light quality in the root zone on anthurium in aeroponic system, a split plot experiment, with completely randomized design, was carried out in a greenhouse located in the city of Karaj, Iran. In this study, time between the sprays was the main plot and consisted of two levels (2 minutes spray and 30 m...
متن کاملAn Optimization of Backup Storage using Backup History and Cache Knowledge in reducing Data Fragmentation for In_line deduplication in Distributed
The chunks of data that are generated after the backup are physically distributed after deduplication in backup system, which creates a problem know as fragmentation. Basically fragmentation basically comes into sparse and outof-order containers. The sparse container adversely affect the performance while restoring the database and garbage collection effectively , while the out-of-order contain...
متن کامل