Can anyone recommend a finitist, constructivist approach to topology? I’m really most interested in discrete geometry, but a geometry that doesn’t try to preserve traditional concepts like curvature, angle, volume etc, but builds them up from scratch from finite graphs. A discrete-first approach, like how Lattice Boltzmann methods are approximated by Navier Stokes rather the way FEM solvers discretize Navier Stokes.