1. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, still

First Page		Document Content
Date: 2012-10-10 03:52:07 Category theory Theoretical computer science Mathematics Bisimulation F-coalgebra Coinduction Functor Coalgebra Universal property		1. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, still Add to Reading List Source URL: events.inf.ed.ac.uk Download Document from Source Website File Size: 1,12 MB Share Document on Facebook

	CALCO Early Ideas 2013 Warsaw, 2 September 2013 A satelite workshop of CALCO 2013 5th Conference on Algebra and Coalgebra in Computer Science Selected Papers edited by DocID: 1sXbk - View Document
	Kawaguchi --- Fibered products of Hopf algebras and Seifert-van Kampen theorem for semi-graphs of Tannakian categories.pdf DocID: 1rgMI - View Document
	1. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, still DocID: 1qXxc - View Document
	1025 Documenta Math. The Pullbacks of Principal Coactions Piotr M. Hajac, Elmar Wagner DocID: 1qsbl - View Document
	Journal of Pure and Applied Algebra – 168 www.elsevier.com/locate/jpaa Splittings of bicommutative Hopf algebras Nitu Kitchlooa; c , Gerd Lauresb; d;1 , W. Stephen Wilsona;∗ a Department DocID: 1pZzu - View Document