𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Hereditary categories with tilting object

✍ Scribed by Dieter Happel; Idun Reiten


Book ID
105743315
Publisher
Springer-Verlag
Year
1999
Tongue
French
Weight
219 KB
Volume
232
Category
Article
ISSN
0025-5874

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Monoidal categories with natural numbers
✍ Robert ParΓ©; Leopoldo RomΓ‘n πŸ“‚ Article πŸ“… 1989 πŸ› Springer Netherlands 🌐 English βš– 712 KB

The notion of a natural numbers object in a monoidal category is defined and it is shown that the theory of primitive recursive functions can be developed. This is done by considering the category of cocommutative comonoids which is cartesian, and where the theory of natural numbers objects is well