|
|||||
|
|
A note on natural numbers objects in monoidal categories |
|
| Authors: | C Barry Jay |
| Institution: | (1) Department of Mathematics, University of Ottawa, 585 King Edward, KIN 6N5 Ottawa, Canada |
| Abstract: | The internal language of a monoidal category yields simple proofs of results about a natural numbers object therein. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |