|
|||||
|
|
|
|
|
|
|
|
|
Order ideals in
categories
Aurelio Carboni and Ross Street |
|
Vol. 124 (1986), No. 2, 275–288
|
Abstract |
|
In the program to develop enriched category theory in a topos ℰ 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 ℰ enriched in Ω are ordered objects in ℰ, and it is this example we wish to study here. |
Mathematical Subject Classification 2000
Primary: 18D25
Secondary: 03G30, 18D20
|
Milestones
Received: 15 February 1984
Published: 1 October 1986
|
Authors |
| Aurelio Carboni | |
| Ross Street | |
| Department of Mathematics Macquarie University 2109 Australia |
|
| www.maths.mq.edu.au/~street | |
|
