Jencel Panic<p>I will be writing about learning <a href="https://mathstodon.xyz/tags/topology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>topology</span></a> via <a href="https://mathstodon.xyz/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> and <a href="https://mathstodon.xyz/tags/categorytheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>categorytheory</span></a> </p><p>First, some resources:</p><p>Tai-Danae Bradley, Tyler Bryson, and John Terilla: <br><a href="https://topology.mitpress.mit.edu/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">topology.mitpress.mit.edu/</span><span class="invisible"></span></a></p><p>Vickers: <a href="https://archive.org/details/topologyvialogic0000stev/page/210/mode/1up" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">archive.org/details/topologyvi</span><span class="invisible">alogic0000stev/page/210/mode/1up</span></a> (not free)</p><p>Amity Aharoni Rodrigo Nicolau Almeida Søren Brinck Knudstorp : <a href="https://knudstorp.github.io/pdfs/Lecture%20notes,%20Introduction%20to%20Topology%20in%20and%20via%20Logic.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">knudstorp.github.io/pdfs/Lectu</span><span class="invisible">re%20notes,%20Introduction%20to%20Topology%20in%20and%20via%20Logic.pdf</span></a></p><p><a href="https://mathstodon.xyz/tags/TopologyViaLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TopologyViaLogic</span></a></p>