|
Control.Category.Object | Portability | non-portable (either class-associated types or MPTCs with fundeps) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
This module declares the HasTerminalObject and HasInitialObject classes.
These are defined in terms of class-associated types rather than functional dependencies
because most of the time when you are manipulating a category you don't care about them;
this gets them out of the signature of most functions that use the category.
Both of these are special cases of the idea of a (co)limit.
|
|
Synopsis |
|
|
|
Documentation |
|
|
The Category k has a terminal object Terminal k such that for all objects a in k,
there exists a unique morphism from a to Terminal k.
| | Methods | |
|
|
|
The Category k has an initial (coterminal) object Initial k such that for all objects
a in k, there exists a unique morphism from Initial k to a.
| | Methods | |
|
|
Produced by Haddock version 2.4.2 |