A precise concept of concrete geometrical category is introduced in an axiomatic way. To any algebra L for an many-sorted infinitary algebraic theory T is associated a concrete geometrical category Geo(L), the so-called classifying concrete geometrical category of L, satisfying a universal property. The terminology "geometrical" is justified firstly for Geo(L) and secondly for any concrete geom...

INTRODUCTION Automatic segmentation of human anatomical structures is a challenging problem in medical images analysis. At the state of the art some semiautomatic and few automatic procedures have been developed, based on different techniques as threshold, clusters, deformable models and probabilistic methods [1]. Depending on the acquisition technique and on the anatomical structure, these met...