| 3D honeycombs | ||
|---|---|---|
 Simple tetroctahedric check |  Complex tetroctahedric check | |
| 4D polytopes | ||
 Tetroctahedric |  Octicosahedric |  Tetricosahedric |
In geometry, by Thorold Gosset's definition a semiregular polytope is usually taken to be a polytope that is vertex-transitive and has all its facets being regular polytopes. E.L. Elte compiled a longer list in 1912 as The Semiregular Polytopes of the Hyperspaces which included a wider definition.
In three-dimensional space and below, the terms semiregular polytope and uniform polytope have identical meanings, because all uniform polygons must be regular. However, since not all uniform polyhedra are regular, the number of semiregular polytopes in dimensions higher than three is much smaller than the number of uniform polytopes in the same number of dimensions.
The three convex semiregular 4-polytopes are the rectified 5-cell, snub 24-cell and rectified 600-cell. The only semiregular polytopes in higher dimensions are the k21 polytopes, where the rectified 5-cell is the special case of k = 0. These were all listed by Gosset, but a proof of the completeness of this list was not published until the work of Makarov (1988) for four dimensions, and Blind & Blind (1991) for higher dimensions.
, or 
↔ 
or 
Semiregular polytopes can be extended to semiregular honeycombs. The semiregular Euclidean honeycombs are the tetrahedral-octahedral honeycomb (3D), gyrated alternated cubic honeycomb (3D) and the 521 honeycomb (8D).
Gosset honeycombs:
↔ (Also quasiregular polytope)
Semiregular E-honeycomb:
Gosset (1900) additionally allowed Euclidean honeycombs as facets of higher-dimensional Euclidean honeycombs, giving the following additional figures:
There are also hyperbolic uniform honeycombs composed of only regular cells ( Coxeter & Whitrow 1950 ), including:
↔ ↔ (Also quasiregular) ↔ 
↔ ↔ ↔ ↔ 
(Also quasiregular)
= 
In geometry, a convex uniform honeycomb is a uniform tessellation which fills three-dimensional Euclidean space with non-overlapping convex uniform polyhedral cells.
The cubic honeycomb or cubic cellulation is the only proper regular space-filling tessellation in Euclidean 3-space made up of cubic cells. It has 4 cubes around every edge, and 8 cubes around each vertex. Its vertex figure is a regular octahedron. It is a self-dual tessellation with Schläfli symbol {4,3,4}. John Horton Conway called this honeycomb a cubille.
The tetrahedral-octahedral honeycomb, alternated cubic honeycomb is a quasiregular space-filling tessellation in Euclidean 3-space. It is composed of alternating regular octahedra and tetrahedra in a ratio of 1:2.
In hyperbolic geometry, the order-4 dodecahedral honeycomb is one of four compact regular space-filling tessellations of hyperbolic 3-space. With Schläfli symbol {5,3,4}, it has four dodecahedra around each edge, and 8 dodecahedra around each vertex in an octahedral arrangement. Its vertices are constructed from 3 orthogonal axes. Its dual is the order-5 cubic honeycomb.
The quarter cubic honeycomb, quarter cubic cellulation or bitruncated alternated cubic honeycomb is a space-filling tessellation in Euclidean 3-space. It is composed of tetrahedra and truncated tetrahedra in a ratio of 1:1. It is called "quarter-cubic" because its symmetry unit – the minimal block from which the pattern is developed by reflections – is four times that of the cubic honeycomb.
In hyperbolic geometry, the order-5 cubic honeycomb is one of four compact regular space-filling tessellations in hyperbolic 3-space. With Schläfli symbol {4,3,5}, it has five cubes {4,3} around each edge, and 20 cubes around each vertex. It is dual with the order-4 dodecahedral honeycomb.
In geometry, a honeycomb is a space filling or close packing of polyhedral or higher-dimensional cells, so that there are no gaps. It is an example of the more general mathematical tiling or tessellation in any number of dimensions. Its dimension can be clarified as n-honeycomb for a honeycomb of n-dimensional space.
In geometry, a uniform polytope of dimension three or higher is a vertex-transitive polytope bounded by uniform facets. The uniform polytopes in two dimensions are the regular polygons.
In geometry, a quasiregular polyhedron is a uniform polyhedron that has exactly two kinds of regular faces, which alternate around each vertex. They are vertex-transitive and edge-transitive, hence a step closer to regular polyhedra than the semiregular, which are merely vertex-transitive.
In geometry, the Gosset–Elte figures, named by Coxeter after Thorold Gosset and E. L. Elte, are a group of uniform polytopes which are not regular, generated by a Wythoff construction with mirrors all related by order-2 and order-3 dihedral angles. They can be seen as one-end-ringed Coxeter–Dynkin diagrams.
In geometry, a uniform k21 polytope is a polytope in k + 4 dimensions constructed from the En Coxeter group, and having only regular polytope facets. The family was named by their Coxeter symbol k21 by its bifurcating Coxeter–Dynkin diagram, with a single ring on the end of the k-node sequence.
In hyperbolic 3-space, the order-6 tetrahedral honeycomb is a paracompact regular space-filling tessellation. It is paracompact because it has vertex figures composed of an infinite number of faces, and has all vertices as ideal points at infinity. With Schläfli symbol {3,3,6}, the order-6 tetrahedral honeycomb has six ideal tetrahedra around each edge. All vertices are ideal, with infinitely many tetrahedra existing around each vertex in a triangular tiling vertex figure.
In the field of hyperbolic geometry, the order-4 hexagonal tiling honeycomb arises as one of 11 regular paracompact honeycombs in 3-dimensional hyperbolic space. It is paracompact because it has cells composed of an infinite number of faces. Each cell is a hexagonal tiling whose vertices lie on a horosphere: a flat plane in hyperbolic space that approaches a single ideal point at infinity.
The order-6 cubic honeycomb is a paracompact regular space-filling tessellation in hyperbolic 3-space. It is paracompact because it has vertex figures composed of an infinite number of facets, with all vertices as ideal points at infinity. With Schläfli symbol {4,3,6}, the honeycomb has six ideal cubes meeting along each edge. Its vertex figure is an infinite triangular tiling. Its dual is the order-4 hexagonal tiling honeycomb.
In the field of hyperbolic geometry, the order-5 hexagonal tiling honeycomb arises as one of 11 regular paracompact honeycombs in 3-dimensional hyperbolic space. It is paracompact because it has cells composed of an infinite number of faces. Each cell consists of a hexagonal tiling whose vertices lie on a horosphere, a flat plane in hyperbolic space that approaches a single ideal point at infinity.
The triangular tiling honeycomb is one of 11 paracompact regular space-filling tessellations in hyperbolic 3-space. It is called paracompact because it has infinite cells and vertex figures, with all vertices as ideal points at infinity. It has Schläfli symbol {3,6,3}, being composed of triangular tiling cells. Each edge of the honeycomb is surrounded by three cells, and each vertex is ideal with infinitely many cells meeting there. Its vertex figure is a hexagonal tiling.
In the geometry of hyperbolic 3-space, the square tiling honeycomb is one of 11 paracompact regular honeycombs. It is called paracompact because it has infinite cells, whose vertices exist on horospheres and converge to a single ideal point at infinity. Given by Schläfli symbol {4,4,3}, it has three square tilings, {4,4}, around each edge, and six square tilings around each vertex, in a cubic {4,3} vertex figure.
In the geometry of hyperbolic 3-space, the tetrahedron-octahedron honeycomb is a compact uniform honeycomb, constructed from octahedron and tetrahedron cells, in a rhombicuboctahedron vertex figure.
In the geometry of hyperbolic 3-space, the tetrahedral-triangular tiling honeycomb is a paracompact uniform honeycomb, constructed from triangular tiling, tetrahedron, and octahedron cells, in an icosidodecahedron vertex figure. It has a single-ring Coxeter diagram, , and is named by its two regular cells.
In the geometry of hyperbolic 3-space, the cubic-square tiling honeycomb is a paracompact uniform honeycomb, constructed from cube and square tiling cells, in a rhombicuboctahedron vertex figure. It has a single-ring Coxeter diagram, , and is named by its two regular cells.
