caa a22 4500 445378603 CHVBK 20180317143010.0 cr unu---uuuuu 170323e20110201xx s 000 0 eng 10.1007/s10485-009-9200-9 doi (NATIONALLICENCE)springer-10.1007/s10485-009-9200-9 Generalising Conduché's Theorem [Elektronische Daten] [Stefano Kasangian, Anna Labella, Andrea Montoli] In a previous paper (Kasangian and Labella, J Pure Appl Algebra, 2009) we proved a form of Conduché's theorem for LSymcat-categories, where L was a meet-semilattice monoid. The original theorem was proved in Conduché (CR Acad Sci Paris 275:A891-A894, 1972) for ordinary categories. We showed also that the "lifting factorisation condition” used to prove the theorem is strictly related to the notion of state for processes whose semantics is modeled by LSymcat-categories. In this note we resume the content of Kasangian and Labella (J Pure Appl Algebra, 2009) in order to generalise the theorem to other situations, mainly arising from computer science. We will consider PSymcat-categories, where P is slightly more general than a meet-semilattice monoid, in which the lifting factorisation condition for a PSymcat-functor still implies the existence of a right adjoint to its corresponding inverse image functor. Springer Science+Business Media B.V., 2009 Enriched categories nationallicence 2-categories nationallicence Computing processes nationallicence Kasangian Stefano Dipartimento di Matematica, Università di Milano, Milan, Italy aut Labella Anna Dipartimento di Informatica, "Sapienza” Università di Roma, Rome, Italy aut Montoli Andrea Dipartimento di Matematica, Università di Milano, Milan, Italy aut Applied Categorical Structures Springer Netherlands 19/1(2011-02-01), 277-292 0927-2852 19:1<277 2011 19 10485 https://doi.org/10.1007/s10485-009-9200-9 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10485-009-9200-9 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Kasangian Stefano Dipartimento di Matematica, Università di Milano, Milan, Italy aut NATIONALLICENCE 700 1- Labella Anna Dipartimento di Informatica, "Sapienza” Università di Roma, Rome, Italy aut NATIONALLICENCE 700 1- Montoli Andrea Dipartimento di Matematica, Università di Milano, Milan, Italy aut NATIONALLICENCE 773 0- Applied Categorical Structures Springer Netherlands 19/1(2011-02-01), 277-292 0927-2852 19:1<277 2011 19 10485 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer