First Page | Document Content | |
---|---|---|
![]() Date: 2012-10-10 03:52:07Category theory Theoretical computer science Mathematics Bisimulation F-coalgebra Coinduction Functor Coalgebra Universal property | Add to Reading List |
![]() | 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 byDocID: 1sXbk - View Document |
![]() | Kawaguchi --- Fibered products of Hopf algebras and Seifert-van Kampen theorem for semi-graphs of Tannakian categories.pdfDocID: 1rgMI - View Document |
![]() | 1. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, stillDocID: 1qXxc - View Document |
![]() | 1025 Documenta Math. The Pullbacks of Principal Coactions Piotr M. Hajac, Elmar WagnerDocID: 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 DepartmentDocID: 1pZzu - View Document |