Not signed in

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

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

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 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 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 nforum 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 sheaves 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

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeNov 9th 2009
   • (edited Nov 9th 2009)
   • PermaLink
   Author: Urs
   Format: MarkdownI created an entry called [[(infinity,1)-Yoneda extension]]. Currently the point of this entry is to present one specific _presentation_ by model category means of what should more abstractly be an (oo,1)-version of the standard [[Yoneda extension]]. The statement is (supposed to be) a simple consequence of the proposition recalled at [[Quillen bifunctor]]. I started preparing this entry on my personal web, but then thought that this kind of material should be on the main nLab. Let me know if you disagree. I put a standout-box cautioning the reader that this is stuff I dreamed up. But even in as far as the statement so far given is right, I would like the entry to be understood as something in search of a bigger and more abstract picture.

   I created an entry called (infinity,1)-Yoneda extension.

   Currently the point of this entry is to present one specific presentation by model category means of what should more abstractly be an (oo,1)-version of the standard Yoneda extension. The statement is (supposed to be) a simple consequence of the proposition recalled at Quillen bifunctor.

   I started preparing this entry on my personal web, but then thought that this kind of material should be on the main nLab. Let me know if you disagree.

   I put a standout-box cautioning the reader that this is stuff I dreamed up. But even in as far as the statement so far given is right, I would like the entry to be understood as something in search of a bigger and more abstract picture.

2. • CommentRowNumber2.
   • CommentAuthorspitters
   • CommentTimeDec 15th 2017
   • PermaLink
   Author: spitters
   Format: MarkdownItexThis is about the ordinary [[Yoneda extension]]. It looks like there is a typo on that page, under Remarks. The precomposition functor described there as the _direct image_, is in fact the _inverse image_ of a geometric morphism. See Elephant A4.1.4. However, the page [[restriction and extension of sheaves]] refers to this as _direct image_ too. So, I may be overlooking something. In any case, this seems to be worth clarifying.

   This is about the ordinary Yoneda extension. It looks like there is a typo on that page, under Remarks. The precomposition functor described there as the direct image, is in fact the inverse image of a geometric morphism. See Elephant A4.1.4. However, the page restriction and extension of sheaves refers to this as direct image too. So, I may be overlooking something. In any case, this seems to be worth clarifying.

3. • CommentRowNumber3.
   • CommentAuthorMike Shulman
   • CommentTimeDec 16th 2017
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexPrecomposition with an arbitrary functor is indeed always an inverse image functor between presheaf toposes. But the page [[restriction and extension of sheaves]] is talking about functors that are [[morphisms of sites]], in which case precomposition is also a *direct* image functor between *sheaf* toposes. When the topologies are trivial, being a morphism of sites just means being flat, so that left Kan extension is left exact and hence an inverse image functor. However, I don't think it's appropriate to carry this terminology over to [[Yoneda extension]], so I've removed it.

   Precomposition with an arbitrary functor is indeed always an inverse image functor between presheaf toposes. But the page restriction and extension of sheaves is talking about functors that are morphisms of sites, in which case precomposition is also a direct image functor between sheaf toposes. When the topologies are trivial, being a morphism of sites just means being flat, so that left Kan extension is left exact and hence an inverse image functor.

   However, I don’t think it’s appropriate to carry this terminology over to Yoneda extension, so I’ve removed it.