Talk:Topological half-exact functor