@inproceedings{ffd59a1e8f39422d86ecafa0f6c9948d,

title = "Quasitoposes, quasiadhesive categories and Artin glueing",

abstract = "Adhesive categories are a class of categories in which pushouts along monos are well-behaved with respect to pullbacks. Recently it has been shown that any topos is adhesive. Many examples of interest to computer scientists are not adhesive, a fact which motivated the introduction of quasiadhesive categories. We show that several of these examples arise via a glueing construction which yields quasitoposes. We show that, surprisingly, not all such quasitoposes are quasiadhesive and characterise precisely those which are by giving a succinct necessary and sufficient condition on the lattice of subobjects.",

author = "Johnstone, {Peter T.} and Stephen Lack and Pawel Soboci{\'n}ski",

year = "2007",

language = "English",

isbn = "9783540738572",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Springer Nature",

pages = "312--326",

editor = "T. Mossakowski and U. Montanari and M. Haveraaen",

booktitle = "Algebra and Coalgebra in Computer Science - Second International Conference, CALCO 2007, Proceedings",

address = "United States",

note = "2nd International Conference on Algebra and Coalgebra in Computer Science, CALCO 2007 ; Conference date: 20-08-2007 Through 24-08-2007",

}