# Contents

## Definition

The forgetful functor $\Gamma : Top \to Set$ from Top to Set that sends any topological space to its underlying set has a left adjoint $Disc : Set \to Top$ and a right adjoint $Codisc : Set \to Top$.

$(Disc \dashv \Gamma \dashv Codisc) : Top \stackrel{\overset{Disc}{\leftarrow}}{\stackrel{\overset{\Gamma}{\to}}{\underset{Codisc}{\leftarrow}}} Set \,.$

For $S \in Set$

• $Disc(S)$ is the topological space on $S$ in which every subset is an open set

this is called the discrete topology on $S$, it is the finest topology on $S$; $Disc(S)$ is called a discrete space;

• $Codisc(S)$ is the topological space on $S$ whose only open sets are the empty set and $S$ itself

this is called the codiscrete topology on $S$ (also indiscrete topology or trivial topology), it is the coarsest topology on $S$; $Codisc(S)$ is called a codiscrete space .

For an axiomatization of this situation see codiscrete object.

## Properties

###### Example

Let $S$ be a set and let $(X,\tau)$ be a topological space. Then

1. every continuous function $(X,\tau) \longrightarrow Disc(S)$ is locally constant;

2. every function (of sets) $X \longrightarrow CoDisc(S)$ is continuous.

Revised on April 5, 2017 13:29:16 by Urs Schreiber (78.47.168.108)