#nLab has an entry on #Currying, but it doesn't (seem to?) mention a sum type #dual. https://ncatlab.org/nlab/show/currying #CategoryTheory

@haskman gotta love the #nlab https://ncatlab.org/nlab/show/carrying

I've wanted something like this for a long time, and today I finally got around to figuring out stylus and making a (very simple) #DarkMode style for the #nLab. If you're one of the other people with this narrow intersection of interests, check it out!

https://userstyles.world/style/7543/nlab-dark-mode

I'm sure it can be improved :) I decided this is a case where something shoddy is still way better than nothing, so here we are.

I've long known #nLab but still not found how it could be useful for me. How should I develop the nPOV brain?

I haven't seen *nearly* enough #CategoryTheory here, and almost nothing from the #nLab !! So here are some of my most-visited pages, according to my browser history.

https://ncatlab.org/nlab/show/Thomason+model+structure

(weak equivalences created by taking nerves)

https://ncatlab.org/nlab/show/multicategory

(morphisms can have n-ary source for n > 1)

https://ncatlab.org/nlab/show/simplicial+object

(combinatorial version of topological space)

https://ncatlab.org/nlab/show/Grothendieck+construction

(convert a general functor into a fibration of slice categories)