Lambda cube are replaced by faces, as well as a dual representation as a dodecahedron, where the 12 edges are replaced by faces. Lambda cube In mathematical logic and type theory, the λ-cube is a framework for exploring the axes of refinement in Thierry Coquand's calculus of constructions, starting from the simply typed lambda calculus (written as λ→ in the cube diagram) as the vertex of a cube placed at the origin, and the calculus of constructions (higher-order dependently typed polymorphic lambda calculus; written as λPω in the diagram) as its diametrically opposite vertex. Each axis of the cube represents a new
Compound of 5-cube and 5-orthoplex different edges. Compound of 5-cube and 5-orthoplex In 5-dimensional geometry, the 5-cube 5-orthoplex compound is a polytope compound composed of a regular 5-cube and dual regular 5-orthoplex. A "compound polytope" is a figure that is composed of several polytopes sharing a common center. The outer vertices of a compound can be connected to form a convex polytope called the convex hull. The compound is a facetting of the convex hull. In 5-polytope compounds constructed as dual pairs, the hypercells and vertices swap positions and cells and edges swap positions. Because of this the number of hypercells and vertices are equal,