Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeJan 5th 2011
    • (edited Jan 5th 2011)

    am too tired to do it now, but on occasion of an MO discussion:

    remind me to insert at smooth manifold the statement and proof that smooth manifolds are equivalently the locally representable sheaves on CartSp (more precisely: the 𝒢=CartSp\mathcal{G} = CartSp-schemes).

    • CommentRowNumber2.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 5th 2011

    Here is a question that I have come up against. Consider the subcategory of CartSp] with the same objects, but only those arrows that take 0 to 0. If you like this is a pointed version of CartSpCartSp, which I will denote CartSp 0CartSp_0. CartSp 0CartSp_0 obviously is not a site in the same way that CartSpCartSp is because every open set in a cover has to contain the origin, but if we consider presheaves on CartSpCartSp and CartSp 0CartSp_0, what do we lose passing to the latter? Every map in CartSpCartSp is homotopic to one in CartSp 0CartSp_0 (taking as the interval object the real line) by an affine transformation, but I don’t know if this is enough to ensure that the category of manifolds survives under the obvious map Pre(CartSp)Pre(CartSp 0)Pre(CartSp) \to Pre(CartSp_0).

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJan 5th 2011
    • (edited Jan 5th 2011)

    I think the canonical functor SmoothManifoldsSh(CartSp 0)SmoothManifolds \to Sh(CartSp_0) is still full and faithful, as the argument for the embedding into Sh(CartSp)Sh(CartSp) still applies verbatim:

    1. if two smooth maps differ then they differ on an open subset, hence on some plot;

    2. if a function between manifolds preserves all plots (already all 1-dimensional plots) then it must be smooth.

    For these arguments the nature of the morphisms in the site matters very little. All one needs is that a manifold does represent a presheaf on the site in the natural way.

    • CommentRowNumber4.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 5th 2011

    Thanks, Urs. Of course, I’m interested in the case when CartSp is replaced by the analogous category generated by a line object in a Lawvere theory, as you have been doing/advocating. I just wanted to check I wasn’t being a complete idiot from the word go.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJan 5th 2011
    • (edited Jan 5th 2011)

    I have wondered myself every now and then about using CartSp 0CartSp_0. I am still not really sure what to make of it, though, but I feel that’s just me being dense, there must be a good answer.

    Notice for instance that in Moduli Problems and DG-Lie Algebras Jacob Lurie considers something like the derived algebraic analog: the site of small E E_\infty-rings with an augmentation AkA \to k to the ground field (Dually that’s a point in SpecASpec A, of course), The idea there is precisely to study all the sheaves in the “big topos” only close to this global point (see top of page 10).

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJan 5th 2011

    Of course, I’m interested in the case when CartSp is replaced by the analogous category generated by a line object in a Lawvere theory, as you have been doing/advocating.

    Ah, interesting. What is it you are trying to do?

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeJan 5th 2011

    smooth manifolds are equivalently the locally representable sheaves on CartSp

    Is there a similar statement for smooth manifolds with boundary ?

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJan 5th 2011
    • (edited Jan 5th 2011)

    remind me to insert at smooth manifold the statement and proof that smooth manifolds are equivalently the locally representable sheaves on CartSpCartSp

    I have added an (overly) detailed proof of this now. While overly detailed, I think I still need to fine-tune some “locally finitely presentable” and “paracompact”.

    I also indicated various further statements along these lines: that manifolds are the locally ringed spaces locally isomorphic to objects in CartSpCartSp regarded naturally as locally ringed spaces (pretty obvious, I didn’t write out any genuine proof). And then I stated that in the full context of locally representable structured (infinity,1)-toposes over CartSpCartSp smooth manifolds are the 0-localic locally representably CartSpCartSp-structured (,1)(\infty,1)-topos. But here I noticed that I need to do sme more thinking before nailing this down. I tried to indicate that this part remains incomplete.

    • CommentRowNumber9.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 5th 2011

    I’ll let you know in a little bit… ;-)

    • CommentRowNumber10.
    • CommentAuthorzskoda
    • CommentTimeJan 5th 2011

    any comment on 7 ? Urs ?

    • CommentRowNumber11.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 5th 2011
    • (edited Jan 5th 2011)

    @Zoran,

    The recent paper on the arXiv, without realising it, treats manifolds (finite and infinite dimensional) with corners as sheaves on a site of certain subspaces of euclidean spaces. The author defines k n={x n|x i0,i=1,,k}\mathbb{R}^n_k = \{x\in \mathbb{R}^n| x_i \geq 0, i=1,\ldots,k\}, the considers the category with objects k n\mathbb{R}^n_k for k=0,,n1k=0,\ldots,n-1 and n=1,2,n=1,2,\ldots and smooth maps between them. (A map is declared smooth at the boundary if it extends to a smooth map on a neighbourhood of the boundary). I haven’t delved into the details, but I would not be surprised if this answers your question.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJan 5th 2011

    any comment on 7 ? Urs ?

    Maybe I haven’t thought about it enough, but my inclination would be to say: obviously this works for manifolds with corners, too.

    As I think the argument that i wrote up shows, saying that a sheaf is “locally representable” is really equivalent to saying that it is the sheaf obtained by gluing a bunch of representables together, where all gluing is by the maps that exist in the site.

    So if you start with a site of Cartesian spaces with boundary and corner (Cartesian half-spaces, quarter spaces, etc) and take care to define the morphisms between them suitably, then I think it will hold that manifolds with boundary and corners are precisely the locally representables sheaves on that site.

    • CommentRowNumber13.
    • CommentAuthorAndrew Stacey
    • CommentTimeJan 6th 2011

    David (11):

    The recent paper on the arXiv, without realising it,

    Interesting choice of words. I had a quick look at that paper (wondered whether or not there was something to add to Comparative Smootheology) and was at a loss to see what new thing it introduced. As a “category of generalised smooth spaces” it sits between Chen spaces and diffeological spaces and can be treated in exactly the same fashion as those two - at least, that’s my interpretation, the defining condition certainly looks like the sheaf condition but I’m no expert on sheaves. What was odd about the paper was that there was no mention of Chen spaces nor of diffeological spaces, though the author was clearly aware of some of Kriegl and Michor’s work.

    Urs: so the term “locally representable” is site-specific, then. I see. Without having thought any deeper, it does feel as though paracompactness and Hausdorff are going to bite you on this one as those are conditions imposed “from outside” so it could be hard to generate them from the inside.

    • CommentRowNumber14.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 6th 2011

    @Andrew

    The defining condition (definition 2.4) is exactly that of a (separated) (pre)sheaf, even down the use of the prefix/adjective pre-/separated. Lemma 2.6 describing sheafification is also exactly on the money. Ditto internal hom (example 2.9).

    Interesting choice of words.

    Well, on second thoughts that is a bit diplomatic. Given the pre-/separated inf. dim. manifold terminology, I don’t think the author hasn’t heard of a sheaf before. There is no mention of underlying sets or local representability for these ’manifolds’, so they aren’t even generalised schemes.

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeJan 6th 2011
    • (edited Jan 6th 2011)

    Urs: so the term “locally representable” is site-specific, then. I see.

    Oh, yes, certainly. The generalized notion of scheme is something available as soon as we fix a “pre-geometry𝒢\mathcal{G}: it’s those objects in Sh(𝒢)Sh(\mathcal{G}) that are locally equivalent to objects in 𝒢\mathcal{G}.

    So in this context of geometry we do not consider the topos Sh(𝒢)Sh(\mathcal{G}) on its own, but always equip it with its structure of a “𝒢\mathcal{G}-ringed topos” given by a product-preserving (= algebra) and cover-preserving (= local) functor 𝒪:𝒢Sh(𝒢)\mathcal{O} : \mathcal{G} \to Sh(\mathcal{G}), namely the universal such functor, which is the Yoneda embedding.

    • CommentRowNumber16.
    • CommentAuthorAndrew Stacey
    • CommentTimeJan 6th 2011
    • (edited Jan 6th 2011)

    (added in edit to clarify: this is in response to David’s previous post)

    Ah, I hadn’t spotted the lack of underlying set. So it’s just sheaves, then.

    The smallness condition seems a little odd. Surely sheaves on “manifolds with corners” is the same as sheaves on “Quadrants”, which is obviously small. So is there really any need to restrict to the given small subcategory of manifolds with corners? (Thm2.3 on p3 for the construction).

    I don’t know how to put my next question diplomatically … is there anything in this that Urs and Konrad don’t know?

    • CommentRowNumber17.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 6th 2011

    @Andrew I suspect not. As far as looking at the smallness condition - to us it may seem obvious, but someone working from a(n old) text on sheaves would strive to ensure that their category of presheaves exists (maybe there’s something in SGA about needing sites to be small) and may feel they needed to convince people not au fait with category theory that all is ok. Definitely the description of the site has a very material (as opposed to structural) feel to it, with talking about embeddings to ensure that the site has coproducts.

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeJan 6th 2011
    • (edited Jan 6th 2011)

    I have worked on smooth manifold a bit more, in reaction to the above discussion:

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeJan 6th 2011

    Does anyone feel like adding some standard references?

    • CommentRowNumber20.
    • CommentAuthorzskoda
    • CommentTimeJan 6th 2011
    • (edited Jan 6th 2011)

    Thank you Urs and David. I do not understand how one gets the Hausdorff condition. I mean sheaf, that is gluing is about passing from local to global. Perfect good charts can glue to nonHausdorff manifold. How can this be prevented by saying that something is a sheaf on cartesian site, locally representable etc. (in algebraic geometry we say locally affine) ?

    • CommentRowNumber21.
    • CommentAuthorMike Shulman
    • CommentTimeJan 6th 2011

    saying that a sheaf is “locally representable” is really equivalent to saying that it is the sheaf obtained by gluing a bunch of representables together, where all gluing is by the maps that exist in the site.

    I don’t quite understand the notion of “locally representable” and maybe this will help. But if you want to obtain manifolds and only manifolds in this way, doesn’t there also have to be some condition about gluing by open maps? The site CartSp contains non-open maps, but if I glue two cartesian spaces along a non-open subspace, I don’t get a manifold, do I?

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeJan 6th 2011
    • (edited Jan 6th 2011)

    right. I think I need to add that the maps U iXU_i \to X are monos.

    More later, need to run now.

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeJan 6th 2011
    • (edited Jan 6th 2011)

    Say XSh(CartSp)X \in Sh(CartSp) is locally representable if there is a family of monomorphisms {U iX}\{U_i \hookrightarrow X\} with U iCartSpSh(CartSp) U_i \in CartSp \hookrightarrow Sh(CartSp) such that iU iX\coprod_i U_i \to X is a regular epi, hence so that

    i,jU i× XU j iU iX \coprod_{i,j} U_i \times_X U_j \stackrel{\to}{\to} \coprod_i U_i \to X

    is a coequalizer in Sh(CartSp)Sh(CartSp). It follows that such an XX is a diffeological space, whose underlying set is the corresponding coequalizer of the underlying sets.

    So each pullback diagram

    U iU j U j U i X \array{ U_i \cap U_j &\to& U_j \\ \downarrow && \downarrow \\ U_i &\to & X }

    may be computed in diffeological spaces inside Sh(CartSp)Sh(CartSp), where it exhibits U i× XU jU_i \times_X U_j as the intersection of the open U i,U jXU_i, U_j \hookrightarrow X.

    • CommentRowNumber24.
    • CommentAuthorzskoda
    • CommentTimeJan 6th 2011

    So how do you rule out non-Hausdorff manifolds ?

    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeJan 6th 2011
    • (edited Jan 6th 2011)

    So how do you rule out non-Hausdorff manifolds ?

    Let XX be as in #23. Let x,yXx,y \in X be two points. The pojnt xx is in the image of some U iU_i, the point yy in the image of some U jU_j. If U iU JU_i \cap U_J is empty, they serve as open subsets that separate xx and yy. if not, either both xx and yy sit in the intersection U iU jU_i \cap U_j, or at least one does not. Say xx does not, then we can find an open neighbourhood for xx in U iU_i that does not intersect U iU jU_i \cap U_j. So again they are separated. If both points are in the interseciton U iU jU_i \cap U_j, use that this is an open subsets of U iU_i and hence is Hausdorff.

    • CommentRowNumber26.
    • CommentAuthorMike Shulman
    • CommentTimeJan 6th 2011

    How does just assuming that each U iXU_i\hookrightarrow X is monic imply that they are open subsets? What if I take two copies of \mathbb{R} and glue them together at a point? Then don’t these two copies of \mathbb{R} satisfy your conditions, but aren’t open subsets of the glued space?

    • CommentRowNumber27.
    • CommentAuthorzskoda
    • CommentTimeJan 6th 2011
    • (edited Jan 6th 2011)

    Say xx does not, then we can find an open neighbourhood for xx in U iU_i that does not intersect U iU jU_i \cap U_j.

    Why ? What if xx and yy are both in the closure of U iU jU_i \cap U_j while not in U iU jU_i\cap U_j ? I mean I do not see how this proof works for the usual examples of nonHausdorff manifolds.

    • CommentRowNumber28.
    • CommentAuthorUrs
    • CommentTimeJan 6th 2011

    Yeah, I am screwing it up. I guess you are right and I will have to require that XX is concrete and the U iXU_i \to X are open embeddings.

    • CommentRowNumber29.
    • CommentAuthorUrs
    • CommentTimeJan 6th 2011

    Let’s see, I want a way to say this that does not make use of the by-hand verifiction that a concrete sheaf has canonically an underlying topological space. A more abstract way. Hm…

    • CommentRowNumber30.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 6th 2011
    • (edited Jan 6th 2011)

    Edit: this is to address the concern about Hausdorffness, not local representability

    Something like a condition on the diagonal XX×XX \to X\times X, I reckon. cf algebraic spaces. Maybe require the diagonal is representable and closed….

    • CommentRowNumber31.
    • CommentAuthorUrs
    • CommentTimeJan 6th 2011

    I should maybe stop posting to this here while busy with something else. But: what are the regular monos?

    • CommentRowNumber32.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 7th 2011

    Regarding local representability: how about asking that there is a cover U iX\coprod U_i \to X which is representable (as in, given any map f: nXf:\mathbb{R}^n \to X, the pullback of the cover along ff yields a coproduct of representables)?

    • CommentRowNumber33.
    • CommentAuthorUrs
    • CommentTimeJan 7th 2011
    • (edited Jan 7th 2011)

    the pullback of the cover along ff yields a coproduct of representables)?

    This cannot quite work: the intersection of two contractible opens is in general not contractible.

    But something that sounds similar is that one could ask that each U i× XU jU_{i } \times_X U_j is either empty representable, which is the beginning of saying that {U iX}\{U_i \to X\} is a good open cover. But that does not seem to get around having to invoke the topology on XX to get a manifold.

    When schemes are defined as locally representable sheaves on the Zariski site, there is also the explicit condition that the cover is open (as on slide 3 here). That’s why I said in #1

    smooth manifolds are equivalently the locally representable sheaves on CartSp (more precisely: the 𝒢=CartSp\mathcal{G} = CartSp-schemes).

    only to trick myself into ignoring the “more precisely”-clause later on ;-)

    • CommentRowNumber34.
    • CommentAuthorMike Shulman
    • CommentTimeJan 7th 2011

    It seems unlikely to me that we’ll be able to avoid equipping the site CartSp with some extra structure, specifying which maps are “open,” if we want to be able to define a notion which reduces to manifolds.

    • CommentRowNumber35.
    • CommentAuthorUrs
    • CommentTimeJan 7th 2011
    • (edited Jan 7th 2011)

    There must be a way, as in def. 2.3.9 of Structured Spaces:

    Pass to the little (\infty-)topos 𝒳\mathcal{X} over XX, ask for an effective epi iU i*\coprod_i U_i \to * in the topos, and ask that each 𝒳/U i\mathcal{X}/U_i is equivalent, as a ringed topos, to a representable.

    If I understand well then the fact that we ask the covering to be a morphism in the little topos makes it étale, so that’s where the topology is taken care of.

    • CommentRowNumber36.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 7th 2011
    • (edited Jan 7th 2011)

    @Urs 33

    since we are working with a coverage on CartSp (good open covers), then perhaps we don’t ask for the pullback n× XU i\mathbb{R}^n \times_X \coprod U_i, but a weak pullback, as in the definition of coverage.

    We can restate a map (of topological spaces or manifolds) XYX \to Y being étale as being existence of covers U i=:UX,UY\coprod U_i =: U \to X, U\to Y making the obvious triangle commute (or better, draw it as a square with an equality on one side). Surely we can state the topos theoretic condition as some sort of existence theorem about covers etc.?

    • CommentRowNumber37.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 7th 2011

    Urs, I wasn’t quite able to convince myself some months back that the regular monos in the category of smooth Hausdorff manifolds are precisely the closed embeddings, but I still believe that’s what they’ll probably wind up being.

    • CommentRowNumber38.
    • CommentAuthorMike Shulman
    • CommentTimeJan 7th 2011

    There must be a way, as in def. 2.3.9 of Structured Spaces

    But doesn’t the “admissibility structure” there essentially encode the same data about which maps are “open”?

    • CommentRowNumber39.
    • CommentAuthorUrs
    • CommentTimeJan 7th 2011
    • (edited Jan 7th 2011)

    But doesn’t the “admissibility structure” there essentially encode the same data about which maps are “open”?

    Yes. (It is effectively the coverage data, I think.)

    I had thought this does not crucially play a role in def 2.3.9, because it doesn’t in saying that iU i* 𝒳\coprod_i U_i \to *_{\mathcal{X}} is a regular epi and not in saying that we have equivalences of structured topoi SpecU i𝒳/U iSpec U_i \simeq \mathcal{X}/U_i (I think, because an equivalence of structure sheaves just as left exact functors should automatically be a morphism that respects the admissibility structure and hence be an equivalence as structure sheaves). Clearly I should think more about this.

    • CommentRowNumber40.
    • CommentAuthorUrs
    • CommentTimeJan 7th 2011
    • (edited Jan 7th 2011)

    Maybe the issue is more vivid in terms of the classifying topos description: 𝒢\mathcal{G}-structures are classified by geometric morphisms into Sh(𝒢)Sh(\mathcal{G}). That does not involve the admissibility structure. Instead, the admissibility structure on 𝒢\mathcal{G} is equivalently a natural factorization system on Topos(,Sh(𝒢))Topos(-,Sh(\mathcal{G})), hence affects only the morphisms. The morphisms of 𝒢\mathcal{G}-structured toposes are those landing in the right half of this factorization system. But every equivalence is in there, so it does not affect the notion of equivalence. I’d think.

    • CommentRowNumber41.
    • CommentAuthorzskoda
    • CommentTimeJan 7th 2011

    Urs, do you have a way out of the “gap” in your Hausdorffness proof I seem to point out in 27 ? I am still not seeing it.

    • CommentRowNumber42.
    • CommentAuthorUrs
    • CommentTimeJan 7th 2011
    • (edited Jan 7th 2011)

    Zoran, I think you are right, I was wrong. I need to come back this whole issue here and do things right. I should maybe not have started this without the time to concentrate on it. On the other hand, except that I am making a fool of myself, I am enjoying that we are discussing this! :-)

    Here is another thought that I won’t have time to look at in detail right now, but which I’ll mention anyway:

    as a slight variant of the definition in Structured Spaces with more an emphasis on the big topos Sh(CartSp)Sh(CartSp): maybe it makes sense to say that for XSh(CartSp)X \in Sh(CartSp) and U iCartSpSh(CartSp) U_i \in CartSp \hookrightarrow Sh(CartSp) we have an effective epi iU iX\coprod_i U_i \to X plus the condition that the corresponding morphisms in Topos/Sh(CartSp)Topos/Sh(CartSp)

    Sh(CartSp)/U i Sh(CartSp)/X Sh(CartSp) \array{ Sh(CartSp)/U_i &&\to&& Sh(CartSp)/X \\ & \searrow &\swArrow& \swarrow \\ && Sh(CartSp) }

    sit in the right half of a suitable factorization system. But I still need to understand better why the analogous condition is not needed in def. 2.3.9 of Structured Spaces .

    • CommentRowNumber43.
    • CommentAuthorMike Shulman
    • CommentTimeJan 7th 2011

    It is effectively the coverage data, I think

    I feel like the “class of open maps” (a term which I much prefer to “admissibility structure,” ugh) is slightly more than giving a coverage (or pretopology) which generates the topology — it’s more like a class of maps which could appear in a generating covering family, but which don’t necessarily do so. There is an abstract notion of “class of open maps” which has been studied by I think Joyal and Moerdijk, among others.

    • CommentRowNumber44.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 25th 2011
    • (edited Jan 25th 2011)

    Going back to the points raised in #2 and #3, I read in MacLane&Moerdijk just recently an exercise that says that the usual open cover topology on the category of manifolds (presumably separable ones, and also finite dimensional) is the smallest one containing the covering families

    • U 1={(,1),(1,)}U_1 = \{(-\infty,1),(-1,\infty)\}

    • U 2={(n,n)|n1}U_2 = \{(-n,n)|n\geq 1\}

    Now these are covering families of \mathbb{R} in the category CartSp 0CartSp_0 of cartesian spaces and maps preserving zero. They generate covering families on all n\mathbb{R}^n by taking products of these.

    I’m not sure what this means, I’m just putting ’on paper’ as it were (and it’s late here, for me). Any thoughts?

    • CommentRowNumber45.
    • CommentAuthorzskoda
    • CommentTimeJan 25th 2011
    • (edited Jan 25th 2011)

    As the reference is only alluded above here it is (about the “class of open maps”) for the record, in full:

    • CommentRowNumber46.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 25th 2011

    In the cold light of day, perhaps the key point alluded to in the exercise I quote in #44 is that the open covers on manifolds can be generated by an explicitly given class of open covers. This might be helpful to pin down what it means for a sheaf on CartSpCartSp to be locally representable.

  1. Added link to category SmoothManifolds.

    diff, v39, current

    • CommentRowNumber48.
    • CommentAuthorDmitri Pavlov
    • CommentTimeFeb 20th 2021

    Added the papers by Veblen and Whitehead, and also Whitney.

    diff, v44, current