Abstract Galaxy Formation