UnderlyingMorphism for lazy slice is broken

[zickgraf]

in two ways:

a) it assumes that the ambient category can compute ProjectionOfBiasedWeakFiberProduct:

SubcategoriesForCAP/gap/LazySliceCategory.gi

Line 90 in 44bfa0b

return PreCompose( ProjectionOfBiasedWeakFiberProduct( I, J ), I );

b) it returns an object in the slice category instead of a morphism in the ambient category:

SubcategoriesForCAP/gap/LazySliceCategory.gi

Line 93 in 44bfa0b

return AsSliceCategoryCell( Iterated( L, morphism_from_biased_weak_fiber_product_to_sink ), CapCategory( a ) );

[mohamed-barakat]

I this resolved now?

[zickgraf]

No: there is no clear solution for a) (should lazy slice categories only be allowed to be constructed if the ambient category can compute ProjectionOfBiasedWeakFiberProduct?) and neither a) nor b) are covered by tests -> I do not want to touch them.