From e5be5878029021856f6ab08d661ac8b37a747857 Mon Sep 17 00:00:00 2001
From: Mohamed Barakat <mohamed.barakat@rwth-aachen.de>
Date: Mon, 12 Dec 2022 16:29:34 +0200
Subject: [PATCH] support MapOfFinSets for SkeletalFinSets in Julia

---
 PackageInfo.g |  2 +-
 gap/Julia.gi  | 12 +++++++++++-
 2 files changed, 12 insertions(+), 2 deletions(-)

diff --git a/PackageInfo.g b/PackageInfo.g
index ba17c4a6..de955c74 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2022.12-01",
+Version := "2022.12-02",
 
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
diff --git a/gap/Julia.gi b/gap/Julia.gi
index 33eebea0..ef267855 100644
--- a/gap/Julia.gi
+++ b/gap/Julia.gi
@@ -19,7 +19,7 @@ end );
 
 ##
 InstallMethod( MapOfFinSets,
-        [ IsCapCategoryObject, IsJuliaObject, IsCapCategoryObject ],
+        [ IsFiniteSet, IsJuliaObject, IsFiniteSet ],
         
   function ( source, graph, range )
     
@@ -30,3 +30,13 @@ InstallMethod( MapOfFinSets,
     return MapOfFinSets( source, graph, range );
     
 end );
+
+##
+InstallMethod( MapOfFinSets,
+        [ IsSkeletalFiniteSet, IsJuliaObject, IsSkeletalFiniteSet ],
+        
+  function ( source, graph, range )
+    
+    return MapOfFinSets( source, ConvertJuliaToGAP( graph ), range );
+    
+end );