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: |