Detail výsledku

A categorical approach to convergence: compactness

ŠLAPAL, J. A categorical approach to convergence: compactness. TOPOLOGY AND ITS APPLICATIONS, 2016, vol. 201, no. 1, p. 78-85. ISSN: 0166-8641.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Šlapal Josef, prof. RNDr., CSc., ÚM (FSI)
Abstrakt

A convergence class is introduced on every object of a given category by using certain generalized nets for expressing the convergence. The obtained concrete category is then investigated whose objects are the pairs consisting of objects of the original category and convergence classes on them and whose morphisms are the morphisms of the original category that preserve the convergence. We define, in a natural way, separation and compactness of objects of the concrete category under investigation and study their behavior.

Klíčová slova

comma category, convergence class, separated object, compact object, one-point compactifcation

URL
Rok
2016
Strany
78–85
Časopis
TOPOLOGY AND ITS APPLICATIONS, roč. 201, č. 1, ISSN 0166-8641
Vydavatel
Elsevier
DOI
10.1016/j.topol.2015.12.027
UT WoS
000371936600007
EID Scopus
2-s2.0-84960479847
BibTeX 
@article{BUT114790,
  author="Josef {Šlapal}",
  title="A categorical approach to convergence: compactness",
  journal="TOPOLOGY AND ITS APPLICATIONS",
  year="2016",
  volume="201",
  number="1",
  pages="78--85",
  doi="10.1016/j.topol.2015.12.027",
  issn="0166-8641",
  url="https://reader.elsevier.com/reader/sd/pii/S0166864115005581?token=E55CE6A067A4F0EFCECA71C648844855BC127C5CBCBDCEE63A763BD897C4BE78696C15152A6802E8814CA7965B73E6C6&originRegion=eu-west-1&originCreation=20211027132945"
}
Soubory
Projekty
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru