Re: Existence of (co)product
- From: "Arturo Magidin" <magidin@xxxxxxxxxxxxxxxxx>
- Date: 13 Feb 2006 11:49:17 -0800
Marc Olschok wrote:
Arturo Magidin <magidin@xxxxxxxxxxxxxxxxx> wrote:
[.snip.]
Each prime field is initial in Field if you allow the
zero map:[...]
Certainly not, because in this case there would be two different
maps 0: F --> F and id: F --> F for every such field.
Quite right; my bad.
It is easier to consider for a fixed characteristic p the category
Field_p of all fields with that characteristic. Then the respective
prime field is initial in that category.
If we do not allow the zero map.
Arturo Magidin, sans .sig
.
- References:
- Existence of (co)product
- From: kj
- Re: Existence of (co)product
- From: Ryan Reich
- Re: Existence of (co)product
- From: Marc Olschok
- Re: Existence of (co)product
- From: kj
- Re: Existence of (co)product
- From: Arturo Magidin
- Re: Existence of (co)product
- From: Marc Olschok
- Existence of (co)product
- Prev by Date: Re: Boat names
- Next by Date: Re: What Software to Type Math In?
- Previous by thread: Re: Existence of (co)product
- Next by thread: Re: Existence of (co)product
- Index(es):
Relevant Pages
|
