Detail publikačního výsledku

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

ŠLAPAL, J.

Originální název

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

Anglický název

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

Druh

Článek WoS

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.

Anglický 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

Klíčová slova v angličtině

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

Autoři

ŠLAPAL, J.

Rok RIV

2021

Vydáno

10.02.2022

Nakladatel

SPRINGER BASEL AG

Místo

BASEL

ISSN

0001-9054

Periodikum

Aequationes Mathematicae

Svazek

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"
}