Table of Contents Table of Contents
Previous Page  88 / 298 Next Page
Information
Show Menu
Previous Page 88 / 298 Next Page
Page Background

Horst Steinke

88

5.1

The “mathematics of relationships”

The conceptual tool that would seem to offer itself in meeting

our needs of untangling the trichotomous nexus, at least in theo-

ry, can be found in the “mathematics of relationships”

167

. Alt-

hough, strictly speaking, it is not the only branch of mathematics

that describes and systematizes relationships, for our present

purposes the branch of

category theory

will play the most important

role

168

. This role, however, needs to be qualified and circum-

scribed right from the beginning: we are not interested in the

mathematical formalisms themselves but rather in their underly-

ing general conceptual insights that allow making distinctions be-

tween different types of relations. In a way, the epistemic move-

ment pursued here is thus in the opposite direction of the origi-

nal intent of category theory which put mathematical structure

around the informal notion of relations between entities of dif-

ferent kinds. We are, in effect, taking certain mathematical pro-

cesses that are part of the theory, strip them of their formalism,

and keep only their essential “logic”. As a result, what we are left

with are new tools to probe the problematic of Vico’s trichoto-

my, in order to supplement and complement metaphorical de-

scriptions

169

.

Unlike categories in earlier philosophical inquiry

170

, at least to

a relative degree, in the current incarnation categories consist not

only of “entities”, understood in the broadest of senses

171

, but

also of particular types of relationships. These special kinds of

relations take the form of

transformations

or

morphisms

. As the term

implies, the relations in view are not static or simply fixed in time

but amenable to variation and being acting upon, and acted with.

The standard definition of a category, therefore, typically begins

with a statement like: «A category consists of objects A, B, […]

and morphisms f, g, […]»

172

. An intuitive example of an elemen-

tary category – however only when viewed in isolation – is the

temperature scale on a thermometer: its

objects

are numbers, its