non-Hausdorff manifold

generalization of manifolds