Unique factorisation lifting functors and categories of linearly-controlled processes

DOI10.1017/S0960129599003023zbMath0987.18002OpenAlexW2076730925MaRDI QIDQ4487268

Marta C. Bunge, Marcelo P. Fiore

Publication date: 15 June 2002

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129599003023

zbMATH Keywords

unique factorization lifting functorsdiscrete Conduché fibrationslinearly controlled processes

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Topoi (18B25) Special properties of functors (faithful, full, etc.) (18A22)

Related Items (6)

Generalising Conduché's theorem ⋮ Unnamed Item ⋮ Tree-functors, determinacy and bisimulations ⋮ Decomposition-space slices are toposes ⋮ Dynamical systems and sheaves ⋮ Conduché property and tree-based categories

This page was built for publication: Unique factorisation lifting functors and categories of linearly-controlled processes