Category of commutative groupoids is binding
The problem whether every topological space has a compactification such that every continuous mapping from into a compact space has a continuous extension from into is answered in the negative. For some spaces such compactifications exist.