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
Category ~> => Category (Peano ~>) | |
HasInitialObject (Peano (->)) |
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
Category ~> => Category (Peano ~>) | |
HasInitialObject (Peano (->)) |