diff --git a/c30ba2a136c42622/shortsubs/Sarkis-Quotienting/sarkis.txt b/c30ba2a136c42622/shortsubs/Sarkis-Quotienting/sarkis.txt index b44accd479803922957e1f05e3c47420d44c385d..3b07524c9621e27d6e776be1c322a5a621ead9c0 100644 --- a/c30ba2a136c42622/shortsubs/Sarkis-Quotienting/sarkis.txt +++ b/c30ba2a136c42622/shortsubs/Sarkis-Quotienting/sarkis.txt @@ -1,3 +1,5 @@ +From: Ralph Sarkis <ralph.sarkis@ens-lyon.fr> + I would like to submit a short contribution to RAMiCS 2021. It is unfinished research in categorical semantics. Title : Quotienting a Monad via Projective Algebras