A note on natural numbers objects in monoidal categories |
| |
Authors: | C. Barry Jay |
| |
Affiliation: | (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 等数据库收录! |
|