Characterizing Van Kampen Squares via Descent Data

Harald König, Uwe Wolter, Michael Löwe

Categories in which cocones satisfy certain exactness conditions w.r.t. pullbacks are subject to current research activities in theoretical computer science. Usually, exactness is…