De Peter Arndt
We explore criteria for the axiomatizability of images of functors by kappa-geometric sequents. We observe that under mild hypotheses functors between accessible categories can be assumed to be induced by a kappa-geometric morphism between classifying kappa-toposes, and we arrive at our criteria using the factorization of this morphism into a surjection, followed by a dense inclusion, followed by a closed inclusion.
De Dustin Clausen
De Riccardo Zanfa
De Jean-Claude Belfiore
De Daniel Bennequin
De Samson Abramsky
De Jens Hemelaer
De Francesco Genovese
De Albert Schwarz
De Clément Delcamp
De Clément Delcamp
