Kenney, Toby (2007) *COPOWER OBJECTS AND THEIR APPLICATIONS TO FINITENESS IN TOPOI.* [Preprint]

| PDF Download (298Kb) | Preview |

## Abstract

In this paper, we examine a new approach to topos theory – rather than considering subobjects, look at quotients. This leads to the notion of a copower object, which is the object of quotients of a given object. We study some properties of copower objects, many of which are similar to the properties of a power objects. Given enough categorical structure (i.e. in a pretopos) it is possible to get power objects from copower objects, and vice versa. We then examine some new definitions of finiteness arising from the notion of a copower object. we will see that the most naturally occurring such notions are equivalent to the standard notions, K-finiteness (at least for well-pointed objects) and eK -finiteness, but that this new way of looking at them gives new information, and in fact gives rise to another notion of finiteness, which is related to the classical notion of an amorphous set – i.e. an infinite set that is not the disjoint union of two infinite sets. Finally, We look briefly at two similar notions: potency objects and per objects.

Item Type: | Preprint |
---|---|

Additional Information: | pubdom TRUE |

Uncontrolled Keywords: | AARMS, Topoi, Finiteness, Copower objects |

Subjects: | 18-xx Category theory, homological algebra 03-xx Mathematical logic and foundations |

Faculty: | UNSPECIFIED |

Depositing User: | lingyun ye |

Date Deposited: | 09 Jul 2007 |

Last Modified: | 27 Apr 2010 16:37 |

URI: | https://docserver.carma.newcastle.edu.au/id/eprint/361 |

### Actions (login required)

View Item |