# Left adjoints, lenses, and localisation

###### 26th of November, 2021

This is really just a cross-post announcement: I wrote a
post over on the Topos blog, but it’s something I’ve been thinking
about a lot, so I wanted to share a link to it here as well. It’s
basically the result of me, knowing a bit about derived categories and
model categories, trying to digest this lovely bit of Australian
category theory by Bryce
Clarke concerning internal lenses. In fact,
it’s really a fermented and distilled version of an old blog post from
here, namely *Cauchy
completion and profunctors*.

I won’t copy the contents of the entire post here, but I will just repeat the question that I ask at the end (and will refer anybody interested in more context over to my post).

Is there some setting in which I could say something like (maybe swapping “projective” for “injective”) the following: cofunctors are the morphisms in some “derived” category; weak equivalences are bijective-on-objects functors; fibrations are discrete opfibrations; the category does not have enough projectives; lenses correspond (via looking at their domain) to K-projective objects.