D-STRUCTURES AND DERIVED KOSZUL DUALITY FOR UNITAL OPERAD ALGEBRAS TYLER FOSTER, PO HU AND IGOR KRIZ Abstract. Generalizing a concept of Lipshitz, Ozsv´ath and Thurston from Bordered Floer homology, we define D-structur

Source URL: www.math.lsa.umich.edu

• Algebra
• Mathematics
• Algebras
• Abstract algebra
• Koszul duality
• Algebraic topology
• Operad theory
• Algebra over a field
• Coalgebra
• Exterior algebra
• Associative algebra
• C*-algebra

Representing Streams in Second Order Logic (Coinduction and Coalgebra in Second Order Logic) Herman Geuvers Radboud University Nijmegen and

Source URL: www.cs.ru.nl

• Category theory
• Mathematics
• Theoretical computer science
• Software engineering
• Functional programming
• Computer programming
• Recursion
• F-coalgebra
• Coinduction
• Coalgebra
• Corecursion
• First-order logic

Introduction Results Conclusion Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra Baltasar Trancón y Widemann

Source URL: www.coalg.org

Similarity Quotients as Final Coalgebras Paul Blain Levy⋆ University of Birmingham, UK

Source URL: www.cs.bham.ac.uk

• Order theory
• Algebraic topology
• F-coalgebra
• Coalgebra
• Partially ordered set
• Preorder
• Equivalence relation
• Functor
• Presentation of a group
• Mathematics
• Abstract algebra
• Category theory

Proving Safety Properties of Rewrite Theories Camilo Rocha Jos´e Meseguer Department of Computer Science

Source URL: calco2011.ecs.soton.ac.uk

• Software engineering
• Functional languages
• Mathematical proof
• F-coalgebra
• ATS
• Computing
• Mathematics
• Mathematical logic
• Automated theorem proving

Introduction Supervisory control Coalgebraic formulation

Source URL: calco2011.ecs.soton.ac.uk

• Control theory
• Supervisory control
• F-coalgebra

Hopf-Galois Extensions and Ek-bialgebras in Spectra

Source URL: math.jhu.edu

• Field theory
• Group theory
• Monoidal categories
• Coalgebra
• Bialgebra
• Galois group
• Galois extension
• Weak Hopf algebra
• Frobenius algebra
• Abstract algebra
• Algebra
• Galois theory

Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich, Germany

Source URL: www2.tcs.ifi.lmu.de

• Recursion
• Theoretical computer science
• Computability theory
• Category theory
• Ordinal numbers
• F-coalgebra
• Fixed-point combinator
• Termination analysis
• Lambda calculus
• Mathematical logic
• Mathematics
• Computer programming

PDF Document

Source URL: calco2011.ecs.soton.ac.uk

• Category theory
• Recursion
• Functional programming
• Adjoint functors
• Programming idioms
• F-coalgebra
• Anamorphism
• Monad
• Variety
• Computer programming
• Software engineering
• Computing