2 papers
math.CT2019
Enriched Sets and Higher Categories
Bradley M. Willocks
We introduce the notion of an enriched set, as an abstraction of enriched categories, and a category of enriched sets. The set of enriched sets is itself described as a set enriche…
math.CT2017
A Categorical Formulation of Algebraic Geometry
Bradley M. Willocks
We construct a category, , of which the objects are pointed categories and the arrows are pointed correspondences. The notion of a "spec datum" is introduced, as a certain relat…