Functors - PDFSEARCH.IO - Document Search Engine

Functors
Results: 618

#	Item
511	THE AXIOMS FOR TRIANGULATED CATEGORIES J. P. MAY Add to Reading List Source URL: www.math.uchicago.edu Language: English - Date: 2005-03-15 21:23:37 Algebraic topology Homotopy theory Triangulated category Model category Adjoint functors Derived category Pushout Functor Exact sequence Abstract algebra Category theory Homological algebra
512	A CATEGORICAL MANIFESTO by Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:24 Functors Category Morphism Product Adjoint functors Algebraic theory Diagram Natural transformation Sheaf Abstract algebra Mathematics Category theory
513	Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick Ralf Hinze Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-04-17 02:44:58 Algebra Monad Kan extension Natural transformation Equivalence of categories Limit Universal property Functor Sheaf Adjoint functors Category theory Abstract algebra
514	THE CARTESIAN CLOSED BICATEGORY OF GENERALISED SPECIES OF STRUCTURES M. FIORE, N. GAMBINO, M. HYLAND, AND G. WINSKEL Add to Reading List Source URL: www.cs.le.ac.uk Language: English - Date: 2007-10-29 10:09:01 Adjoint functors Monoidal categories Higher category theory Monoidal functor Combinatorial species Monad Functor 2-category Cartesian closed category Category theory Abstract algebra Mathematics
515	A Functional Specification of Effects Wouter Swierstra Add to Reading List Source URL: etheses.nottingham.ac.uk Language: English - Date: 2009-06-04 05:04:25 Logic in computer science Type theory Functional languages Adjoint functors Programming paradigms Monad Functional programming Haskell Denotational semantics Software engineering Computing Theoretical computer science
516	WECIQ[removed]Artigos Towards Quantum Haskell via Quantum Arrows Add to Reading List Source URL: ppginf.ucpel.tche.br Language: English - Date: 2009-03-27 10:38:55 Applied mathematics Quantum mechanics Functional programming Adjoint functors Monad Quantum computer Quantum programming Arrow Quantum algorithm Theoretical computer science Physics Quantum information science
517	Free models of T -algebraic theories computed as Kan extensions Nicolas Tabareau ∗ Add to Reading List Source URL: hal.archives-ouvertes.fr Language: English - Date: 2008-11-17 11:04:51 Abstract algebra Monoid Functor PRO Adjoint functors Enriched category Cartesian closed category Algebraic structure Monad Category theory Algebra Monoidal categories
518	Model-theoretic imaginaries and coherent sheaves Ravi Rajani and Mike Prest Add to Reading List Source URL: eprints.ma.man.ac.uk Language: English - Date: 2008-09-27 03:17:32 Homological algebra Sheaf theory Adjoint functors Functor category Topos Sheaf Module Exact functor Imaginary element Category theory Abstract algebra Functors
519	83 Bull. Korean Math. Soc. Add to Reading List Source URL: pdf.medrang.co.kr Language: English - Date: 2012-08-20 07:20:48 Asia Korea Natural transformation Algebraic topology Singular homology Derived functor Functors Languages of Asia Korean language
520	Temporal Logic with “Until”, Functional Reactive Programming with Processes, and Concrete Process Categories Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-11-14 10:13:24 Mathematics Linear temporal logic Temporal logic Monad Limit Initial and terminal objects Functor Modal logic Cone Category theory Abstract algebra Adjoint functors

UPDATE