1
$\begingroup$

Let $\mathcal M$ be a class of arrows in a category $\mathsf C$. I would like suggestions for good notation for the following two classes.

  • The smallest universal (pullback stable) subclass $\mathcal M$;
  • The class of arrows "locally in $\mathcal M$", i.e those which are pulled back to $\mathcal M$ along some effective descent morphism.

In A. Carboni, G. Janelidze, G. M. Kelly, and R. Paré's On Localization and Stabilization for Factorization Systems, the respective notations $\mathcal M^\prime,\mathcal M ^\ast$ are used. In Borceux and Janelidze's Galois Theories book, the notation $\Sigma \mathcal M$ is used for the class of arrows locally in $\mathcal M$.

$\endgroup$
2
  • $\begingroup$ What's wrong with the notation you found on those papers?? $\endgroup$
    – fosco
    Aug 19, 2016 at 17:58
  • $\begingroup$ @FoscoLoregian that asteriks and primes are already overloaded symbols and I prefer notation from which one can often guess the meaning. I thought of just writing out $\operatorname{stab}\mathcal M$ and $\operatorname{loc}\mathcal M$ but wanted to see if there are any better suggestions. $\endgroup$
    – Arrow
    Aug 20, 2016 at 11:34

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.