From 3ad4cb2e5876a83e3d66caaad1a5e07f4f6c849f Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Mon, 11 May 2020 21:07:57 +0200 Subject: [PATCH] CapCategorySwitchLogicOff( FinSets ) --- PackageInfo.g | 2 +- gap/FinSetsForCAP.gi | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/PackageInfo.g b/PackageInfo.g index 366cdda4..11605335 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -11,7 +11,7 @@ SetPackageInfo( rec( PackageName := "FinSetsForCAP", Subtitle := "The elementary topos of (skeletal) finite sets", Version := Maximum( [ - "2020.04.01", ## Mohamed's version + "2020.05.01", ## Mohamed's version ## this line prevents merge conflicts "2017.05.26", ## Julia's version ## this line prevents merge conflicts diff --git a/gap/FinSetsForCAP.gi b/gap/FinSetsForCAP.gi index 4ec7d1ae..474affa2 100644 --- a/gap/FinSetsForCAP.gi +++ b/gap/FinSetsForCAP.gi @@ -6,6 +6,8 @@ BindGlobal( "FinSets", CreateCapCategory( "FinSets" ) ); +CapCategorySwitchLogicOff( FinSets ); + SetIsElementaryTopos( FinSets, true ); AddObjectRepresentation( FinSets, IsFiniteSet and HasAsList and HasLength );