Politics.be - category theory toegepast op juridische constructies

Mathematical structuralism voorloper van de category theory8O

"JE MOET DE WET ABSTRACTO AXIOMATISCH BESTUDEREN,alleen dan ben je vruchtbaar bezig ,vandaar category toegepast op rechts constructies.:roll:

According to Hellman the contemporary mathematical structuralism is
[..] a view about the subject matter of mathematics according to which what matters are structural relationships in abstraction from the intrinsic nature of the related objects.Mathematics is seen as the free exploration of structural possibilities, primarily through creative concept formation, postulation, and deduction.

Hilbert's Axiomatic Method combines two ideas: one is the idea of mathematical structure as an invariant of some group of transformations,
and the other is the idea of logic .

Remind the Bourbaki's intention to get rid of the set-theoretic background of structural mathematics and work with \pure structures" whatever this might mean. Apparently the notion of category makes this structuralist dream true.

Klein's fundamental idea was that to study a geometry, one had to look at its group of transformations and, furthermore, the geometric properties of that geometry are those which are invariant under the group of transformations. This seems to be the core of the generalization that Eilenberg and Mac Lane had in mind.

The categorical counterpart of invariance is rather functoriality that splits into
covariance and contravariance

bron . Andrei Rodin

Juridische constructies moeten dus gebaseerd zijn op de hiervoor genoemde princiepes.