1. Borceux, T.: Handbook of Categorial Algebra I: Basic Category Theory, Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (1994)
2. Bednarczyk, M., Borzyskowski, A., Pawlowski, W.: Generalized congruences—epimorphisms in $$\cal{C}$$at. Theory Appl. Categ. 5(11), 266–280 (1999)
3. Calk, C., Goubault, É., Malbos, Ph.: Time-reversal homotopical properties of concurrent systems. Homol. Homotopy Appl. (2020) (to appear)
arXiv:1812.05062
4. Dubut, J.: Directed homotopy and homology theories for geometric models of true concurrency. Ph.D.-thesis, École normale supérieure Paris-Saclay (2017)
5. Dubut, J., Goubault, É., Goubault-Larrecq, J.: Natural homology, in: Automata, languages, and programming. 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II, 171–183, Springer, Berlin (2015)