Copyright | (c) 2018 Justus Sagemüller |
---|---|
License | GPL v3 (see COPYING) |
Maintainer | (@) jsag $ hvl.no |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
Documentation
data Discrete a b where Source #
The discrete category is the category with the minimum possible amount
of arrows: for any given type, there is Category
, and that's all.
You can use this to provide a proof that some endomorphism (of not closer
specified category) is the identity.