Coarse spaces [26] and balleans [23] are known to be equivalent constructions ([25]). The main subject of this paper is the category, Coarse, having as objects these structures, and its quotient category Coarse/∼. We prove that the category Coarse is topological and hence Coarse is complete and co-complete and one has a complete description of its epimorphisms and monomorphisms. In particular, Coarse has products and coproducts, quotients, etc., and Coarse is not balanced. A special attention is paid to investigate quotients in Coarse by introducing some particular classes of maps, i.e. (weakly) soft maps which allow one to explicitly describe when the quotient ball structure of a ballean is a ballean. A particular type of quotients, namely the adjunction spaces, is considered in detail in order to obtain a description of the epimorphisms in Coarse/∼, shown to be the bornologous maps with large image. The monomorphisms in Coarse/∼ are the coarse embeddings; consequently, the bimorphisms in Coarse/∼ are precisely the isomorphisms, i.e., Coarse/∼ is a balanced category.

Some categorical aspects of coarse spaces and balleans

DIKRANJAN, Dikran;ZAVA, NICOLO'
2017-01-01

Abstract

Coarse spaces [26] and balleans [23] are known to be equivalent constructions ([25]). The main subject of this paper is the category, Coarse, having as objects these structures, and its quotient category Coarse/∼. We prove that the category Coarse is topological and hence Coarse is complete and co-complete and one has a complete description of its epimorphisms and monomorphisms. In particular, Coarse has products and coproducts, quotients, etc., and Coarse is not balanced. A special attention is paid to investigate quotients in Coarse by introducing some particular classes of maps, i.e. (weakly) soft maps which allow one to explicitly describe when the quotient ball structure of a ballean is a ballean. A particular type of quotients, namely the adjunction spaces, is considered in detail in order to obtain a description of the epimorphisms in Coarse/∼, shown to be the bornologous maps with large image. The monomorphisms in Coarse/∼ are the coarse embeddings; consequently, the bimorphisms in Coarse/∼ are precisely the isomorphisms, i.e., Coarse/∼ is a balanced category.
File in questo prodotto:
File Dimensione Formato  
YokoCAT_FinVersion.pdf

accesso aperto

Descrizione: Articolo principale
Tipologia: Documento in Pre-print
Licenza: Creative commons
Dimensione 490.92 kB
Formato Adobe PDF
490.92 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11390/1118909
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 19
  • ???jsp.display-item.citation.isi??? 20
social impact