Publication result detail

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

ŠLAPAL, J.

Original Title

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

English Title

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

Type

WoS Article

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.

English 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

Key words in English

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

Authors

ŠLAPAL, J.

RIV year

2021

Released

10.02.2022

Publisher

SPRINGER BASEL AG

Location

BASEL

ISBN

0001-9054

Periodical

Aequationes Mathematicae

Volume

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