Point-free Style
   HOME

TheInfoList



OR:

Point-free may refer to: *
Pointless topology In mathematics, pointless topology, also called point-free topology (or pointfree topology) or topology without points and locale theory, is an approach to topology that avoids mentioning point (mathematics), points, and in which the Lattice (order ...
, an approach to topology that avoids mentioning points * Point-free style in programming, called also
tacit programming Tacit programming, also called point-free style, is a programming paradigm in which function definitions do not identify the arguments (or "points") on which they operate. Instead the definitions merely compose other functions, among which are co ...
*
Whitehead's point-free geometry In mathematics, point-free geometry is a geometry whose primitive ontology, ontological notion is ''region (mathematics), region'' rather than point (geometry), point. Two axiomatic systems are set out below, one grounded in mereology, the other in ...
, a geometry whose primitive ontological notion is ''region'' rather than point. Two axiomatic systems are set out below, one grounded in mereology, the other in mereotopology and known as ''connection theory''. A point can mark a space or objects {{mathematical disambiguation