data-category-0.3.0.2: Restricted categories

Portabilitynon-portable
Stabilityexperimental
Maintainersjoerd@w3future.com

Data.Category.Comma

Description

Comma categories.

Documentation

data CommaO whereSource

Constructors

CommaO :: (Cod t ~ ~>, Cod s ~ ~>) => Obj (Dom t) a -> ((t :% a) ~> (s :% b)) -> Obj (Dom s) b -> CommaO t s (a, b) 

data :/\: whereSource

Constructors

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

Instances

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

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