The (higher) topos classifying $\infty$ -connected objects
André Joyal, Video: The (higher) topos classifying $\infty$ -connected objects
André Joyal, Video: The (higher) topos classifying $\infty$ -connected objects
André Joyal, The (higher) topos classifying $\infty$ -connected objects, Tangent Categories and their Applications (Online), BIRS, BIRS talk, 21w5251, math, mathematics, video