the fundamental theorem of galois theory states that there is an equivalence of ∞-groupoids between the ∞-groupoid of ∞-groupoids over (an ∞-groupoid) X and the ∞-groupoid of maps from X to the ∞-groupoid of ∞-groupoids
13
13
80
Conversation
Replying to
now you're thinking with ∞-groupoids 😎