Přístupnostní navigace
E-application
Search Search Close
Publication detail
ŠLAPAL, J.
Original Title
Cartesian closedness in categories with an idempotent closure operator and closed morphisms
Type
journal article in Web of Science
Language
English
Original 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
Authors
Released
10. 2. 2022
Publisher
SPRINGER BASEL AG
Location
BASEL
ISBN
0001-9054
Periodical
AEQUATIONES MATHEMATICAE
Year of study
96
Number
1
State
Swiss Confederation
Pages from
129
Pages to
136
Pages count
8
URL
https://link.springer.com/article/10.1007/s00010-020-00772-9
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" }