Derivatives of Containers
نویسندگان
چکیده
We are investigating McBride’s idea that the type of one-hole contexts are the formal derivative of a functor from a categorical perspective. Exploiting our recent work on containers we are able to characterise derivatives by a universal property and show that the laws of calculus including a rule for initial algebras as presented by McBride hold — hence the differentiable containers include those generated by polynomials and least fixpoints. Finally, we discuss abstract containers (i.e. quotients of containers) — this includes a container which plays the role of ex in calculus by being its own derivative.
منابع مشابه
Identifying and Determining Dispersion Boundary Bio-aerosols of Bacterial and Fungal Pathogens from Municipal Waste Collection Containers
Background & Aims of the Study: Identifying and determining the dispersion boundary bio-aerosols of bacterial and fungal pathogens for locating containers of municipal waste in accurate management to prevent from health damage and enhance society health is essential. The aim of this research is to identify and assess the radius of bacterial and fungal bio-aerosol emissions from muni...
متن کاملpleiostachyum, Protea odorata, Prunus africana, Sarracenia spp., Shortia galacifolia, Sternbergia spp., Swietenia humilis, Tillandsia harrisii, Tillandsia kammii, Tillandsia kautskyi, Tillandsia mauryana, Tillandsia sprengeliana, Tillandsia sucrei, Tillandsia xerographica, Welwitschia mirabilis, ZAMIACEAE spp
Taxon Proposed annotation Current Annotation Cactaceae spp. (#4) and Orchidaceae spp. (#8) in Appendix II, and all taxa annotated with #1 Designates all parts and derivatives, except: a) seeds, spores and pollen (including pollinia), except seeds of Mexican Cactaceae spp. originating in Mexico; b) seedling or tissue cultures obtained in vitro, in solid or liquid media, transported in sterile co...
متن کامل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 ...
متن کاملAn optimization model for management of empty containers in distribution network of a logistics company under uncertainty
In transportation via containers, unbalanced movement of loaded containers forces shipping companies to reposition empty containers. This study addresses the problem of empty container repositioning (ECR) in the distribution network of a European logistics company, where some restrictions impose decision making in an uncertain environment. The problem involves dispatching empty contain...
متن کاملAzo group(s) in selected macrocyclic compounds
Azobenzene derivatives due to their photo- and electroactive properties are an important group of compounds finding applications in diverse fields. Due to the possibility of controlling the trans-cis isomerization, azo-bearing structures are ideal building blocks for development of e.g. nanomaterials, smart polymers, molecular containers, photoswitches, and sensors. Important role play also mac...
متن کامل