About Sheaf Theory OpenCog implementation