homalg-project/locales

[READ-ONLY-SUBSPLIT] Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets

Locales 

Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets

Documentation	Latest Release	Build Status of CategoricalTowers	Code Coverage

---

Dependencies

To obtain current versions of all dependencies, git clone (or git pull to update) the following repositories:

	Repository	git URL
1.	homalg_project	https://github.com/homalg-project/homalg_project.git
2.	CAP_project	https://github.com/homalg-project/CAP_project.git

locales's Issues

Tests of Locales is failing after last CAP commits

Wrong derivation of `IsEqualForMorphisms` for `IsThinCategory`

I think in our setup IsThinCategory means: "any two morphisms A -> B are congruent", but not necessarily "any two morphisms A -> B are equal". Thus, I think the following derivation is wrong:

Locales/gap/ProsetDerivedMethods.gi

Lines 8 to 17 in 5a9429f

	AddDerivationToCAP( IsEqualForMorphisms,
	[ [ IsEqualForObjects, 2 ] ],
	function( cat, u1, u2 )
	return IsEqualForObjects( cat, Source( u1 ), Source( u2 ) ) and
	IsEqualForObjects( cat, Range( u1 ), Range( u2 ) );
	end : Description := "IsEqualForMorphisms using IsEqualForObjects applied to sources and ranges",
	CategoryFilter := IsThinCategory );

In any case, IsEqualForMorphisms assumes that the two morphisms have equal source and range, so this could be simplified to true.

Turn UniqueMorphism into a CAP operation

As discussed with @TKuh.