Detail výsledku

Cartesian closedness in categories with an idempotent closure operator and closed morphisms

ŠLAPAL, J. Cartesian closedness in categories with an idempotent closure operator and closed morphisms. Aequationes Mathematicae, 2022, vol. 96, no. 1, p. 129-136. ISSN: 0001-9054.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Šlapal Josef, prof. RNDr., CSc., ÚM (FSI)
Abstrakt

Given a subobject-structured category X, we construct a new category whose objects are the pairs (X, c) where X is an X- object and c is an idempotent, monotonic and extensive endomap of the subobject lattice of X, and whose morphisms between objects are the closed maps between the corresponding subobject lattices. We give a sufficient condition on X for the new category to be cartesian closed.

Klíčová slova

Subobject-structured category; Categorical closure operator; Cartesian closed category

URL
Rok
2022
Strany
129–136
Časopis
Aequationes Mathematicae, roč. 96, č. 1, ISSN 0001-9054
Vydavatel
SPRINGER BASEL AG
Místo
BASEL
DOI
10.1007/s00010-020-00772-9
UT WoS
000613589200001
EID Scopus
2-s2.0-85100178020
BibTeX 
@article{BUT171723,
  author="Josef {Šlapal}",
  title="Cartesian closedness in categories with an idempotent closure operator and closed morphisms",
  journal="Aequationes Mathematicae",
  year="2022",
  volume="96",
  number="1",
  pages="129--136",
  doi="10.1007/s00010-020-00772-9",
  issn="0001-9054",
  url="https://link.springer.com/article/10.1007/s00010-020-00772-9"
}
Pracoviště
Ústav matematiky (ÚM)
Nahoru