A categorical model of Adaptive Educational Hypermedia Systems in Biomedical Engineering Project

This paper presents a formal model to specification of Adaptive Educational Hypermedia Systems (AEHS) in Biomedical Engineering Project. This approach use Categories Theory (CT) that offers a high generality degree and abstraction inside the resolution of problems in any domain of hypermedia applications. The AEHS categorization is realized in several levels, with formalism in different structures can be considered; therefore the categorical language simplifies the abstraction, assisting in uniform formulation definition at conception of these systems.