Abstract geometry