<--- Back to Details
First PageDocument Content
Hopf algebras / Category theory / F-coalgebra / Braided Hopf algebra / Quasi-Hopf algebra / Connection / Nicolae Popescu / Differential topology / Abstract algebra / Algebra / Mathematics
Date: 2011-06-27 08:52:23
Hopf algebras
Category theory
F-coalgebra
Braided Hopf algebra
Quasi-Hopf algebra
Connection
Nicolae Popescu
Differential topology
Abstract algebra
Algebra
Mathematics

Add to Reading List

Source URL: www.unibuc.ro

Download Document from Source Website

File Size: 893,79 KB

Share Document on Facebook

Similar Documents

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

DocID: 1qXxc - View Document

Algebra / Abstract algebra / Mathematics / Ring theory / Algebras / Monoidal categories / Representation theory / Hopf algebra / Coalgebra / Graded ring / F-algebra / 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

DocID: 1pZzu - View Document

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

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

DocID: 1oU48 - View Document

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

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

DocID: 1oMN9 - View Document

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

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

DocID: 1orDS - View Document