Category:Compact Space is Weakly Locally Compact