Mark Weber, “Yoneda Structures from 2-toposes.”
In this paper, a 2-topos is a finitely complete 2-category which is cartesian closed, has a duality involution, and a classifying discrete opfibration.
Created on January 27, 2009 at 03:04:56. See the history of this page for a list of all contributions to it.