2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/30641In this paper are briefly outlined the motivations, mathematical ideas in use, pre-formalization and assumptions, object-as-functor construction, `soft' types and concept constructions, case study for concepts based on variable domains, extracting a computational background, and examples of evaluations.Logic in Computer ScienceDatabasesProgramming LanguagesD.3.1; F.1; F.4.1; D.1.1; H.2.1text