Not signed in (Sign In)

Start a new discussion

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 bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex-geometry computable-mathematics computer-science connection constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry goodwillie-calculus 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 history homological homological-algebra homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie lie-theory limit limits linear linear-algebra locale localization logic mathematics measure-theory modal-logic model model-category-theory monoidal monoidal-category-theory morphism motives motivic-cohomology nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar 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 subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory 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
    • CommentTimeApr 16th 2012
    • (edited Apr 16th 2012)

    I have added to flat functor right after the very first definition (“CSetC \to Set is flat if its category of elements is cofiltered”) a remark which spells out explicitly what this means in components. Just for convenience of the reader.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeApr 16th 2012
    • (edited Apr 16th 2012)

    I have added in the section Topos-valued functors right after the definition the remark that in a topos with enough points, internal flatness is stalkwise SetSet-flatness.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeApr 16th 2012

    I noticed that any mention of Diaconescu’s theorem was missing from the entry flat functor, so I added a section.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeOct 18th 2012

    Here is a question, probably to Mike, on the section Site-valued functors:

    I may be too tired, but I have trouble parsing this here:

    {h:vu|Th factors through the F-image of some cone over D} \{ h\colon v\to u | T h \;\text{ factors through the }\; F\text{-image of some cone over }\; D \}

    What “ThT h”? Maybe I am mixed up.

    • CommentRowNumber5.
    • CommentAuthorZhen Lin
    • CommentTimeOct 18th 2012

    It says “TT is a cone over FDF \circ D with vertex uu”, so ThT h must be a cone over FDF \circ D with vertex vv.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeOct 18th 2012

    Maybe we could write h *Th^* T or the like.

    • CommentRowNumber7.
    • CommentAuthorMike Shulman
    • CommentTimeOct 18th 2012

    I think h *Th^* T would be confusing; that looks to me like hh and TT have the same codomain and we are pulling TT back along hh. Here the codomain of hh is the domain of TT and we are just composing every morphism in TT with hh.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeOct 31st 2012
    • (edited Oct 31st 2012)

    There is really just one sensible way to interpret the notation, so it doesn’t really matter. I was a bit over-tired when I asked the above question.

    But nevertheless, let me remark: the notation “h *h^*” has also the common interpretation of pullback in the sense of pullback of functions, functors, etc by precomposition with hh. And this is what we do here.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeOct 31st 2012
    • (edited Oct 31st 2012)

    Something different:

    somebody please give me a sanity check, it’s so easy to get mixed up about variances in this business:

    let

    Δ 0Δ \Delta_0 \to \Delta

    be the functor into the simplex category out of the non-full subcategory of finite linear non-empty graphs (hence regard each Δ[n]\Delta[n] as a sequence of nn elementary edges and morphisms in Δ 0\Delta_0 have to send elementary edges to elementary edges).

    This is a (representably) flat functor, right?

    • CommentRowNumber10.
    • CommentAuthorMike Shulman
    • CommentTimeNov 3rd 2012

    Does that mean every morphism in Δ 0\Delta_0 is an injection? If so, it doesn’t seem like it could possibly be flat. Consider the identity [1][1][1]\to [1] and the projection [1][0][1]\to[0]. If those were to factor through a span [1][n][0][1] \leftarrow [n] \to [0] in Δ 0\Delta_0, then nn would have to be 00 by injectivity, but then the composite [1][0][1][1]\to[0]\to [1] couldn’t be the identity.

    • CommentRowNumber11.
    • CommentAuthorMike Shulman
    • CommentTimeNov 3rd 2012

    I added to the “representable flatness” section of flat functor an explicit description of what this means in terms of objects and morphisms.

    By the way, where did the words “transitivity” and “freeness” come from in Remark 1? I’ve never heard them used to describe those conditions before.

    • CommentRowNumber12.
    • CommentAuthorZhen Lin
    • CommentTimeNov 3rd 2012

    In the case where CC is the delooping of a group GG, “transitivity” and “freeness” reduce to exactly the usual “transitivity” and “freeness” axioms for a GG-torsor.

    • CommentRowNumber13.
    • CommentAuthorMike Shulman
    • CommentTimeNov 4th 2012

    Ah.

    Generally I think I am against importing words from group torsors to describe flat functors when they lose their original intuition thereby. Group torsors are such a special case of flat functors. I would be more inclined to call those properties something like “product cones” and “equalizer cones”.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeNov 5th 2012

    re #10,

    thanks, of course. What was I thinking?

    • CommentRowNumber15.
    • CommentAuthorTim Campion
    • CommentTimeFeb 24th 2019

    The page claimed that a functor CSetC \to Set is flat if and only if it preserves finite limits. I added the hypothesis that CC must have finite limits.

    diff, v32, current

    • CommentRowNumber16.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 24th 2019

    Actually I think what it claimed is that such a functor is flat if and only if its Yoneda extension [C op,Set]Set[C^{op},Set] \to Set preserves finite limits, and that doesn’t require CC to have finite limits.

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)