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

July 18, 2024

Loading full text...

Similar articles

Loading recommendations...

x1

Pure maps are strict monomorphisms

Click on play to start listening