License | BSD-style (see the file LICENSE) |
---|---|
Maintainer | sjoerd@w3future.com |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Documentation
Category Unit Source # |
|
HasBinaryCoproducts Unit Source # | In the category of one object that object is its own coproduct. |
HasBinaryProducts Unit Source # | In the category of one object that object is its own product. |
HasInitialObject Unit Source # | The category of one object has that object as initial object. |
HasTerminalObject Unit Source # | The category of one object has that object as terminal object. |
Category k => HasColimits Unit k Source # | The colimit of a single object is that object. |
Category k => HasLimits Unit k Source # | The limit of a single object is that object. |
type InitialObject Unit Source # | |
type TerminalObject Unit Source # | |
type BinaryCoproduct Unit () () Source # | |
type BinaryProduct Unit () () Source # | |
type ColimitFam Unit k f Source # | |
type LimitFam Unit k f Source # | |