DSpace Collection:
https://hdl.handle.net/10316/295
2024-03-19T12:56:09ZProceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
https://hdl.handle.net/10316/101631
Title: Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Authors: Davenport, James; Fleuriot, Jacques; Quaresma, Pedro; Recio, Tomás; Wang, Dongming2019-01-01T00:00:00ZA Sismologia em Coimbra
https://hdl.handle.net/10316/44978
Title: A Sismologia em Coimbra
Authors: Carvalho, Sara; Custódio, Susana2014-01-01T00:00:00ZOn categories with semidirect products
https://hdl.handle.net/10316/14325
Title: On categories with semidirect products
Authors: Martins-Ferreira, Nelson; Sobral, Manuela
Abstract: We characterize pointed categories having semidirect products in the
sense of D. Bourn and G. Janelidze ([3]) providing necessary and sufficient conditions
for a pointed category to admit semidirect products and interpreting these
conditions in terms of protomodularity and exactness of certain split chains.2010-01-01T00:00:00ZComprehensive factorization and universal I-central extensions in the Mal'cev context
https://hdl.handle.net/10316/13716
Title: Comprehensive factorization and universal I-central extensions in the Mal'cev context
Authors: Bourn, Dominique; Rodelo, Diana
Abstract: We show that, under suitable left exact conditions on a re
ection functor
I, the construction of the associated universal I-central extension is reduced
to the comprehensive factorization of a speci c internal functor. This observation
produces some existence conditions which hold in particular for any re
ection from
a Mal'cev variety to any Birkho subvariety2010-01-01T00:00:00Z