Abstract
In the program to develop enriched category theory in a topos E it seems worthwhile to study the two particular bases Ω and R+; that is, the ordered objects of truth values and of non-negative extended reals with their appropriate monoidal structures. Categories in E enriched in Ω are ordered objects in E, and it is this example we wish to study here.
Original language | English |
---|---|
Pages (from-to) | 275-288 |
Number of pages | 14 |
Journal | Pacific Journal of Mathematics |
Volume | 124 |
Issue number | 2 |
DOIs | |
Publication status | Published - Jun 1986 |