data-category-0.2.0: Restricted categories

Portabilitynon-portable
Stabilityexperimental
Maintainersjoerd@w3future.com

Data.Category.Comma

Description

Comma categories.

Documentation

data :/\: whereSource

Constructors

CommaA :: Obj (t :/\: s) (a, b) -> Dom t a a' -> Dom s b b' -> Obj (t :/\: s) (a', b') -> (t :/\: s) (a, b) (a', b') 

Instances

(Category (Dom t), Category (Dom s)) => Category (:/\: t s) 

type ObjectsFUnder f a = ConstF f a :/\: fSource

type ObjectsFOver f a = f :/\: ConstF f aSource

type ObjectsUnder c a = Id c `ObjectsFUnder` aSource

type ObjectsOver c a = Id c `ObjectsFOver` aSource