Detail publikace

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

ŠLAPAL, J.

Anglický název

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

Typ

Článek WoS

Jazyk

en

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 anglicky

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

Vydáno

2022-02-10

Nakladatel

SPRINGER BASEL AG

Místo

BASEL

ISSN

0001-9054

Ročník

96

Číslo

1

Strany od–do

129–136

Počet stran

8

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