Yeah, maybe it makes more sense. B’ would be just a subcategory of B that is sufficient for defining (?) Xp (something like Markov blanket of Xp?). The (endo-)functor from B’ to B would be just identity and the relationship between Xp and [Xp] would be represented by a natural transformation?
Yeah, maybe it makes more sense. B’ would be just a subcategory of B that is sufficient for defining (?) Xp (something like Markov blanket of Xp?). The (endo-)functor from B’ to B would be just identity and the relationship between Xp and [Xp] would be represented by a natural transformation?