Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeOct 17th 2010
   • (edited Oct 30th 2012)
   • PermaLink
   Author: Urs
   Format: MarkdownItexfollowing Mike's suggestion, I have split off from [[cohesive topos]] the entry * [[cohesive (infinity,1)-topos]] I used that splitting-off to _play Bourbaki_ and decide that I don't follow Lawvere's definition in all detail. Instead, it seems to me we can usefully streamline it. It should say just two things: a cohesive $(\infty,1)$-topos is 1. locally and globally $\infty$-connected 1. local . And that's it. That gives the quadruple of adjoint functors, where the inverse image and its parallel functor are both full and faithful. I have also added an Interpretation-section where I highlight that this implies two central properties of cohesive $(\infty,1)$-toposes: 1. they have the _shape_ of the point in the sense of [[shape of an (infinity,1)-topos]] (this is implied by local plus global $\infty$-connectedness); 1. they look like small neighbourhoods of the standard point (this is what the locality axioms means, given the standard examples for local toposes).

   following Mike’s suggestion, I have split off from cohesive topos the entry

   • cohesive (infinity,1)-topos

   I used that splitting-off to play Bourbaki and decide that I don’t follow Lawvere’s definition in all detail. Instead, it seems to me we can usefully streamline it. It should say just two things: a cohesive $(\infty,1)$-topos is

   1. locally and globally $\infty$-connected

   2. local .

   And that’s it. That gives the quadruple of adjoint functors, where the inverse image and its parallel functor are both full and faithful.

   I have also added an Interpretation-section where I highlight that this implies two central properties of cohesive $(\infty,1)$-toposes:

   1. they have the shape of the point in the sense of shape of an (infinity,1)-topos (this is implied by local plus global $\infty$-connectedness);

   2. they look like small neighbourhoods of the standard point (this is what the locality axioms means, given the standard examples for local toposes).

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeOct 17th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownItexMostly as a reminder to myself, I state the following question: I feel that to possibly fine-tune the definition of cohesive $(\infty,1)$-topos, it would be helpful to better understand to which extent classical example of toposes that are like "thick points" fail to be cohesive (if they do). The $\infty$-versions of the standard examples of "small" local toposes in the literature: under which conditions are they locally $\infty$-connected? If most of them do happen to be locally $\infty$-connected, then it should follow that the crucial axiom that makes a point-like $\infty$-topos qualify as "big" is another one. Maybe this is all in the axiom that $p_* \to p_!$ is a mono. But I do not understand yet what geometric condition that axiom really models.

   Mostly as a reminder to myself, I state the following question:

   I feel that to possibly fine-tune the definition of cohesive $(\infty,1)$-topos, it would be helpful to better understand to which extent classical example of toposes that are like “thick points” fail to be cohesive (if they do). The $\infty$-versions of the standard examples of “small” local toposes in the literature: under which conditions are they locally $\infty$-connected?

   If most of them do happen to be locally $\infty$-connected, then it should follow that the crucial axiom that makes a point-like $\infty$-topos qualify as “big” is another one. Maybe this is all in the axiom that $p_* \to p_!$ is a mono. But I do not understand yet what geometric condition that axiom really models.

3. • CommentRowNumber3.
   • CommentAuthorDavid_Corfield
   • CommentTimeOct 19th 2010
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexPresumably there are comparison maps between cohesive $(\infty, 1)$-toposes ($(\infty, 1)$-cohesive geometric morphisms?) to compare these thickened points. Are there many other flavours of thickened point? Examples so far seem to favour the reals. Can you have holomorphically thickened points or p-adic or adelic ones? How about points with symmetry [*/G]?

   Presumably there are comparison maps between cohesive $(\infty, 1)$-toposes ($(\infty, 1)$-cohesive geometric morphisms?) to compare these thickened points.

   Are there many other flavours of thickened point? Examples so far seem to favour the reals. Can you have holomorphically thickened points or p-adic or adelic ones? How about points with symmetry [*/G]?

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeOct 19th 2010
   • (edited Oct 19th 2010)
   • PermaLink
   Author: Urs
   Format: MarkdownItexRight, there must be many more interesting examples. The ones I have so far all look similar only because I find them by using the same proof strategy with which I prove $(\infty,1)Sh(CartSp)$ to be cohesive. One immediate thing that fails for sites that look like _actual_ points, such as $*//G$ is that they fail to satisfy the condition that there are finite products in the site. Without this my proof does not show that $\Pi$ preserves products. But what is worse about $*//G$ is that it does not even have a terminal object: apart from the Grothendieck topology being suitable, the existence of a terminal object in the site is most important: this is what makes everything local and gives $Codisc$. What I personall would like to understand are these examples: * let $T$ be any abelian Lawvere theory. When can I find a sensible Grothendieck topology on $T$ that makes it cohesive? For proving this for $T = CartSp$ I am using quite a bit of technology for [[good open cover]]s, as we have discussed here at length. These statements hardly have direct analogs for general $T$. But something else could do. This is because we know that generally the objects of $T$ look like products $\mathbb{A}^k$ of the canonical $T$-[[line object]] $\mathbb{A}^1$. So intuitively they should all be contractible. * Eventually I need to know this in derived geometry: what are sites of _simplicial $T$-algebras_ such that the $\infty$-sheaves over it still form a cohesive $\infty$-topos? For the kind of application that I am following, this is a pressing question. In particular I need to understand what the functor $\Pi$ does exactly on such cohesive derived $\infty$-toposes. But currently I do not have much of a handle on this question.

   Right, there must be many more interesting examples. The ones I have so far all look similar only because I find them by using the same proof strategy with which I prove $(\infty,1)Sh(CartSp)$ to be cohesive.

   One immediate thing that fails for sites that look like actual points, such as $*//G$ is that they fail to satisfy the condition that there are finite products in the site. Without this my proof does not show that $\Pi$ preserves products. But what is worse about $*//G$ is that it does not even have a terminal object: apart from the Grothendieck topology being suitable, the existence of a terminal object in the site is most important: this is what makes everything local and gives $Codisc$.

   What I personall would like to understand are these examples:

   • let $T$ be any abelian Lawvere theory. When can I find a sensible Grothendieck topology on $T$ that makes it cohesive?

     For proving this for $T = CartSp$ I am using quite a bit of technology for good open covers, as we have discussed here at length. These statements hardly have direct analogs for general $T$. But something else could do. This is because we know that generally the objects of $T$ look like products $\mathbb{A}^k$ of the canonical $T$-line object $\mathbb{A}^1$. So intuitively they should all be contractible.

   • Eventually I need to know this in derived geometry: what are sites of simplicial $T$-algebras such that the $\infty$-sheaves over it still form a cohesive $\infty$-topos?

     For the kind of application that I am following, this is a pressing question. In particular I need to understand what the functor $\Pi$ does exactly on such cohesive derived $\infty$-toposes. But currently I do not have much of a handle on this question.

5. • CommentRowNumber5.
   • CommentAuthorMike Shulman
   • CommentTimeOct 19th 2010
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexRe: morphisms, we need to be a bit careful with the terminology, since according to the usual naming scheme for toposes and geometric morphisms, a "cohesive geometric morphism" $E\to S$ would be one which makes $E$ into a cohesive $S$-topos -- which is different from if you have two cohesive $S$-toposes $E\to S$ and $F\to S$ and you want a morphism $E\to F$ over $S$ which "preserves cohesion." I guess the natural thing to require of a geometric morphism that "preserves cohesion" is that it commute with the extra adjoints $\Pi$ and $Codisc$ in some way. My initial reaction to the idea of p-adic cohesion is that it wouldn't work because unlike the reals, the p-adics are not locally contractible (or even locally connected).

   Re: morphisms, we need to be a bit careful with the terminology, since according to the usual naming scheme for toposes and geometric morphisms, a “cohesive geometric morphism” $E\to S$ would be one which makes $E$ into a cohesive $S$-topos – which is different from if you have two cohesive $S$-toposes $E\to S$ and $F\to S$ and you want a morphism $E\to F$ over $S$ which “preserves cohesion.” I guess the natural thing to require of a geometric morphism that “preserves cohesion” is that it commute with the extra adjoints $\Pi$ and $Codisc$ in some way.

   My initial reaction to the idea of p-adic cohesion is that it wouldn’t work because unlike the reals, the p-adics are not locally contractible (or even locally connected).

6. • CommentRowNumber6.
   • CommentAuthorDavid_Corfield
   • CommentTimeOct 20th 2010
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItex>My initial reaction to the idea of p-adic cohesion is that it wouldn't work because unlike the reals, the p-adics are not locally contractible (or even locally connected). Ok. I'm just wondering what we are forced to accept if we agree to 'Physics takes place in a cohesive $\infty$-topos'. I'm always intrigued to see how the reals pop up seemingly out of nowhere. We had a chat about that in the post on [locally compact abelian groups](http://golem.ph.utexas.edu/category/2008/11/locally_compact_hausdorff_abel.html). John says there >It's a bit more magical the way $\mathbb{R}^n$ stands out in the classification of locally compact Hausdorff abelian groups. If I'm not mistaken, the reason is that the $\mathbb{R}^n$'s are the only groups of this sort that are connected and lack compact subgroups. I'm wondering what rabbits have been put into the hat of cohesive $\infty$-toposes.

   My initial reaction to the idea of p-adic cohesion is that it wouldn’t work because unlike the reals, the p-adics are not locally contractible (or even locally connected).

   Ok. I’m just wondering what we are forced to accept if we agree to ’Physics takes place in a cohesive $\infty$-topos’. I’m always intrigued to see how the reals pop up seemingly out of nowhere. We had a chat about that in the post on locally compact abelian groups. John says there

   It’s a bit more magical the way $\mathbb{R}^n$ stands out in the classification of locally compact Hausdorff abelian groups. If I’m not mistaken, the reason is that the $\mathbb{R}^n$’s are the only groups of this sort that are connected and lack compact subgroups.

   I’m wondering what rabbits have been put into the hat of cohesive $\infty$-toposes.

7. • CommentRowNumber7.
   • CommentAuthorUrs
   • CommentTimeOct 20th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownItexI think this is a quite interesting aspect that David is raising there. Currently I am lacking a sufficient survey of classes of examples of cohesive $\infty$-toposes to make much progress on answering this question, but the general question is very interesting: once we have -- walking in Lawvere's footsteps -- convinced ourselves that we have found a general abstract theory that is close to having the necessary and sufficient properties to serve as a context for structures of fundamental physics, we can ask which models this theory has. And which properties these models have. Maybe we find that all these models share an aspect of physics that does not explicitly appear in the definition of the theory. So I'd really enjoy following up on these questions. But right now I am lacking a good strategy for how to attack this problem further. But I'll keep it in mind and maybe eventually we see something.

   I think this is a quite interesting aspect that David is raising there. Currently I am lacking a sufficient survey of classes of examples of cohesive $\infty$-toposes to make much progress on answering this question, but the general question is very interesting:

   once we have – walking in Lawvere’s footsteps – convinced ourselves that we have found a general abstract theory that is close to having the necessary and sufficient properties to serve as a context for structures of fundamental physics, we can ask which models this theory has. And which properties these models have. Maybe we find that all these models share an aspect of physics that does not explicitly appear in the definition of the theory.

   So I’d really enjoy following up on these questions. But right now I am lacking a good strategy for how to attack this problem further. But I’ll keep it in mind and maybe eventually we see something.

8. • CommentRowNumber8.
   • CommentAuthorDavid_Corfield
   • CommentTimeOct 20th 2010
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItex>Currently I am lacking a sufficient survey of classes of examples of cohesive $\infty$-toposes to make much progress on answering this question Math Overflow question?

   Currently I am lacking a sufficient survey of classes of examples of cohesive $\infty$-toposes to make much progress on answering this question

   Math Overflow question?

9. • CommentRowNumber9.
   • CommentAuthorUrs
   • CommentTimeOct 20th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownItexSure, I'll post one.

   Sure, I’ll post one.

10. • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeOct 20th 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexokay, after polishing [[cohesive (infinity,1)-topos]] a bit more (expanded the beginning of the introction, added two more subsections to the Properties-subsection, restructured the Examples-section) I posted to MO: <a href="http://mathoverflow.net/questions/42911/cohesive-toposes">MO post on cohesive oo-toposes</a>

    okay, after polishing cohesive (infinity,1)-topos a bit more (expanded the beginning of the introction, added two more subsections to the Properties-subsection, restructured the Examples-section) I posted to MO:

    MO post on cohesive oo-toposes

11. • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeOct 22nd 2010
    • PermaLink
    Author: Urs
    Format: MarkdownItexI was about to post a reply to Mike's latest comment on the Cafe, but that seems to be down now. Lest I lose my message, I post it here for the moment: Mike wrote: > Now how do Lie algebras come into the picture? The discussion I gave should still hold, only that $Lie \mathbf{B}G$ is bigger than I said it was. So for every $L_\infty$-algebra $\mathfrak{g}$ there is an object $\mathbf{B}\mathfrak{g}$ in the $(\infty,1)$-Cahiers topos. It is modeled by the simplicial presheaf $$ \int^{[k] \in \Delta} \mathbf{\Delta}[k] \cdot \mathfrak{g}_k $$ where $\mathfrak{g}_k$ is an infinitesimal object (with a single point) and $\mathbf{\Delta}$ is the _fat simplex_ . How do we recognize this intrinsically as an $\infty$-Lie algebra? Like this: 1. it is a fat point, $\Gamma \mathbf{B}G \simeq * \simeq \Pi \mathbf{B}G$; 1. it has the $\mathbb{A}^1$-cohomology of the $L_\infty$-algebra $\mathfrak{g}$ (where $\mathbb{A}^1$ is our <a href="http://ncatlab.org/nlab/show/line+object">line object</a>, which is the real line for the Cahier topos): $\pi_0\mathbf{H}(\mathbf{B}\mathfrak{g}, \mathbf{B}^n \mathbb{A}^1) \simeq H^n(CE(\mathfrak{g}))$ (this follows with the technology described at <a href="http://ncatlab.org/nlab/show/function+algebras+on+infinity-stacks">function algebras on $\infty$-stacks</a>). So the question now is what is the universal factorization of morphisms $\mathbf{B}\mathfrak{g} \to \mathbf{B}H$? If we assume we do have the coreflector that we have been talking about, then that will produces it, $\mathbf{B}\mathfrak{g} \to Lie \mathbf{B}H \to \mathbf{B}H$. And given the above simplicial presheaf model of $\mathbf{B}\mathfrak{g}$ and observing that this is cofibrant, we see in a more precise way what we just said two comments earlier: this $Lie \mathbf{B}H$-thing has to consist of the points in $\mathbf{B}H$ and their infinitesimal neighbourhoods, because that's the only "cohesvive pieces" that the infinitesimal objects $\mathfrak{g}_k$ can hit in each degree. So first I said we should have $Lie \mathbf{B}H$ is $\mathbf{B}\mathfrak{h}$, but as you remarked rightly, this can't be. It must be somthing like "$\mathbf{B}(\mathfrak{g} \times \Gamma(G))$". Not sure yet.

    I was about to post a reply to Mike’s latest comment on the Cafe, but that seems to be down now. Lest I lose my message, I post it here for the moment:

    Mike wrote:

    Now how do Lie algebras come into the picture?

    The discussion I gave should still hold, only that $Lie \mathbf{B}G$ is bigger than I said it was.

    So for every $L_\infty$-algebra $\mathfrak{g}$ there is an object $\mathbf{B}\mathfrak{g}$ in the $(\infty,1)$-Cahiers topos. It is modeled by the simplicial presheaf

    $$\int^{[k] \in \Delta} \mathbf{\Delta}[k] \cdot \mathfrak{g}_k$$

    where $\mathfrak{g}_k$ is an infinitesimal object (with a single point) and $\mathbf{\Delta}$ is the fat simplex .

    How do we recognize this intrinsically as an $\infty$-Lie algebra? Like this:

    1. it is a fat point, $\Gamma \mathbf{B}G \simeq * \simeq \Pi \mathbf{B}G$;

    2. it has the $\mathbb{A}^1$-cohomology of the $L_\infty$-algebra $\mathfrak{g}$ (where $\mathbb{A}^1$ is our line object, which is the real line for the Cahier topos):

       $\pi_0\mathbf{H}(\mathbf{B}\mathfrak{g}, \mathbf{B}^n \mathbb{A}^1) \simeq H^n(CE(\mathfrak{g}))$

       (this follows with the technology described at function algebras on $\infty$-stacks).

    So the question now is what is the universal factorization of morphisms $\mathbf{B}\mathfrak{g} \to \mathbf{B}H$? If we assume we do have the coreflector that we have been talking about, then that will produces it, $\mathbf{B}\mathfrak{g} \to Lie \mathbf{B}H \to \mathbf{B}H$.

    And given the above simplicial presheaf model of $\mathbf{B}\mathfrak{g}$ and observing that this is cofibrant, we see in a more precise way what we just said two comments earlier: this $Lie \mathbf{B}H$-thing has to consist of the points in $\mathbf{B}H$ and their infinitesimal neighbourhoods, because that’s the only “cohesvive pieces” that the infinitesimal objects $\mathfrak{g}_k$ can hit in each degree.

    So first I said we should have $Lie \mathbf{B}H$ is $\mathbf{B}\mathfrak{h}$, but as you remarked rightly, this can’t be. It must be somthing like “$\mathbf{B}(\mathfrak{g} \times \Gamma(G))$”. Not sure yet.

12. • CommentRowNumber12.
    • CommentAuthorMike Shulman
    • CommentTimeOct 22nd 2010
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItexOkay, sounds reasonable; I'll wait until you figure it out. (-: It does sound like a neat thing, if it is true.

    Okay, sounds reasonable; I’ll wait until you figure it out. (-: It does sound like a neat thing, if it is true.

13. • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeFeb 7th 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItexI have polished and slighly expanded the section on <a href="http://ncatlab.org/nlab/show/cohesive+(infinity%2C1)-topos#InfinitesimalCohesion">infinitesimal cohesion</a> at [[cohesive (infinity,1)-topos]]

    I have polished and slighly expanded the section on infinitesimal cohesion at cohesive (infinity,1)-topos

14. • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeFeb 7th 2011
    • (edited Feb 7th 2011)
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded also intrinsic discussion of the tangent Lie algebroid in an $(\infty,1)$-topos with infinitesimal cohesion

    added also intrinsic discussion of the tangent Lie algebroid in an $(\infty,1)$-topos with infinitesimal cohesion

15. • CommentRowNumber15.
    • CommentAuthorzskoda
    • CommentTimeFeb 7th 2011
    • PermaLink
    Author: zskoda
    Format: MarkdownUrs, is the infinity-category of simplicial objects in a cohesive topos itself a cohesive $(infinity,1)$-topos ?

    Urs, is the infinity-category of simplicial objects in a cohesive topos itself a cohesive $(infinity,1)$-topos ?

16. • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeFeb 7th 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItexHi Zoran, a sufficient condition for this to be true is that the topos has a site of definition that is not just a [[cohesive site]] but even an [[infinity-cohesive site]] (by the proof given there). More precisely, in that case the simplicial localization of the category of simplicial sheaves at the local weak equivalences is a cohesive $\infty$-topos, yes.

    Hi Zoran,

    a sufficient condition for this to be true is that the topos has a site of definition that is not just a cohesive site but even an infinity-cohesive site (by the proof given there).

    More precisely, in that case the simplicial localization of the category of simplicial sheaves at the local weak equivalences is a cohesive $\infty$-topos, yes.

17. • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeFeb 21st 2011
    • (edited Feb 21st 2011)
    • PermaLink
    Author: Urs
    Format: MarkdownItexI have added the observation (in the section on <a href="http://nlab.mathforge.org/nlab/show/cohesive+(infinity%2C1)-topos#InfinGroups">Cohesive oo-groups</a>), that every $\infty$-group object $G$ in a cohesive topos is presented by a presheaf of simplicial groups, and that every delooping $\mathbf{B}G$ is presented by a simplicial presheaf of the form $\bar W G$.

    I have added the observation (in the section on Cohesive oo-groups), that every $\infty$-group object $G$ in a cohesive topos is presented by a presheaf of simplicial groups, and that every delooping $\mathbf{B}G$ is presented by a simplicial presheaf of the form $\bar W G$.

18. • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeFeb 26th 2011
    • (edited Feb 26th 2011)
    • PermaLink
    Author: Urs
    Format: MarkdownItexI have added in the last "Structures"-section _<a href="http://nlab.mathforge.org/nlab/show/cohesive+(infinity%2C1)-topos#ChernSimonsTheory">Higher holonomy and Chern-Simons functional</a>_ a general abstract definitions of * [[configuration space]]; * [[action functional]]; * [[covariant phase space]] of the $\infty$-Chern-Simons theory induced by any characteristic class in the cohesive $\infty$-topos. There is still a slight gap in the story: I know how to fully abstractly get the $\infty$-Chern-Simons action functional as a morphism in discrete $\infty$-groupoids. However, in order for computing the derived covariant phase space as the homotopy fiber of the differential refinement of the action functional, we need it as an internal morphism on cohesive $\infty$-groupoids. I know how that is obtained for the special case of smooth cohesion, but I do not yet understand the fully general abstract condition under which the external action functional refines to an internal one. So for the moment it just says "In suitable situations this external construction refines to an internal one as follows."

    I have added in the last “Structures”-section Higher holonomy and Chern-Simons functional a general abstract definitions of

    • configuration space;

    • action functional;

    • covariant phase space

    of the $\infty$-Chern-Simons theory induced by any characteristic class in the cohesive $\infty$-topos.

    There is still a slight gap in the story: I know how to fully abstractly get the $\infty$-Chern-Simons action functional as a morphism in discrete $\infty$-groupoids. However, in order for computing the derived covariant phase space as the homotopy fiber of the differential refinement of the action functional, we need it as an internal morphism on cohesive $\infty$-groupoids. I know how that is obtained for the special case of smooth cohesion, but I do not yet understand the fully general abstract condition under which the external action functional refines to an internal one. So for the moment it just says “In suitable situations this external construction refines to an internal one as follows.”

19. • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeFeb 27th 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded to the list of canonical structures in a cohesive $(\infty,1)$-topos its <a href="http://ncatlab.org/nlab/show/cohesive+(infinity%2C1)-topos#VariationalCalculus">intrinsic variational calculus</a> so far there's just the definition and its relation to a buch of keywords. I'll see if one can say something general abstract about the variational bicomplex from tis point of view

    added to the list of canonical structures in a cohesive $(\infty,1)$-topos its intrinsic variational calculus

    so far there’s just the definition and its relation to a buch of keywords. I’ll see if one can say something general abstract about the variational bicomplex from tis point of view

20. • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeMar 29th 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItexhave made explicit a proposition that was used implicitly before: that in a cohesive $\infty$-topos $\mathbf{H}$ we have an equivalence $$ \Omega : Connected(\mathbf{H}) \leftrightarrow Grp(\mathbf{H}) : \mathbf{B} $$ in the section <a href="http://ncatlab.org/nlab/show/cohesive+(infinity%2C1)-topos#InfinGroups">Cohesive oo-groups</a>

    have made explicit a proposition that was used implicitly before: that in a cohesive $\infty$-topos $\mathbf{H}$ we have an equivalence

    $$\Omega : Connected(\mathbf{H}) \leftrightarrow Grp(\mathbf{H}) : \mathbf{B}$$

    in the section Cohesive oo-groups

21. • CommentRowNumber21.
    • CommentAuthorDavidRoberts
    • CommentTimeMar 29th 2011
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItex_Pointed_ connected or just connected?

    Pointed connected or just connected?

22. • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeMar 29th 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItexRight, pointed connected, of course. I have fixed it.

    Right, pointed connected, of course. I have fixed it.

23. • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeApr 12th 2011
    • (edited Apr 12th 2011)
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded at [[cohesive (infinity,1)-topos]] in the section <a href="http://nlab.mathforge.org/nlab/show/cohesive+%28infinity%2C1%29-topos#InfinitesimalPaths">Infinitesimal paths</a> the abstract definition of _formally smooth objects_ : those objects $X$ for which $X \to \mathbf{\Pi}_{inf}(X)$ is an effective epimorphism. I point out that 1. this is the evident generalization of the condition as considered by Simpson-Teleman 1. and that by just slightly rewriting it it becomes equivalent to the abstract condition that Kontsevich-Rosenberg consider in the context of [[Q-categories]] (see the section on formal smoothness there). Using Kontsevich-Rosenberg we can then also say in every cohesive $\infty$-topos with infinitesimal cohesion: * $X$ is **formally unramified** if $X \to \mathbf{\Pi}_{inf}(X)$ is some notion of monomorphism; * $X$ is **formally &eacute;tale** if $X \to \mathbf{\Pi}_{inf}(X)$ is an equivalence.

    added at cohesive (infinity,1)-topos in the section Infinitesimal paths the abstract definition of formally smooth objects : those objects $X$ for which $X \to \mathbf{\Pi}_{inf}(X)$ is an effective epimorphism. I point out that

    1. this is the evident generalization of the condition as considered by Simpson-Teleman

    2. and that by just slightly rewriting it it becomes equivalent to the abstract condition that Kontsevich-Rosenberg consider in the context of Q-categories (see the section on formal smoothness there).

    Using Kontsevich-Rosenberg we can then also say in every cohesive $\infty$-topos with infinitesimal cohesion:

    • $X$ is formally unramified if $X \to \mathbf{\Pi}_{inf}(X)$ is some notion of monomorphism;

    • $X$ is formally étale if $X \to \mathbf{\Pi}_{inf}(X)$ is an equivalence.

24. • CommentRowNumber24.
    • CommentAuthorzskoda
    • CommentTimeApr 12th 2011
    • PermaLink
    Author: zskoda
    Format: MarkdownItexWait a second with the last paragraph. Formally etale is stronger than formally unramified.

    Wait a second with the last paragraph. Formally etale is stronger than formally unramified.

25. • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeApr 12th 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItexSorry, I switched the two conditions: formally unramified is the mono-condition. Formally etale is the equivalence conditions. So formally etale = equivalence = mono + epi = formally smooth + formally unramified. (I'll change this typo in my comment above.)

    Sorry, I switched the two conditions: formally unramified is the mono-condition. Formally etale is the equivalence conditions. So formally etale = equivalence = mono + epi = formally smooth + formally unramified.

    (I’ll change this typo in my comment above.)

26. • CommentRowNumber26.
    • CommentAuthorzskoda
    • CommentTimeApr 12th 2011
    • PermaLink
    Author: zskoda
    Format: MarkdownItexRight. I have introduced a somewhat related entry [[adjoint triple]]. It would be good to have more properties listed for various kinds of adjoint triples eventually.

    Right. I have introduced a somewhat related entry adjoint triple. It would be good to have more properties listed for various kinds of adjoint triples eventually.

27. • CommentRowNumber27.
    • CommentAuthorUrs
    • CommentTimeApr 12th 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItex> I have introduced a somewhat related entry [[adjoint triple]]. Okay, good. I have added some links to and from it. I have also created a stub for [[adjoint quadruple]]. There is a section at [[cohesive topos]] with generalities on adjoint triples and quadruples, that should be moved to the new entries, then.

    I have introduced a somewhat related entry adjoint triple.

    Okay, good. I have added some links to and from it. I have also created a stub for adjoint quadruple. There is a section at cohesive topos with generalities on adjoint triples and quadruples, that should be moved to the new entries, then.

28. • CommentRowNumber28.
    • CommentAuthorzskoda
    • CommentTimeApr 12th 2011
    • (edited Apr 12th 2011)
    • PermaLink
    Author: zskoda
    Format: MarkdownItexI have added more to [[adjoint triple]] and created [[Frobenius functor]]. One should clarify more to other Frobenius notions. Right, it will be good eventually have some properties of adjoint triples in general, which do not require cohesive topos setup separated.

    I have added more to adjoint triple and created Frobenius functor. One should clarify more to other Frobenius notions.

    Right, it will be good eventually have some properties of adjoint triples in general, which do not require cohesive topos setup separated.

29. • CommentRowNumber29.
    • CommentAuthorzskoda
    • CommentTimeApr 12th 2011
    • PermaLink
    Author: zskoda
    Format: MarkdownItexWikipedia [Frobenius algebra](http://en.wikipedia.org/wiki/Frobenius_algebra) entry explains a relation between Frobenius algebras and Frobenius extensions. The induction functor for the latter generalized historically to Frobenius functors...

    Wikipedia Frobenius algebra entry explains a relation between Frobenius algebras and Frobenius extensions. The induction functor for the latter generalized historically to Frobenius functors…

30. • CommentRowNumber30.
    • CommentAuthorTim_Porter
    • CommentTimeApr 12th 2011
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItexFor info: There is a newly published paper by McCurdy and Street in the latest Cahiers (vol LI-1) on `What separable Frobenius monoidal functors preserve.'

    For info: There is a newly published paper by McCurdy and Street in the latest Cahiers (vol LI-1) on ‘What separable Frobenius monoidal functors preserve.’

31. • CommentRowNumber31.
    • CommentAuthorzskoda
    • CommentTimeApr 13th 2011
    • (edited Apr 13th 2011)
    • PermaLink
    Author: zskoda
    Format: MarkdownItexTim, Frobenius monoidal functors are NOT instances of Frobenius functors. F. monoidal f. is sort of symmetric in way in having both monoidal and comonoidal (lax and colax in different terminology) structure. F. f. is about left and right adjoint existing and being mutually equal or isomorphic.

    Tim, Frobenius monoidal functors are NOT instances of Frobenius functors. F. monoidal f. is sort of symmetric in way in having both monoidal and comonoidal (lax and colax in different terminology) structure. F. f. is about left and right adjoint existing and being mutually equal or isomorphic.

32. • CommentRowNumber32.
    • CommentAuthorTim_Porter
    • CommentTimeApr 13th 2011
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItexI had read the first fact that you mentioned in the entry, so my point was just to announce that the paper was now published.

    I had read the first fact that you mentioned in the entry, so my point was just to announce that the paper was now published.

33. • CommentRowNumber33.
    • CommentAuthorzskoda
    • CommentTimeApr 13th 2011
    • PermaLink
    Author: zskoda
    Format: MarkdownItexOK, I have now cited the arXiv version of McCurdy, Street at [[Frobenius monoidal functor]]. If you have the exact/full publication reference and link please add them there.

    OK, I have now cited the arXiv version of McCurdy, Street at Frobenius monoidal functor. If you have the exact/full publication reference and link please add them there.

34. • CommentRowNumber34.
    • CommentAuthorTim_Porter
    • CommentTimeApr 13th 2011
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItexDone. :-) Thanks.

    Done. :-) Thanks.

35. • CommentRowNumber35.
    • CommentAuthorUrs
    • CommentTimeApr 16th 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItexI have added a subsection <a href="http://nlab.mathforge.org/nlab/show/cohesive+%28infinity%2C1%29-topos#TwistedCohomology">cohesive oo-topos -- twisted cohomology</a>. Nothing there that is not in principle also at [[twisted cohomology]], but maybe being more stream-lined. It starts out with the over-category-definition that Domenico emphasized is the most intrinsic one, and then unwinds this to the definition in terms of homotopy fibers. This just for completeness, since further below differential cohomology is defined as a special case of twisted cohomology

    I have added a subsection cohesive oo-topos – twisted cohomology. Nothing there that is not in principle also at twisted cohomology, but maybe being more stream-lined. It starts out with the over-category-definition that Domenico emphasized is the most intrinsic one, and then unwinds this to the definition in terms of homotopy fibers.

    This just for completeness, since further below differential cohomology is defined as a special case of twisted cohomology

36. • CommentRowNumber36.
    • CommentAuthorUrs
    • CommentTimeApr 17th 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItex> I have added a subsection cohesive oo-topos -- twisted cohomology. Have added now also discussion of the equivalence to the definition by way of homotopy classes of sections.

    I have added a subsection cohesive oo-topos – twisted cohomology.

    Have added now also discussion of the equivalence to the definition by way of homotopy classes of sections.

37. • CommentRowNumber37.
    • CommentAuthorUrs
    • CommentTimeApr 17th 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItexMaybe the server has a bad day, worse than the other days. I had to once more split the entry into pieces, for it to be saved at all. For some reason just splitting it into further two wouldn't help, so now there is a total of four pieces. Which means that now essentially all the external links to its subsections are broken.

    Maybe the server has a bad day, worse than the other days. I had to once more split the entry into pieces, for it to be saved at all. For some reason just splitting it into further two wouldn’t help, so now there is a total of four pieces. Which means that now essentially all the external links to its subsections are broken.

38. • CommentRowNumber38.
    • CommentAuthorUrs
    • CommentTimeApr 18th 2011
    • (edited Apr 18th 2011)
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded to the <a href="http://nlab.mathforge.org/nlab/show/cohesive+(infinity%2C1)-topos#DifferentialCohomology">section on differential cohomology</a> more details on the two exact sequences that differential cohomology sits in (curvature exact sequence and characteristic class exact sequence) (the server is still saving the entry, for several minutes already. If it does not display yet when you read this, try again in a few more minutes).

    added to the section on differential cohomology more details on the two exact sequences that differential cohomology sits in (curvature exact sequence and characteristic class exact sequence)

    (the server is still saving the entry, for several minutes already. If it does not display yet when you read this, try again in a few more minutes).

39. • CommentRowNumber39.
    • CommentAuthorMike Shulman
    • CommentTimeApr 18th 2011
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItexJust a thought: maybe instead of adding on to a single page more and more until it gets unmanageable and has to be split (breaking subsection links), we should create new entries for new subjects as we go along. In particular, maybe the desire to link to a subsection should alert us that perhaps it is time to separate out a new page.

    Just a thought: maybe instead of adding on to a single page more and more until it gets unmanageable and has to be split (breaking subsection links), we should create new entries for new subjects as we go along. In particular, maybe the desire to link to a subsection should alert us that perhaps it is time to separate out a new page.

40. • CommentRowNumber40.
    • CommentAuthorUrs
    • CommentTimeApr 25th 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItex> maybe instead of adding on to a single page more and more until it gets unmanageable and has to be split (breaking subsection links), we should create new entries for new subjects as we go along. Sure, if that makes sense. Here I felt the page (as a text file) was still quite manageable and that breaking it apart would be unnatural. One can see this also from the fact that there is no way of breaking it apart into stand-alone subentries. One needs to implement by hand some infrastructure for a collection of entries that all need to be read as parts of a whole. This is lots of extra work. I wish I could decide for myself when I want to do this extra work and when not.

    maybe instead of adding on to a single page more and more until it gets unmanageable and has to be split (breaking subsection links), we should create new entries for new subjects as we go along.

    Sure, if that makes sense. Here I felt the page (as a text file) was still quite manageable and that breaking it apart would be unnatural. One can see this also from the fact that there is no way of breaking it apart into stand-alone subentries. One needs to implement by hand some infrastructure for a collection of entries that all need to be read as parts of a whole. This is lots of extra work. I wish I could decide for myself when I want to do this extra work and when not.

41. • CommentRowNumber41.
    • CommentAuthorUrs
    • CommentTimeApr 25th 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItexI have added definition of extension of cohesive $\infty$-groups and statement and proof of how extended $\infty$-bundles are characterized by $\infty$-bundles on the total space of the bundle that they extend. At the end of the <a href="http://nlab.mathforge.org/nlab/show/cohesive+%28infinity%2C1%29-topos+--+structures#Cohomology">section on cohomology</a>.

    I have added definition of extension of cohesive $\infty$-groups and statement and proof of how extended $\infty$-bundles are characterized by $\infty$-bundles on the total space of the bundle that they extend. At the end of the section on cohomology.

42. • CommentRowNumber42.
    • CommentAuthorMike Shulman
    • CommentTimeApr 26th 2011
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItexFor instance, it seems to me more natural, and more in the wiki style (and also more readable, because more organized), for the discussion of infinitesimal cohesion to be on a separate page, given that infinitesimal cohesion is *extra structure* on a cohesive topos rather than an intrinsic part of the notion.

    For instance, it seems to me more natural, and more in the wiki style (and also more readable, because more organized), for the discussion of infinitesimal cohesion to be on a separate page, given that infinitesimal cohesion is extra structure on a cohesive topos rather than an intrinsic part of the notion.

43. • CommentRowNumber43.
    • CommentAuthorUrs
    • CommentTimeApr 26th 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItexAgreed.

    Agreed.

44. • CommentRowNumber44.
    • CommentAuthorUrs
    • CommentTimeOct 29th 2011
    • (edited Oct 29th 2011)
    • PermaLink
    Author: Urs
    Format: MarkdownItexI have split at [[cohesive (infinity,1)-topos]] the Definition-section into three subsections: 1. [external definition](http://ncatlab.org/nlab/show/cohesive+%28infinity%2C1%29-topos#ExternalDefinition); 1. [internal definition](http://ncatlab.org/nlab/show/cohesive+%28infinity%2C1%29-topos#InternalDefinition); 1. internal definition [formulated in HoTT](http://ncatlab.org/nlab/show/cohesive+%28infinity%2C1%29-topos#DefinitionInHomotopyTypeTheory). In 2. I have included the relevant statement that the internal formulation is indeed equivalent to the external one. In 3. I have added some commentary and the codicsrete reflective subcategory. Missing in the internal description is still the condition that $\Gamma = \tilde \Gamma$. But I have to quit now and continue tomorrow. This is also discussed on the $n$Café [here](http://golem.ph.utexas.edu/category/2011/10/prequantum_physics_in_a_cohesi.html#c039927).

    I have split at cohesive (infinity,1)-topos the Definition-section into three subsections:

    1. external definition;

    2. internal definition;

    3. internal definition formulated in HoTT.

    In 2. I have included the relevant statement that the internal formulation is indeed equivalent to the external one. In 3. I have added some commentary and the codicsrete reflective subcategory.

    Missing in the internal description is still the condition that $\Gamma = \tilde \Gamma$. But I have to quit now and continue tomorrow.

    This is also discussed on the $n$Café here.

45. • CommentRowNumber45.
    • CommentAuthorUrs
    • CommentTimeOct 31st 2011
    • (edited Oct 31st 2011)
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded clarification to the Definition-section at [[cohesive (infinity,1)-topos]] as mentioned over on the $n$Café [here](http://golem.ph.utexas.edu/category/2011/10/prequantum_physics_in_a_cohesi.html#c039966).

    added clarification to the Definition-section at cohesive (infinity,1)-topos as mentioned over on the $n$Café here.

46. • CommentRowNumber46.
    • CommentAuthorUrs
    • CommentTimeNov 2nd 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded more details on the [internal formulation](http://ncatlab.org/nlab/show/cohesive+%28infinity%2C1%29-topos#InternalDefinition) following [Mike's comment](http://golem.ph.utexas.edu/category/2011/10/prequantum_physics_in_a_cohesi.html#c039970)

    added more details on the internal formulation following Mike’s comment

47. • CommentRowNumber47.
    • CommentAuthorUrs
    • CommentTimeNov 13th 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItexat [[cohesive (infinity,1)-topos]] I have started a new section [Properties -- Over arbitrary bases](http://ncatlab.org/nlab/show/cohesive+%28infinity%2C1%29-topos#OverArbitraryBases) with some simple observations on bases of cohesion, to go along with the $n$Café-discussion [here](http://golem.ph.utexas.edu/category/2011/11/hott_cohesion_exercise_ii.html#c040123).

    at cohesive (infinity,1)-topos I have started a new section Properties – Over arbitrary bases with some simple observations on bases of cohesion, to go along with the $n$Café-discussion here.

48. • CommentRowNumber48.
    • CommentAuthorUrs
    • CommentTimeOct 30th 2012
    • (edited Oct 30th 2012)
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded a quick paragraph _[cohesive oo-topos -- Examples -- Simplicial objects](http://ncatlab.org/nlab/show/cohesive+%28infinity%2C1%29-topos#SimplicialObjctsInACohesiveTopos)_, mostly for the moment as a reminder to myself to come back to this and expand

    added a quick paragraph cohesive oo-topos – Examples – Simplicial objects, mostly for the moment as a reminder to myself to come back to this and expand

49. • CommentRowNumber49.
    • CommentAuthorUrs
    • CommentTimeDec 3rd 2015
    • PermaLink
    Author: Urs
    Format: MarkdownItexcohesion at IHES: [video recording](https://youtu.be/_O41kh0z_UM)

    cohesion at IHES: video recording

50. • CommentRowNumber50.
    • CommentAuthorDmitri Pavlov
    • CommentTimeApr 29th 2023
    • PermaLink
    Author: Dmitri Pavlov
    Format: MarkdownItexA related question on MathOverflow: <https://mathoverflow.net/questions/444806/cohesive-structure-of-cahiers-and-dubuc-topoi>.

    A related question on MathOverflow: https://mathoverflow.net/questions/444806/cohesive-structure-of-cahiers-and-dubuc-topoi.