Pure maps are strict monomorphisms
Category Theory
2025-06-05 v3 Logic
Abstract
We prove that if is -accessible and it is axiomatizable in (finitary) coherent logic then -pure maps are strict monomorphisms and if there is a proper class of strongly compact cardinals and is -accessible then for some every -pure map is a strict monomorphism.
Cite
@article{arxiv.2407.13448,
title = {Pure maps are strict monomorphisms},
author = {Kristóf Kanalas},
journal= {arXiv preprint arXiv:2407.13448},
year = {2025}
}