<--- Back to Details
First PageDocument Content
Category theory / Recursion / Functional programming / Adjoint functors / Programming idioms / F-coalgebra / Anamorphism / Monad / Variety / Computer programming / Software engineering / Computing
Date: 2012-03-22 19:10:07
Category theory
Recursion
Functional programming
Adjoint functors
Programming idioms
F-coalgebra
Anamorphism
Monad
Variety
Computer programming
Software engineering
Computing

Add to Reading List

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

Download Document from Source Website

File Size: 862,00 KB

Share Document on Facebook

Similar Documents

Category theory / Mathematics / Abstract algebra / Functors / Limit / Adjoint functors / Universal property / Diagram / Natural transformation / Coproduct / Product / Grothendieck topology

Cartesian Closure for Stable Categories (draft) Paul Taylor

DocID: 1rpTZ - View Document

Algebra / Abstract algebra / Mathematics / Homological algebra / Derived category / Triangulated category / Homotopy category / Adjoint functors / Cohomology / Resolution / Sheaf / Functor

207 Documenta Math. Acyclicity Versus Total Acyclicity for Complexes over Noetherian Rings

DocID: 1rozM - View Document

Algebra / Mathematics / Abstract algebra / Functors / Category theory / Adjoint functors / Equivalence of categories / Homological algebra / Limit / Additive categories / Sheaf / Natural transformation

ON CROSSED PRODUCT RINGS WITH TWISTED INVOLUTIONS, THEIR MODULE CATEGORIES AND L-THEORY arXiv:0710.2282v2 [math.KT] 15 Oct 2007

DocID: 1rnm6 - View Document

Algebra / Mathematics / Category theory / Monoidal categories / Abstract algebra / Algebraic topology / Operad theory / Adjoint functors / Monoidal functor / Functor / PRO / Equivalence of categories

879 Documenta Math. Rectification of Algebras and Modules Vladimir Hinich

DocID: 1rdIB - View Document

Algebra / Mathematics / Abstract algebra / Homological algebra / Functors / Category theory / Adjoint functors / Yoneda lemma / Limit / Subcategory / Triangulated category / Sheaf

193 Documenta Math. On the Structure of Calabi-Yau Categories with a Cluster Tilting Subcategory

DocID: 1r84m - View Document