Timeline for Reference request: filter tends to filter along map
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 24, 2019 at 16:54 | comment | added | Martin Sleziak | I suppose I am mentioning something you know very well, but I will just point out that the cases where $\mathcal F$ is the system of all neighborhoods of a given point (your examples 1 and 2) are simply convergence of the function $\phi$ w.r.t. the filter $\mathcal G$. You can find a bit more here: Where has this common generalization of nets and filters been written down? | |
| Mar 11, 2019 at 22:47 | vote | accept | Kevin Buzzard | ||
| Mar 11, 2019 at 22:11 | answer | added | Joseph Van Name | timeline score: 5 | |
| Mar 11, 2019 at 21:41 | history | asked | Kevin Buzzard | CC BY-SA 4.0 |