Michael Shulman
WeberYS2T

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 03:04:56 by Mike Shulman (75.3.140.11)