Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
0 answers
54 views

A new(?) kind of 2-adjunction for relating cartesian closed functors using dinatural hexagons

$\newcommand{\A}{\operatorname{A}} \newcommand{\B}{\operatorname{B}} \newcommand{\Cat}{\mathcal{Cat}} \newcommand{\Cart}{\mathcal{Cart}} \newcommand{\C}{\mathbf{C}} \newcommand{\F}{\operatorname{F}} \...
Johan Thiborg-Ericson's user avatar
3 votes
0 answers
134 views

Is there a construction capturing indexed families of adjunctions?

I'm sorry in advance if this question does not belong on this site. I am curious as to what is "really" going on when you have a family of functors indexed by elements in a base category, all of which ...
Mathemologist's user avatar