Skip to main content

All Questions

1 question with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
3 votes
0 answers
136 views

Reference for "taking adjuncts preserves Kan extensions"

I'm using a result similar to the one below, and I would like to know if there is a reference that I can cite. It's easily proved, by "following your nose". The cell $G\phi.\eta_A$ is often ...
Roald Koudenburg's user avatar