加载中…
Given a functor and a model-theoretic independence relation on , we can lift that independence relation along to by declaring a commuting square in to be independent if its image under is independent. For each property that an independence relation can have we give assumptions on the functor that guarantee the property to be lifted.

生成讲解博客的中文版本

生成AI智能校验的中文版本