<--- Back to Details
First PageDocument Content
Coalgebra / Anamorphism / Function / F-algebra / Initial algebra / Category theory / Mathematics / F-coalgebra
Date: 2012-10-30 15:46:26
Coalgebra
Anamorphism
Function
F-algebra
Initial algebra
Category theory
Mathematics
F-coalgebra

Coalgebra: Basic Concepts Paul Blain Levy University of Birmingham 1

Add to Reading List

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

Download Document from Source Website

File Size: 158,55 KB

Share Document on Facebook

Similar Documents

Algebra / Abstract algebra / Mathematics / Hodge theory / Fold / Draft:Example / Draft:Exampledraft / Typography / Initial / Lorem ipsum / Hodge structure / Hodge conjecture

Hardy-Ramanujan Journal – (yyyy), — submitted dd/mm/yyyy, accepted dd/mm/yyyy, revised dd/mm/yyyy Towards a proof of the Hodge conjecture, and cycle spaces in positive characteristic

DocID: 1rj7x - View Document

Algebra / Abstract algebra / Mathematics / Algebraic structures / Semigroup theory / Category theory / Algebraic number theory / Category / Monoid / Initial and terminal objects / Frobenioid / Functor

THE GEOMETRY OF FROBENIOIDS II: POLY-FROBENIOIDS Shinichi Mochizuki June 2008

DocID: 1r27W - View Document

Semigroup theory / Monoidal categories / Algebraic structures / Category theory / Formal languages / Monoid / Free monoid / Category / Functor / Homomorphism / Initial and terminal objects / PRO

Categories and their Algebra James A. Overton September 13, 2005 Abstract The goal if this paper is to introduce the notion of a category, along with some basic results, and then to explore work done by Bret Tilson in hi

DocID: 1pmw8 - View Document

Category theory / Functors / Monoidal categories / Homological algebra / Adjoint functors / Waldhausen category / Universal property / Algebraic K-theory / Natural transformation / Limit / Equivalence of categories / Initial and terminal objects

859 Documenta Math. Multiplicative Structures on Algebraic K -Theory Clark Barwick

DocID: 1pcD8 - View Document

Type theory / Mathematical logic / Category theory / Functional programming / Abstract algebra / Term algebra / Initial algebra / Algebraic structure / Mathematical induction / Term / Sigma-algebra / Unification

Generator Induction in Order Sorted Algebras Olaf Owe and Ole-Johan Dahl Institute of Informatics University of Oslo Norway February 1989

DocID: 1oUQq - View Document