FOM: Cat.Thy as logic of wholes and parts.

Robert Tragesser RTragesser at
Sat Jan 24 06:02:37 EST 1998

        Give the applications of Cat
in life science,  physics,  computer
science,  the following _natural_
interpretation suggests itself:
        the logic of (in general, dynamic)
wholes and parts,  in contrast to
SET as the logic of unit-like objects
and collections of unit-like objects
(which collections are themselves are
unit-like and also are such that the
question How many? has a definite answwr
for them(the collections)).
        Read: A f-arrow B as "A
is an f-part of B".

More information about the FOM mailing list