diff --git a/PackageInfo.g b/PackageInfo.g
index 0be18fb..92cf61d 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
PackageName := "FinSetsForCAP",
Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2024.01-07",
+Version := "2024.01-08",
Date := "2024-02-03",
License := "GPL-2.0-or-later",
diff --git a/_data/package.yml b/_data/package.yml
index ae72757..e9b2424 100644
--- a/_data/package.yml
+++ b/_data/package.yml
@@ -1,5 +1,5 @@
name: FinSetsForCAP
-version: "2024.01-07"
+version: "2024.01-08"
license: "GPL-2.0-or-later"
date: 2024-02-03
description: |
@@ -40,11 +40,11 @@ packageinfo: https://homalg-project.github.io/FinSetsForCAP/PackageInfo.g
downloads:
- name: .tar.gz
- url: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.01-07/FinSetsForCAP-2024.01-07.tar.gz
+ url: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.01-08/FinSetsForCAP-2024.01-08.tar.gz
- name: .zip
- url: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.01-07/FinSetsForCAP-2024.01-07.zip
+ url: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.01-08/FinSetsForCAP-2024.01-08.zip
-pdf: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.01-07/FinSetsForCAP-2024.01-07-manual.pdf
+pdf: https://github.com/homalg-project/FinSetsForCAP/releases/download/v2024.01-08/FinSetsForCAP-2024.01-08-manual.pdf
abstract: |
@@ -55,7 +55,7 @@ citeas: |
[BMZ03] Barakat, M., Mickisch, J. and Zickgraf, F.,
FinSetsForCAP, The elementary topos of (skeletal) finite sets,
- Version 2024.01-07
+ Version 2024.01-08
(2-03)
(GAP package),
https://homalg-project.github.io/pkg/FinSetsForCAP.
@@ -63,10 +63,10 @@ citeas: |
bibtex: |
- @misc{ FinSetsForCAP2024.01-07,
+ @misc{ FinSetsForCAP2024.01-08,
author = {Barakat, M. and Mickisch, J. and Zickgraf, F.},
title = {{FinSetsForCAP}, The elementary topos of (skeletal)
- finite sets, {V}ersion 2024.01-07},
+ finite sets, {V}ersion 2024.01-08},
month = {4-},
year = {2-03},
note = {GAP package},
diff --git a/doc/chap0.html b/doc/chap0.html
index 575a67a..c44e917 100644
--- a/doc/chap0.html
+++ b/doc/chap0.html
@@ -29,7 +29,7 @@
FinSetsForCAP
The elementary topos of (skeletal) finite sets
- 2024.01-07
+ 2024.01-08
3 February 2024
diff --git a/doc/chap0.txt b/doc/chap0.txt
index 10c554e..6823ea7 100644
--- a/doc/chap0.txt
+++ b/doc/chap0.txt
@@ -6,7 +6,7 @@
[1X The elementary topos of (skeletal) finite sets [101X
- 2024.01-07
+ 2024.01-08
3 February 2024
diff --git a/doc/chap0_mj.html b/doc/chap0_mj.html
index 70f5622..3490166 100644
--- a/doc/chap0_mj.html
+++ b/doc/chap0_mj.html
@@ -32,7 +32,7 @@
FinSetsForCAP
The elementary topos of (skeletal) finite sets
- 2024.01-07
+ 2024.01-08
3 February 2024
diff --git a/doc/chap1.html b/doc/chap1.html
index e3cd816..d73c018 100644
--- a/doc/chap1.html
+++ b/doc/chap1.html
@@ -1344,6 +1344,14 @@
1.5-18 Topos properties
gap> exp := ExponentialOnObjects( M, N );;
gap> ExponentialOnObjects( FinSet( [ 1 ] ), exp );;
gap> ExponentialOnMorphisms( f, g );;
+gap> CartesianRightEvaluationMorphism( M, N );;
+gap> CartesianRightCoevaluationMorphism( N, M );;
+gap> DirectProductToExponentialRightAdjunctionMap( M, N,
+> UniversalMorphismIntoTerminalObject( DirectProduct( M, N ) )
+> );;
+gap> ExponentialToDirectProductRightAdjunctionMap( M, N,
+> UniversalMorphismFromInitialObject( ExponentialOnObjects( M, N ) )
+> );;
gap> CartesianLeftEvaluationMorphism( M, N );;
gap> CartesianLeftCoevaluationMorphism( N, M );;
gap> DirectProductToExponentialLeftAdjunctionMap( M, N,
diff --git a/doc/chap1.txt b/doc/chap1.txt
index dc9e350..21f7b31 100644
--- a/doc/chap1.txt
+++ b/doc/chap1.txt
@@ -1156,6 +1156,14 @@
[4X[25Xgap>[125X [27Xexp := ExponentialOnObjects( M, N );;[127X[104X
[4X[25Xgap>[125X [27XExponentialOnObjects( FinSet( [ 1 ] ), exp );;[127X[104X
[4X[25Xgap>[125X [27XExponentialOnMorphisms( f, g );;[127X[104X
+ [4X[25Xgap>[125X [27XCartesianRightEvaluationMorphism( M, N );;[127X[104X
+ [4X[25Xgap>[125X [27XCartesianRightCoevaluationMorphism( N, M );;[127X[104X
+ [4X[25Xgap>[125X [27XDirectProductToExponentialRightAdjunctionMap( M, N,[127X[104X
+ [4X[25X>[125X [27X UniversalMorphismIntoTerminalObject( DirectProduct( M, N ) )[127X[104X
+ [4X[25X>[125X [27X);;[127X[104X
+ [4X[25Xgap>[125X [27XExponentialToDirectProductRightAdjunctionMap( M, N,[127X[104X
+ [4X[25X>[125X [27X UniversalMorphismFromInitialObject( ExponentialOnObjects( M, N ) )[127X[104X
+ [4X[25X>[125X [27X);;[127X[104X
[4X[25Xgap>[125X [27XCartesianLeftEvaluationMorphism( M, N );;[127X[104X
[4X[25Xgap>[125X [27XCartesianLeftCoevaluationMorphism( N, M );;[127X[104X
[4X[25Xgap>[125X [27XDirectProductToExponentialLeftAdjunctionMap( M, N,[127X[104X
diff --git a/doc/chap1_mj.html b/doc/chap1_mj.html
index 488a365..0ae6408 100644
--- a/doc/chap1_mj.html
+++ b/doc/chap1_mj.html
@@ -1347,6 +1347,14 @@ 1.5-18 Topos properties
gap> exp := ExponentialOnObjects( M, N );;
gap> ExponentialOnObjects( FinSet( [ 1 ] ), exp );;
gap> ExponentialOnMorphisms( f, g );;
+gap> CartesianRightEvaluationMorphism( M, N );;
+gap> CartesianRightCoevaluationMorphism( N, M );;
+gap> DirectProductToExponentialRightAdjunctionMap( M, N,
+> UniversalMorphismIntoTerminalObject( DirectProduct( M, N ) )
+> );;
+gap> ExponentialToDirectProductRightAdjunctionMap( M, N,
+> UniversalMorphismFromInitialObject( ExponentialOnObjects( M, N ) )
+> );;
gap> CartesianLeftEvaluationMorphism( M, N );;
gap> CartesianLeftCoevaluationMorphism( N, M );;
gap> DirectProductToExponentialLeftAdjunctionMap( M, N,
diff --git a/doc/chap2.html b/doc/chap2.html
index 3d94cde..9931d78 100644
--- a/doc/chap2.html
+++ b/doc/chap2.html
@@ -1286,6 +1286,10 @@ 2.5-19 Skeletal topos properties
gap> CartesianBraidingInverse( M, N );;
gap> ExponentialOnObjects( M, N );;
gap> ExponentialOnMorphisms( f, g );;
+gap> CartesianRightEvaluationMorphism( M, N );;
+gap> ExponentialToDirectProductRightAdjunctionMap( M, N,
+> UniversalMorphismFromInitialObject( ExponentialOnObjects( M, N ) )
+> );;
gap> CartesianLeftEvaluationMorphism( M, N );;
gap> CartesianLeftCoevaluationMorphism( N, M );;
gap> CartesianLeftCoevaluationMorphism( T, T );;
diff --git a/doc/chap2.txt b/doc/chap2.txt
index 99e3fc4..8ec4ce3 100644
--- a/doc/chap2.txt
+++ b/doc/chap2.txt
@@ -1100,6 +1100,10 @@
[4X[25Xgap>[125X [27XCartesianBraidingInverse( M, N );;[127X[104X
[4X[25Xgap>[125X [27XExponentialOnObjects( M, N );;[127X[104X
[4X[25Xgap>[125X [27XExponentialOnMorphisms( f, g );;[127X[104X
+ [4X[25Xgap>[125X [27XCartesianRightEvaluationMorphism( M, N );;[127X[104X
+ [4X[25Xgap>[125X [27XExponentialToDirectProductRightAdjunctionMap( M, N,[127X[104X
+ [4X[25X>[125X [27X UniversalMorphismFromInitialObject( ExponentialOnObjects( M, N ) )[127X[104X
+ [4X[25X>[125X [27X);;[127X[104X
[4X[25Xgap>[125X [27XCartesianLeftEvaluationMorphism( M, N );;[127X[104X
[4X[25Xgap>[125X [27XCartesianLeftCoevaluationMorphism( N, M );;[127X[104X
[4X[25Xgap>[125X [27XCartesianLeftCoevaluationMorphism( T, T );;[127X[104X
diff --git a/doc/chap2_mj.html b/doc/chap2_mj.html
index 52e51f2..516f2b9 100644
--- a/doc/chap2_mj.html
+++ b/doc/chap2_mj.html
@@ -1289,6 +1289,10 @@ 2.5-19 Skeletal topos properties
gap> CartesianBraidingInverse( M, N );;
gap> ExponentialOnObjects( M, N );;
gap> ExponentialOnMorphisms( f, g );;
+gap> CartesianRightEvaluationMorphism( M, N );;
+gap> ExponentialToDirectProductRightAdjunctionMap( M, N,
+> UniversalMorphismFromInitialObject( ExponentialOnObjects( M, N ) )
+> );;
gap> CartesianLeftEvaluationMorphism( M, N );;
gap> CartesianLeftCoevaluationMorphism( N, M );;
gap> CartesianLeftCoevaluationMorphism( T, T );;