The glueing construction and double categories (Q456855)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The glueing construction and double categories |
scientific article |
Statements
The glueing construction and double categories (English)
0 references
16 October 2012
0 references
Artin-Wraith gluening and locally closed inclusions in double categories are introduced. With appropriate assumptions, there is shown that locally closed inclusions are exponentiable and the exponentials are constructed via Artin-Wraith gluening. Applications to locales, toposes, topological spaces, categories, and posets are given.
0 references
double category
0 references
Artin gluening
0 references
locale
0 references
topos
0 references
