search

homalg-project / CategoricalTowers

Towers of category constructors
GNU General Public License v2.0
6 stars 4 forks source link

Fix AddIsLiftable in FiniteStrictCoproductCompletion for Prosets #489

Closed mohamed-barakat closed 7 months ago

mohamed-barakat commented 8 months ago 
gap> LoadPackage( "FiniteCocompletions", false );;
gap> q := FinQuiver( "q(p)[]" );;
gap> F := PathCategory( q );;
gap> P := PosetOfCategory( F );;
gap> PSh := FiniteStrictCoproductCompletion( P );;
gap> p := PSh.p;;
gap> IsSplitEpimorphism( UniqueMorphism( p, Coproduct( [ p, p ] ) ) );
false
gap> IsSplitMonomorphism( UniqueMorphism( p, Coproduct( [ p, p ] ) ) );
true
gap> IsIsomorphism( UniqueMorphism( p, Coproduct( [ p, p ] ) ) );
true
gap> IsIsomorphicForObjects( p, Coproduct( [ p, p ] ) );
true