The 2-stack of stacks

Alexander Campbell – 27 September 2017

The topic of this expository talk is a proof using factorisation systems (a la Cassidy--Hebert--Kelly) that sheaves over a site form a stack over that site. I will also show how to lift this proof to the next categorical level to prove that stacks over a site form a 2-stack over that site.