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

Source URL: www-compsci.swan.ac.uk

Kawaguchi --- Fibered products of Hopf algebras and Seifert-van Kampen theorem for semi-graphs of Tannakian categories.pdf

Source URL: www.kurims.kyoto-u.ac.jp

• Algebra
• Abstract algebra
• Mathematics
• Monoidal categories
• Representation theory
• Coalgebra
• Bialgebra
• Universal property
• Hopf algebras
• Lie algebras
• Hopf algebroid

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

Source URL: events.inf.ed.ac.uk

• Category theory
• Theoretical computer science
• Mathematics
• Bisimulation
• F-coalgebra
• Coinduction
• Functor
• Coalgebra
• Universal property

1025 Documenta Math. The Pullbacks of Principal Coactions Piotr M. Hajac, Elmar Wagner

Source URL: documenta.sagemath.org

• Algebra
• Abstract algebra
• Mathematics
• Algebras
• Ring theory
• Monoidal categories
• Module theory
• Coalgebra
• Hopf algebra
• Quantum group
• Comodule
• Algebra over a field

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

Source URL: www.math.jhu.edu

• Algebra
• Abstract algebra
• Mathematics
• Ring theory
• Algebras
• Monoidal categories
• Representation theory
• Hopf algebra
• Coalgebra
• Graded ring
• F-algebra
• Algebra over a field

THE MORAVA K-THEORY OF SPACES RELATED TO BO NITU KITCHLOO, GERD LAURES, AND W. STEPHEN WILSON Abstract. We calculate the (p = 2) Morava K-theory of all of the spaces in the connective Omega spectra for Z × BO, BO, BSO,

Source URL: www.math.jhu.edu

• Homotopy theory
• Algebraic topology
• Ring theory
• Algebras
• Hopf algebra
• Representation theory
• Cohomology
• Exterior algebra
• Coalgebra
• Ring
• EilenbergMacLane space
• Bott periodicity theorem

Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany

Source URL: people.mpi-inf.mpg.de

• Category theory
• Functional programming
• F-algebra
• F-coalgebra
• Functor
• Initial algebra
• Monad
• Equivalence of categories
• Coalgebra
• Stoneech compactification

Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategies

Source URL: events.inf.ed.ac.uk

• Theoretical computer science
• Logic in computer science
• Category theory
• Formal methods
• Bisimulation
• Functional programming
• Coinduction
• Denotational semantics
• F-coalgebra
• Robin Milner
• Type theory
• Weak equivalence

Towards a Unified Treatment of Induction, I: The General Recursion Theorem Paul Taylor 1995–6 Abstract The recursive construction of a function f : A → Θ consists, paradigmatically, of finding

Source URL: www.paultaylor.eu

• Category theory
• Functional programming
• Algebras
• Boolean algebra
• F-algebra
• Functor
• Algebraic structure
• Ordinal number
• F-coalgebra
• Adjoint functors
• Constructible universe
• Free algebra

HOPF RINGS IN ALGEBRAIC TOPOLOGY W. STEPHEN WILSON Abstract. These are colloquium style lecture notes about Hopf rings in algebraic topology. They were designed for use by non-topologists and graduate students but have b

Source URL: www.math.jhu.edu

• Homotopy theory
• Algebraic topology
• Hopf algebras
• Representation theory
• Steenrod algebra
• Cohomology
• H-space
• Coalgebra
• F-algebra
• StiefelWhitney class
• Ring
• Algebraic structure