Hi. How can I learn more about the connection between lenses and supervised learning?
Also, how does etiquette work on these forums. Going back a couple of comments, I see links like @Bob, which feel like they should point to profiles and ideally a…
I see I'm a couple weeks back. Are folks still discussing chapter 2? I notice that most of the exercises haven't been done as of now. I've done a few them, but I definitely have questions about some and would be happy to find co-discussants.
@FrederickEisele, I'm having trouble following your proof. At line E4, you've proved \(x \leq g_0(x) \Longleftrightarrow x \leq g_1(y)\) for arbitrary \(x \leq z\), but then you choose \(x = g_0(y)\). How do we know that \(g_0(y) \leq z\)?
Thanks John! I am having a good time with the lectures, and also Chapter 1 of the Fong & Spivak book. I think I'm making good progress, and so far it's about my speed --- not trivial but not too far beyond me.
OK, I took a look. Jerry was pretty on. 67 is now 66, and all of exercises 72, 75, 77, 79, 80, 82, 83, 85, 87, 90, 91, 96, 97 in the "old ordering" needed 5 added to their numbers, so I edited the numbers in the wiki. All the forum links need their…
OK, later today, I'll try to go through exercises 67-97 on the APC page, edit the wiki page as appropriate, and leave comments on the wiki page if I'm not sure. I'll ping this thread again when I'm done.
Ah, I see. I was trying to edit this forum page, but of course I can't. I can edit http://www.azimuthproject.org/azimuth/show/Applied+Category+Theory. John, maybe better to edit your first post in this thread to make clear the right place to find li…
Jerry, I'm willing to do some of this, but I'm a bit confused: I don't actually see how to edit the page. I see John's comment at the top ("Just go down to the bottom of the bottom of the page and click "Edit". You can probably figure out what to do…
Thanks Matthew! I'll take a look. Is there an ongoing discussion? A search indicates maybe it's buried in the "Categories for the Working Hacker" thread?