Code

Point-set topology#424

Code

Draft

TOTBWF wants to merge 9 commits intomainthe1lab/1lab:mainfrom topologythe1lab/1lab:topologyCopy head branch name to clipboard

+1,238-4

Commits

Commits on Aug 2, 2024

• wip: define Top

  TOTBWF

  committed
  fedad73

• wip: some junk

  TOTBWF

  committed
  4ee860e

• wip: hausdorff spaces

  TOTBWF

  committed
  486544f

Commits on Aug 3, 2024

• wip: rework how topologies are defined

  TOTBWF

  committed
  652466a

Commits on Aug 5, 2024

• wip: induced topologies

  TOTBWF

  committed
  d434e0f

Commits on Aug 8, 2024

• wip: more stuff on topologies

  TOTBWF

  committed
  6d27c35

• def: cofree objects

  TOTBWF

  committed
  f7e7367

• def: (co)discrete topologies, epis/monos in Top

  TOTBWF

  committed
  6d28e62

Commits on Aug 9, 2024

• def: product topologies

  TOTBWF

  committed
  013302a