DSpace Collection:https://hdl.handle.net/10316/2952024-03-19T09:14:23Z2024-03-19T09:14:23ZProceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary AchievementsDavenport, JamesFleuriot, JacquesQuaresma, PedroRecio, TomásWang, Dongminghttps://hdl.handle.net/10316/1016312022-09-05T20:43:32Z2019-01-01T00:00:00ZTitle: 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 CoimbraCarvalho, SaraCustódio, Susanahttps://hdl.handle.net/10316/449782020-05-25T13:12:35Z2014-01-01T00:00:00ZTitle: A Sismologia em Coimbra
Authors: Carvalho, Sara; Custódio, Susana2014-01-01T00:00:00ZOn categories with semidirect productsMartins-Ferreira, NelsonSobral, Manuelahttps://hdl.handle.net/10316/143252020-05-25T13:11:59Z2010-01-01T00:00:00ZTitle: 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 contextBourn, DominiqueRodelo, Dianahttps://hdl.handle.net/10316/137162020-05-25T13:12:31Z2010-01-01T00:00:00ZTitle: 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