An `unsitely' result on atomic morphisms
From MaRDI portal
Publication:1840717
DOI10.1023/A:1008640630668zbMath0989.18003OpenAlexW4247741080MaRDI QIDQ1840717
Publication date: 22 July 2002
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1008640630668
representation theoremclassifying toposgeometric morphismdescent theoremelementary toposesbipullbacksopen surjections
This page was built for publication: An `unsitely' result on atomic morphisms