From dccbebb81e9241b9b7b2140b77a818befe6e5a0a Mon Sep 17 00:00:00 2001 From: Preston Pan Date: Mon, 30 Mar 2026 17:31:14 -0700 Subject: sweep --- mindmap/limit.org | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'mindmap/limit.org') diff --git a/mindmap/limit.org b/mindmap/limit.org index d0f6679..be543ad 100644 --- a/mindmap/limit.org +++ b/mindmap/limit.org @@ -4,6 +4,7 @@ #+title: limit #+author: Preston Pan #+description: Pushing math to its limit +#+LATEX_HEADER: \usepackage{tikz-cd} #+options: broken-links:t @@ -151,5 +152,8 @@ different /kinds/ of limits enables oneself to draw on connections between limit set is exactly the same set with all its limit points included, and both closures, and as we will see, limits, are /idempotent/, which is to say, applying them once is the same thing as applying them twice. Note that if $f: X \rightarrow Y$ where $Y$ is any topological space and $f$ is any continuous function, then $\beta f(X) = f(\beta X)$, which one can represent with a commutative diagram, where $\beta f$ is the /unique extension/ of the mapping $f$. Actually, in a moment -we will see that the funcor commuting is equivalent to the /limit/ commuting. +we will see that the functor commuting is equivalent to the /limit/ commuting on nets. + +*** The Universal Property +We say the following diagram commutes: -- cgit v1.3