dedekind::geometry::IsGeometricLattice Concept Reference

A Set S whose elements are integer-coordinate points, embedded into a continuous vector space V via a declared-monic arrow E. More...

Concept definition

template<typename S, typename E>
concept dedekind::geometry::IsGeometricLattice =  IsMonicArrow<E> && IsSubobject<S, Dom<E>>

Detailed Description

A Set S whose elements are integer-coordinate points, embedded into a continuous vector space V via a declared-monic arrow E.

The integer grid provides the discrete "skeleton"; the monic embedding E: S::Domain ↣ V injects lattice points into the continuous ambient space without collision.

Template Parameters

S	The Set type (Domain is a discrete integer-coordinate type).
E	A monic (injective) embedding arrow S::Domain ↣ V.