We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers have good closure properties under a variety of constructions including the formation of initial algebras and final coalgebras. We also show that containers include strictly positive types and shapely types but that th...

In component-based systems, fault-tolerance concerns are typically handled by manually programmed fault containers. The purpose of fault containers is to prevent error propagation across component boundaries by means of redundant service providers. However, manually programmed fault containers are often subject to evolutionary pressure when components change. In this paper we present a meta-lev...

Large container ports around the world are major hubs in the global cargo transport system. A container stack is a type of temporary store where containers await further transport by truck, train or vessel. The main efficiency problem for an individual stack is to ensure easy access to containers at the expected time of transfer. In this paper, we propose a planning tool for finding the best co...

This study aimed to evaluate the survival rate of microorganisms within different antiseptic formulations - povidone-iodine (PVP-I) and chlorhexidine (CHX) - after intentional contamination, and to establish the minimum care necessary to ensure sterilization of non-disposable antiseptic solution containers. A laboratory study was performed with 180 antiseptic containers, which were contaminated...

Containers are a neat representation of a wide class of set functors. We have previously [1] introduced directed containers as a concise representation of comonad structures on such functors. Here we examine interpreting the opposite categories of containers and directed containers. We arrive at a new view of a di↵erent (considerably narrower) class of set functors and monads on them, which we ...

Field trials on the initial and long-term efficacy of a new formulation of temephos granules (1% on zeolite) applied at 1 ppm active ingredient (AI) were conducted in water-storage containers against Aedes aegypti in 3 villages in the Kanchanaburi Province in Thailand. A total of 316 water-storage containers of various types and sizes were included in the study. In the initial survey, we found ...