+++
title = "Presheaf"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["4d2c"]
forwardlinks = []
zettelid = "4d2d"
+++

A presheaf is a functor from the co-category to the category of sets.
This means that it can be expressed as the following:

$C^{\mathit{op}}\rightarrow \mathit{Set}$