nLab point of an (infinity,1)-topos

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Discuss this page |
Redirected from "Kelvin–Stokes Theorem".

Context

(∞,1)(\infty,1)-Topos Theory

(∞,1)-topos theory

structures in a cohesive (∞,1)-topos

Contents

Definition

Definition

A point xx of an (infinity,1)-topos EE is an (infinity,1)-geometric morphism

x:∞Grpd→x *←x *E x : \infty\mathrm{Grpd} \stackrel{\overset{x^*}{\leftarrow}}{\underset{x_*}{\to}} E

from the base (infinity,1)-topos ∞Grpd to EE.

Created on April 8, 2025 at 15:56:25. See the history of this page for a list of all contributions to it.

EditDiscuss Cite Print Source