DocServer

COPOWER OBJECTS AND THEIR APPLICATIONS TO FINITENESS IN TOPOI

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

[img]
Preview
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