ترجمه فارسی مقاله در گروه های داخلی گروهی

چکیده

A sheaf of modules on a site is said to be internally projective if sheaf hom with the module preserves epimorphism. In this note, we give an example showing that internally projective sheaves of abelian groups are not in general stable under base change to a slice. This shows that internal projectivity is weaker than projectivity in the internal logic of the topos, as expressed for example in terms of Shulman’s stack semantics. The sheaf of groups that we use as a counterexample comes from recent work by Clausen and Scholze on light condensed sets.

چکیده به فارسی (ترجمه ماشینی)

گفته می شود که اگر ماژول ها با ماژول Epimorphism را حفظ کنند ، یک ماژول در یک سایت از نظر داخلی پروژکتور است.در این یادداشت ، ما مثالی را نشان می دهیم که نشان می دهد که برآمدگی داخلی گروه های Abelian به طور کلی تحت تغییر پایه به یک برش پایدار نیستند.این نشان می دهد که پروژه داخلی در منطق داخلی TOPO ها ضعیف تر از پروژه است ، همانطور که به عنوان مثال از نظر معانی پشته Shulman بیان شده است.برگه گروههایی که ما به عنوان نمونه ضد استفاده از آنها از کار اخیر Clausen و Scholze در مجموعه های چگالش نور استفاده می کنیم.