arXiv (All)
open access
Geometric morphisms of virtual ultracategories
We build on the recent development that toposes with enough points can be represented as categories of points equipped with ultraconvergence data (a.k.a. virtual ultracategories), characterizing usual classes of geometric morphisms --- surjections, embeddings, hyperconnected maps, and localic maps -
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- n-extension-closed subcategories of n-exangulated categories / Carlo Klapproth#814405
- Generalised ultracategories and conceptual completeness of geometric logic#1157241
- A two-categorical Snake Lemma#974005
- Compact Open Topology and Evaluation Map via Neutrosophic Sets#699184
- Standard modules and Dold-Kan correspondences for generalized Reedy categories#973268
Record · ID 1106144
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive