Result Details

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.
Type
journal article
Language
English
Authors
Šlapal Josef, prof. RNDr., CSc., IM (FME)
Abstract

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.

Keywords

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

URL
Published
2022
Pages
129–136
Journal
Aequationes Mathematicae, vol. 96, no. 1, ISSN 0001-9054
Publisher
SPRINGER BASEL AG
Place
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"
}
Departments
Institute of Mathematics (IM)
Back to top