updated to
Correct the reference to Borceux’s Handbook of Categorical Algebra.
Jens Hemelaer
]]>Actually I think what it claimed is that such a functor is flat if and only if its Yoneda extension preserves finite limits, and that doesn’t require to have finite limits.
]]>The page claimed that a functor is flat if and only if it preserves finite limits. I added the hypothesis that must have finite limits.
]]>re #10,
thanks, of course. What was I thinking?
]]>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”.
]]>In the case where is the delooping of a group , “transitivity” and “freeness” reduce to exactly the usual “transitivity” and “freeness” axioms for a -torsor.
]]>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.
]]>Does that mean every morphism in is an injection? If so, it doesn’t seem like it could possibly be flat. Consider the identity and the projection . If those were to factor through a span in , then would have to be by injectivity, but then the composite couldn’t be the identity.
]]>Something different:
somebody please give me a sanity check, it’s so easy to get mixed up about variances in this business:
let
be the functor into the simplex category out of the non-full subcategory of finite linear non-empty graphs (hence regard each as a sequence of elementary edges and morphisms in have to send elementary edges to elementary edges).
This is a (representably) flat functor, right?
]]>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 “” has also the common interpretation of pullback in the sense of pullback of functions, functors, etc by precomposition with . And this is what we do here.
]]>I think would be confusing; that looks to me like and have the same codomain and we are pulling back along . Here the codomain of is the domain of and we are just composing every morphism in with .
]]>Maybe we could write or the like.
]]>It says “ is a cone over with vertex ”, so must be a cone over with vertex .
]]>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:
What “”? Maybe I am mixed up.
]]>I noticed that any mention of Diaconescu’s theorem was missing from the entry flat functor, so I added a section.
]]>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 -flatness.
]]>I have added to flat functor right after the very first definition (“ 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.
]]>