content/zettel/4d2d.md


1
2
3
4
5
6
7
8
9
10
11
12
13
14

+++
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}$