Lurie characterization theorem