Lamarche's conjecture on culf maps over a category
Lamarche conjecture. For any category CCC, the category