Steven Vickers

activity

20142023

most citedGeometric constructions preserve fibrations

1 citations · 2 across the 3 of their papers we have counts for

collaborators

Showing math.CTShow all

2 papers · 1 filter

math.CT2017★ 1 cited

Arithmetic universes and classifying toposes

Steven Vickers

Reasoning in the 2-category Con of contexts, certain sketches for arithmetic universes (i.e. list arithmetic pretoposes; AUs), is shown to give rise to base-independent results of…

math.CT2014★ 1 cited

Geometric constructions preserve fibrations

Bertfried Fauser, Steven Vickers

Let $C$ be a representable 2-category, and $T_{∙}$ a 2-endofunctor of the arrow 2-category $C^{↓}$ such that (i) $\mathsf{cod} \mathfrak{T…