# HG changeset patch
# User HackBot
# Date 1445792716 0
# Node ID 94b14270f52968b05944064458290529dd06807f
# Parent  83563f3a5b2b8989606c9ad528555d0fa9abecbe
<tswett> learn Topology is another name for topos theory.

diff -r 83563f3a5b2b -r 94b14270f529 wisdom/topology
--- a/wisdom/topology	Sun Oct 25 17:04:56 2015 +0000
+++ b/wisdom/topology	Sun Oct 25 17:05:16 2015 +0000
@@ -1,1 +1,1 @@
-Topology is the study of toposes.
+Topology is another name for topos theory.