Various additions to functors#246

Open

ScriptRaccoon wants to merge 13 commits into

mainfrom

functor-additions

Commits on Jun 17, 2026

show only tags on list page that are actually used
ScriptRaccoon
committed
functor detail page: make clear that the functor is not itself a left/right adjoint necessarily
ScriptRaccoon
committed

Commits on Jun 18, 2026