Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Rif A. Saurous

About

Comments

  • 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?