Container glass Container glass Container glass is a type of glass for the production of glass containers, such as bottles, jars, drinkware, and bowls. Container glass stands in contrast to "flat glass" (used for windows, glass doors, transparent walls, windshields) and "glass fiber" (used for thermal insulation, in fiberglass composites, and optical communication). Container glass has a lower magnesium oxide and sodium oxide content than flat glass, and a higher Silica, Calcium oxide, and Aluminum oxide content. Its higher content of water-insoluble oxides imparts slightly higher chemical durability against water, which is required for storage of beverages and food. Most container glass
Polynomial functor (type theory) be a family of types indexed by . The pair (, ) is sometimes called a signature or a container. The polynomial functor associated to the container (, ) is defined as follows: Any functor naturally isomorphic to is called a container functor. The action of on functions is defined by Note that this assignment is not only truly functorial in extensional type theories (see #Properties). In intensional type theories, such functions are not truly functors, because the universe type is not strictly a category (the field of homotopy type theory is dedicated to exploring how the universe type behaves