Categories within +GF+ MIKRON