Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
ŠLAPAL, J.
Originální název
Cartesian closedness in categories with an idempotent closure operator and closed morphisms
Typ
článek v časopise ve Web of Science, Jimp
Jazyk
angličtina
Originální 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
Autoři
Vydáno
10. 2. 2022
Nakladatel
SPRINGER BASEL AG
Místo
BASEL
ISSN
0001-9054
Periodikum
AEQUATIONES MATHEMATICAE
Ročník
96
Číslo
1
Stát
Švýcarská konfederace
Strany od
129
Strany do
136
Strany počet
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" }