User blog comment:Rgetar/Higher weakly inaccessible and weakly Mahlo cardinals/@comment-28606698-20200106214759/@comment-35470197-20200107091649

> κ↦I_κ(0) or κ↦I(κ,0,0)

I note that they are not normal functions, and hence the existence of their fixed points is not straightforward from the weak Mahloness in that formulation. (The existence actually holds, though.)