From 871e1614a8a5d807ea4f9059af1f8fe9ca0208aa Mon Sep 17 00:00:00 2001 From: Uli Fahrenberg <ulrich.fahrenberg@inria.fr> Date: Fri, 12 Nov 2021 23:54:35 +0100 Subject: [PATCH] minor --- c30ba2a136c42622/shortsubs/Sarkis-Quotienting/sarkis.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/c30ba2a136c42622/shortsubs/Sarkis-Quotienting/sarkis.txt b/c30ba2a136c42622/shortsubs/Sarkis-Quotienting/sarkis.txt index b44accd..3b07524 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 -- GitLab