FOM: Cat.Thy as logic of wholes and parts.
RTragesser at compuserve.com
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