English

Pure maps are strict monomorphisms

Category Theory 2025-06-05 v3 Logic

Abstract

We prove that i)i) if A\mathcal{A} is λ\lambda -accessible and it is axiomatizable in (finitary) coherent logic then λ\lambda -pure maps are strict monomorphisms and ii)ii) if there is a proper class of strongly compact cardinals and A\mathcal{A} is λ\lambda -accessible then for some μλ\mu \vartriangleright \lambda every μ\mu -pure map is a strict monomorphism.

Keywords

Cite

@article{arxiv.2407.13448,
  title  = {Pure maps are strict monomorphisms},
  author = {Kristóf Kanalas},
  journal= {arXiv preprint arXiv:2407.13448},
  year   = {2025}
}
R2 v1 2026-06-28T17:45:55.247Z