{-# OPTIONS --without-K --safe #-}

module Categories.Functor.Presheaf where

open import Categories.Category
open import Categories.Functor

Presheaf : ∀ {o ℓ e} {o′ ℓ′ e′} (C : Category o ℓ e) (V : Category o′ ℓ′ e′) → Set _
Presheaf C V = Functor C.op V
  where module C = Category C