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.
    • CommentAuthorHarry Gindi
    • CommentTimeJun 5th 2010
    • (edited Jun 5th 2010)

    I created cylinder on a presheaf and will fill it in more as I read through Ast308. I plan on adding more stuff as I get to it (things about test categories and localisers, etc.).

    This is similar but not the same as cylinder object, since even though it is specialized to presheaf categories, we don’t require any notion of a weak equivalence a priori.

    • CommentRowNumber2.
    • CommentAuthorHarry Gindi
    • CommentTimeJun 5th 2010

    Hmm.. Now that I think about it, perhaps it should be “cylinder for a presheaf” or something like that.

    • CommentRowNumber3.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 5th 2010
    • (edited Jun 5th 2010)

    I took the liberty of changing instances of IX to IXI X (if you don’t want your cylinder notation to look like the Roman numeral for nine, you should put a space between I and X).

    We’ve had this discussion here at the nForum: it’s improper notation to write fgf \coprod g for the universal mapping XYZX \coprod Y \to Z induced from the pair of maps f:XZf: X \to Z, g:YZg: Y \to Z, because it clashes with the meaning of \coprod as a functor. For the same reason as that it’s not proper to write

    f×g:ZX×Yf \times g: Z \to X \times Y

    (even if many people do!) but it is proper to write f,g:ZX×Y\langle f, g \rangle: Z \to X \times Y and it is proper to write f×g:W×ZX×Yf \times g: W \times Z \to X \times Y. So you may want to consider an alternative.

    The simplest thing might be to say: “let h:XYZh: X \coprod Y \to Z be the map universally determined by the pair of maps f:XZf: X \to Z, g:YZg: Y \to Z” and continue using hh as needed. (For what it’s worth, I often use ++ for coproducts because \coprod looks heavy to me, and I often use (f,g):X+YZ(f, g): X + Y \to Z to denote this hh, so that the notation (f,g)(f, g) is the coproduct counterpart to the product notation f,g\langle f, g\rangle.)

    • CommentRowNumber4.
    • CommentAuthorMike Shulman
    • CommentTimeJun 5th 2010

    I think that (f,g)(f,g) is actually pretty common for the product map ZX×YZ\to X\times Y, since it generalizes the common notation for ordered pairs. I prefer [f,g][f,g] for the coproduct map XYZX\sqcup Y \to Z.

    • CommentRowNumber5.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 5th 2010
    • (edited Jun 5th 2010)

    @Mike: it is indeed common – I don’t deny that. I was merely saying what I use.

    I have no objection to [f,g][f, g], but some people who reserve [,][-, -] for hom-notation might not like it. To each his own – but I do remember discussion about notation like fgf \coprod g or f+gf + g for what we’re discussing and how it’s not right.

    • CommentRowNumber6.
    • CommentAuthorTim_Porter
    • CommentTimeJun 5th 2010

    @Harry As I understand the original motivation of this, a cylinder functor gives a notion of homotopy equivalence. The condition of weak equivalence is external and provides a way of comparing an externally given notion of weak equivalence with the notion of homotopy specified by the cylinder. One good point about cylinder objects if they are not required to be functorial is that they are nearly functorial (if I remember Ken Brown’s paper).

    Another thing is that as yet no one has provided cylinder object as an entry. Have you any thoughts about what should go there?

    • CommentRowNumber7.
    • CommentAuthorHarry Gindi
    • CommentTimeJun 5th 2010
    • (edited Jun 6th 2010)

    Cylinder functors are stronger than cylinder objects, yes. We consider the presheaf category as a module for the strict monoidal category [Psh(A),Psh(A)] (with the product given by composition). Then a cylinder functor is a functor \mathfrak{I} and three natural transformations assigning a cylinder object to every presheaf on AA.

    We say that two maps are elementarily \mathfrak{I}-homotopic if there exists a lift from IX:=I(X)=XX\partial I\otimes X:=\partial I(X)=X\coprod X (since the taking the coproduct with yourself is (endo-) functorial) to IXYIX\to Y (just as in the model category case). However, to get honest \mathfrak{I}-homotopy, we take the equivalence relation generated by elementary \mathfrak{I}-homotopy and take the quotient.

    Now we have some axioms:

    A presheaf category is said to have a donnée homotopique elementaire if it is equipped with a cylinder functor that

    a.) commutes with all small colimits and monomorphisms
    b.) The natural transformation () j:1 Psh(A)I\partial^j_{(-)}:1_{Psh(A)}\to I sends arrows of Psh(A) to commutative squares in Psh(A) in the obvious way. We require that it sends all monomorphisms to cartesian squares. (I really don’t feel like drawing the diagram right now).

    These give us a nicer homotopy relation (and sets us up via the adjoint functor theorem for the existence of a right adjoint). We now come up with the axioms for an anodyne structure compatible with a cylinder functor:

    a.) All maps are generated as LLP(RLP(S)) where S is an honest set of monomorphisms.
    b.) (I’m busy. I’ll type these out later)
    c.) “

    Note that all presheaves (on a small category) are accessible (|Arr(A/X)|-accessible), so we do not need to do anything like require that S admits the small object argument, since this is automatic (by a fairly straightforward lemma. It’s not immediate.).

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJun 6th 2010

    Another thing is that as yet no one has provided cylinder object as an entry. Have you any thoughts about what should go there?

    I added content to cylinder object.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeJun 6th 2010

    Harry,

    I think it would be good if the entry you write would make clear the distinction between the general notion of cylinder object and cylinder functor and the particular notion of a presheaf category with donnée homotopique elementaire ,

    I think a good way to begin this entry would be to says:

    a category of presheaves is said to have/to be xyz if it is equipped with cylinder objects/with a cylinder functor such that abc.

    Another thing: is it intentionally that the labels in your diagram are themselves matrix entries and not small labels sitting on top/below or next to an arrow.

    • CommentRowNumber10.
    • CommentAuthorHarry Gindi
    • CommentTimeJun 7th 2010
    • (edited Jun 7th 2010)

    I think it would be good if the entry you write would make clear the distinction between the general notion of cylinder object and cylinder functor and the particular notion of a presheaf category with donnée homotopique elementaire ,

    Yes, I realized that there was some inconsistent labeling on my part. I need to change the whole page name. I just haven’t gotten around to fixing it yet.

    Another thing: is it intentionally that the labels in your diagram are themselves matrix entries and not small labels sitting on top/below or next to an arrow.

    No. That’s because I don’t know how to use iTex.

    Also, with respect to what you wrote about cylinder objects and cylinder functors, I think we should do the following.

    Change the definition so that it says something like “in the context of model categories, one requires that the map σ X\sigma_X: IXXI X\to X (or whatever you called it) is a weak equivalence. However, the notion of a cylinder object makes sense in general.”

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeJun 7th 2010

    That’s because I don’t know how to use iTex.

    See the square diagram at template page (or at any other page with diagrams, for that matter :-)

    “in the context of model categories, one requires

    Well, not just there. I tried to make the difference between cylinders in cats with weak equivalences and in model categories. But you are right of course that one can also consider factorizations of the codiagonal without saying anything about weak equivalences. If that’s really a useful notion, we should add that to the page on cylinder objects.

    • CommentRowNumber12.
    • CommentAuthorHarry Gindi
    • CommentTimeJun 7th 2010

    That is the notion used in Ast308 if we require the left part of the factorization to be a “cellular cofibration”, i.e., monomorphic. The notion of a weak equivalence can be derived from “elementary homotopy data” (donnée homotopique elementaire) and a class of monomorphisms SS that generate a class of anodyne maps for the cylinder I or just a class of anodyne maps for the cylinder I. We take cofibrations to be all monomorphisms.

    Note further that when I say anodyne morphism, I do not mean a weak cofibration. I’d rather not type out the details right now, but I’m thinking of renaming the page cylinder on a presheaf as “Notes on Astérisque 308”, where I’ll put down all of the definitions/state theorems, and fill in the parts of the proofs that I thought were confusing.