

























Abstract:In this article, we develop an explicit categorical realization of sheafification based on colimits, products, and subobjects, emphasizing its behavior in algebraic and topological-algebraic settings. We prove that if $\mathcal{C}$ is a reflective subcategory of a category $\mathcal{A}$, then the presheaf category $\mathbf{Psh}(X,\mathcal{C})$ is reflective in $\mathbf{Psh}(X,\mathcal{A})$. We further investigate the interaction between reflections and sheafification, obtaining natural conditions under which these constructions are naturally isomorphic.
| Comments: | 20 PAGES |
| Subjects: | General Topology (math.GN) |
| MSC classes: | 18F20, 18A40, 22A05, 54B40 |
| Report number: | EFI-94-11 |
| Cite as: | arXiv:2605.23060 [math.GN] |
| (or arXiv:2605.23060v1 [math.GN] for this version) | |
| https://doi.org/10.48550/arXiv.2605.23060 arXiv-issued DOI via DataCite (pending registration) |
From: Julio César Hernández Arzusa [view email]
[v1]
Thu, 21 May 2026 21:49:38 UTC (16 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。