Effective descent morphisms of ordered families
| Autor: | Clementino, Maria Manuel, Prezado, Rui |
|---|---|
| Rok vydání: | 2024 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | We present a characterization of effective descent morphisms in the lax comma category $\mathsf{Ord}//X$ when $X$ is a locally complete ordered set with a bottom element. Comment: 9 pages |
| Databáze: | arXiv |
| Externí odkaz: |
|