Go back to the tag's page.
Tags: added new tags
Flattening functor is sheaf
Flattening functors This commit just makes explicit the functors we are going to use lated in the chapter.