Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | sjoerd@w3future.com |
A Peano category as in When is one thing equal to some other thing?
Barry Mazur, 2007
Documentation
data PeanoO (~>) a whereSource
PeanoO :: (TerminalObject ~> ~> x) -> (x ~> x) -> PeanoO ~> x |
HasTerminalObject ~> => Category (Peano ~>) | The |
HasInitialObject (Peano (->)) | The natural numbers are the initial object for the |