Sheaves of sheaves

148 Views Asked by At

Learning about sheaves it was said that one can define sheaves with values in an arbitrary category, so for me it is „natural“ to ask wether one could take as the category „sheaves of abelian groups“. Does this lead to any useful notions and if so, what about „sheaves of sheaves of sheaves ... of sheaves of abelian groups“? Thanks!