Hask.Tensor.Day

Day Convolution

class FunctorOf c (->) f => CopresheafOf c f

Instances

FunctorOf k * c (->) f => CopresheafOf k c f

data Day t f g a where

Constructors

Day :: (Dom t ~ c, CopresheafOf c f, CopresheafOf c g, Ob c x, Ob c y) => c (t x y) a -> f x -> g y -> Day t f g a

Instances

((~) (k -> k -> *) (Dom k (k -> k) t) c, CopresheafOf k c f, CopresheafOf k c g) => Functor k * (Day k t f g)

(Semitensor k t, (~) (k -> k -> *) (Dom k (k -> k) t) c, Category k c) => Semitensor (k -> *) (Day k t)

((~) (k -> k -> *) (Dom k (k -> k) t) c, Category k c) => Functor (k -> *) ((k -> *) -> k -> *) (Day k t)

((~) (k -> k -> *) (Dom k (k -> k) t) c, CopresheafOf k c f) => Functor (k -> *) (k -> *) (Day k t f)

type Dom k * (Day k t f g) = Dom k (k -> k) t

type Cod k * (Day k t f g) = (->)

type Dom (k -> *) ((k -> *) -> k -> *) (Day k t) = Copresheaves k (Dom k (k -> k) t)

type Cod (k -> *) ((k -> *) -> k -> *) (Day k t) = Nat (k -> *) (k -> *) (Copresheaves k (Dom k (k -> k) t)) (Copresheaves k (Dom k (k -> k) t))

type Dom (k -> *) (k -> *) (Day k t f) = Copresheaves k (Dom k (k -> k) t)

type Cod (k -> *) (k -> *) (Day k t f) = Copresheaves k (Dom k (k -> k) t)