Category of compactly generated weak Hausdorff spaces¶

A convenient category of spaces whose topology is detected by compact Hausdorff probes and whose compact images are closed.

Version: v2 · 2026-09-19 · History
Domain-specific #: 3614
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Algebraic Topology → Mathematics

Core Idea¶

CGWH spaces combine compact generation with weak Hausdorff separation, and morphisms are continuous maps; products and function spaces are adjusted to remain inside the category. Kelleyfication repairs ordinary product and mapping-space behavior, giving a cartesian closed setting well suited to homotopy constructions. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

The load-bearing residual is not the broad topic of algebraic topology. It is the domain-specific identity determined by objects satisfy compact generation and weak Hausdorffness and categorical limits, colimits, and exponentials use the declared CGWH constructions.

How would you explain it like I'm…

The Well-Behaved Shape Club

Some mathematicians study stretchy shapes. They picked a special club of well-behaved shapes where some important building tricks — like pairing two shapes up, or collecting all the ways to go from one shape to another — always work nicely. Sometimes the result has to be fixed up a little so it stays in the club.

Spaces That Combine Neatly

In topology, mathematicians study shapes where only closeness matters, not exact size. If you allow all possible such spaces, some basic ways of building new spaces — like multiplying two spaces together, or making a space out of all the maps between two spaces — can misbehave. The category of compactly generated weak Hausdorff spaces is a chosen family of well-behaved spaces. It uses two niceness conditions: the space is fully described by its small, tidy pieces (compact generation), and a gentle separation rule (weak Hausdorff). The building operations are slightly adjusted so the result always stays in the family and behaves well, which is very handy for studying shapes up to stretching.

Convenient Category of Spaces

The category of compactly generated weak Hausdorff (CGWH) spaces is a replacement for the category of all topological spaces, chosen because it behaves better. Its objects are spaces that satisfy two conditions: compact generation (the topology is determined by how the space looks when tested by compact pieces) and weak Hausdorffness (a mild separation property). Its morphisms are continuous maps. In ordinary topology, products and spaces of maps don't always interact well; in CGWH, products and function spaces are modified — a process called Kelleyfication — so they stay inside the category and interact properly. The result is 'cartesian closed', meaning maps from a product correspond neatly to maps into a function space, which makes it well suited for homotopy theory. To work in it correctly, you must use its adjusted constructions, not the ordinary topological ones.

The category CGWH has as objects topological spaces that are both compactly generated and weak Hausdorff, and as morphisms continuous maps. The ordinary product topology and compact-open mapping-space topology do not behave well here, so constructions are modified: the Kelleyfication (k-ification) functor retopologizes a space by its compact pieces, and products, limits, colimits and exponentials are taken in their CGWH-adjusted forms. With these declared constructions the category is cartesian closed, so the exponential law holds and mapping spaces interact correctly with products. This makes CGWH a convenient category for homotopy constructions. Membership requires both object conditions and the use of the CGWH versions of limits, colimits and exponentials; applying ordinary topological constructions to CGWH spaces gives a different, unintended object.

Scope of Application¶

Category of compactly generated weak Hausdorff spaces belongs to algebraic topology and is useful where the analyst can specify the typed algebraic topology carrier, defining objects and relations, parameters, conventions, evidence, boundary cases and comparison targets, then evaluate objects satisfy compact generation and weak Hausdorffness and categorical limits, colimits, and exponentials use the declared CGWH constructions. The scope is broad within that domain but bounded by the need for objects satisfy compact generation and weak Hausdorffness and categorical limits, colimits, and exponentials use the declared CGWH constructions. The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

Clarity¶

The abstraction clarifies a crowded vocabulary by making objects satisfy compact generation and weak Hausdorffness and categorical limits, colimits, and exponentials use the declared CGWH constructions the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test. A bare label is insufficient because the name Category of compactly generated weak Hausdorff spaces can be used for a formal identity, an implementation, or a neighboring result unless carrier and convention are stated.

Manages Complexity¶

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Category of compactly generated weak Hausdorff spaces. Category of compactly generated weak Hausdorff spaces compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning¶

Identify the carrier. State what the elements, states, objects, or observations are: the typed algebraic topology carrier, defining objects and relations, parameters, conventions, evidence, boundary cases and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
Lock the constitutive rule. Express objects satisfy compact generation and weak Hausdorffness and categorical limits, colimits, and exponentials use the declared CGWH constructions independently of one notation or implementation.

Knowledge Transfer¶

Knowledge transfers strongly among subfields of algebraic topology because they reuse the typed algebraic topology carrier, defining objects and relations, parameters, conventions, evidence, boundary cases and comparison targets, Kelleyfication repairs ordinary product and mapping-space behavior, giving a cartesian closed setting well suited to homotopy constructions., and type the carrier, state every parameter and convention in the definition, test that objects satisfy compact generation and weak Hausdorffness and categorical limits, colimits, and exponentials use the declared CGWH constructions, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions¶

Current abstraction Category of compactly generated weak Hausdorff spaces Domain-specific

Parents (1) — outgoing typed relations

Category of compactly generated weak Hausdorff spaces is a kind of Classification Prime

What makes it its own entry: the domain-specific identity determined by objects satisfy compact generation and weak Hausdorffness and categorical limits, colimits, and exponentials use the declared CGWH constructions.

Hierarchy path (1) — routes to 1 parentless root

Category of compactly generated weak Hausdorff spaces → is a kind of Classification

Neighborhood in Abstraction Space¶

Category of compactly generated weak Hausdorff spaces sits in a crowded region of the domain-specific corpus (5^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Algebraic Topology & K-Theory (26 abstractions)

Nearest neighbors

H-closed space — 0.94
CW complex — 0.93
Rational homotopy theory — 0.93
Simple space — 0.92
Homeotopy — 0.92

Computed from structural-signature embeddings · 2026-10-25