RFC: `smash-categories` Project
emilypi opened this issue · comments
This issue is for an additional smash-categories
project, defining the following:
- instances for the tensor-hom adjunctions in Hask*
- representable/distributive/* instances from the extended Kmettoverse
Category
definition for both variants of pointed Hask- Types, definitions, other specs? We will probably need to write newtypes a la
newtype Marrow a b = MArrow
{ runMarrow :: Maybe a -> Maybe b
}
newtype EMarrow a b = EMarrow
{ runEMarrow :: (a, Maybe a -> b)
}
see adjunctions, distributive, categories, void
I'll create the project structure and you can have at it