{-|
A functor to **Set** from some other category.
-}
let kCat = ../Category/Cat/semigroupal

let vObject = Type

in  λ(object : Kind) →
    λ(v : ../Category/Kind kCat Type vObject) →
    λ(cat : ../Category/Kind kCat vObject object) →
      ./Type
        vObject
        object
        Type
        v
        cat
        ( ../Category/Monoidal/Cartesian/extractCategory
            kCat
            vObject
            Type
            ../Category/Set/monoidal/cartesian
        )