1
$\begingroup$

I rapidly recall a general construction exposed in this paper.

If $(\cal E,M)$ is a factorization system on $\mathbf C$ (let's say $\bf C$ has finite co/limits, or it's even co/complete) such that $\cal M$ satisfies the 3-for-2 property, then there is a rule to create a reflective subcategory $\mathcal A(\cal E,M) \subseteq \mathbf C$ out of $(\cal E,M)$, whose objects are the $X$ in $\bf C$ such that $X \to *$ lies in $\cal M$.

The reflector $R \colon \mathbf C \to \mathcal A(\cal E,M)$ is the functor sending an object $A$ into the object $RA$ appearing in the (essentially unique) factorization $A \to RA \to *$ of the terminal arrow. This is evidently a left adjoint to the inclusion $i$.

I'm looking for

  1. Examples where a reflective subcat $i : \mathcal B \subseteq \mathbf C$ is Frobenius reflective, i.e. there exists an adjunction $R \dashv i \dashv R'$ with a canonical isomorphism $R \cong R'$ (so an adjunction $R \dashv i \dashv R$);
  2. Sufficient conditions on $(\cal E,M)$ such that $\mathcal A(\cal E,M)$ is Frobenius reflective.

Any clue?

$\endgroup$
  • $\begingroup$ For the first - there are some in "Bireflectivity" by Freyd, O’Hearn, Power, Takeyama, Street and Tennent $\endgroup$ – მამუკა ჯიბლაძე Dec 20 '16 at 17:49
  • $\begingroup$ Marvelous. I would never have been able to find it $\endgroup$ – Fosco Dec 20 '16 at 18:01
3
$\begingroup$

Let $i\dashv r\dashv i:\mathcal{B}\hookrightarrow \mathcal{A}$ be a bireflective subcategory. $r$ is necessarily left exact hence this a special type of essential localization called a 'quintessential localization' in Johnstone's 1996 TAC paper (see https://ncatlab.org/nlab/show/quality+type for references).

An example of a quintessential localization is the inclusion of $Set$ into the category with objects $(X,e:X\to X)$ where $X$ is a set and $e$ is an idempotent map $e^2=e$ and equivariant maps $f:(X_1,e_1)\to (X_2,e_2)$ with $f\cdot e_1=e_2\cdot f$. The inclusion $i$ maps a set $X$ to $(X,id_X)$ whereas the reflection $r$ maps $(X,e)$ to the set of fixed points $\{x|e(x)=x\}$. In this situation $r$ is left as well as right adjoint to $i$.

In their 1989 paper 'On the complete lattice of essential localizations' Kelly and Lawvere give the following characterization of essential localizations (see also Bedos&Quigg TAC 2011 no.20):

$\mathbf{Theorem\mbox{ }3.2}\quad$ A set $E$ of morphisms of a finitely bi-complete category $\mathcal{A}$ is of the form $\mathcal{B}^\perp$ for some essential localization $l\dashv r\dashv i:\mathcal{B}\hookrightarrow \mathcal{A}$ iff there exist factorization systems $(E,M)$ and $(N,E)$ on $\mathcal{A}$.

[Initially I then claimed here that it suffices to replace N by M in this proposition to get a specialization to quintessential localizations but now I think that this makes the situation too symmetric because then $(E,M)$ and $(M,E)$ yield localizations which either are the same in which case $E$ and $M$ coincide or there are in fact two different localizations. So after all, I have to retract the answer to the second question. I've decided to let stay the rest since it provides at least some useful information although in this form more suitable for a comment. My apologies!]

In theorem 2.4 Kelly-Lawvere show that essential localizations correspond to associated pairs.

$\mathbf{Def.}\quad$ A pair $(\mathcal{B},\mathcal{C})$ of subcategories of a category $\mathcal{A}$ is called an associated pair if $\mathcal{B}$ is reflective and $\mathcal{C}$ is coreflective and furthermore $\mathcal{B}^\perp=\mathcal{C}^\top$.

The properties given there specalize to quintessential subcategories $\mathcal{B}$ in the form that they correspond to associated pairs $(\mathcal{B},\mathcal{B})$ hence $\mathcal{B}^\perp=\mathcal{B}^\top$ and, furthermore, $\mathcal{B}^{\perp\top}=\mathcal{B}=\mathcal{B}^{\top\perp}$.

Let $(E,M)$ be the factorization system corresponding to the quintessential subcategory $\mathcal{B}$ by thm.3.4. Then from $E=\mathcal{B}^\perp$ and the above we get the following necessary condition on $E$: $$E^\perp=E^\top\quad.$$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.