Functors - PDFSEARCH.IO - Document Search Engine

Functors
Results: 618

#	Item
491	Boundary Algebra: A Simple Notation for Boolean Algebra and the Truth Functors Add to Reading List Source URL: www.lawsofform.org Language: English - Date: 2011-01-15 01:04:23 Boolean algebra Algebraic structures Algebraic logic Laws of Form Existential graph First-order logic Principia Mathematica Paul Halmos Modal logic Mathematics Logic Mathematical logic
492	Reprints in Theory and Applications of Categories, No. 12, 2005, pp. 1–288. TOPOSES, TRIPLES AND THEORIES Add to Reading List Source URL: www.emis.de Language: English - Date: 2005-06-22 13:21:20 Sheaf theory Algebraic topology Topos Adjoint functors Philosophers of mathematics Categorical logic Sketch Michael Barr Alexander Grothendieck Category theory Mathematics Abstract algebra
493	Programming with Arrows John Hughes Department of Computer Science and Engineering, Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2006-03-06 04:22:11 Functional programming Adjoint functors Arrow Monad Kleisli category Combinatory logic Side effect Combinator library Foreach loop Software engineering Declarative programming Computing
494	arXiv:math/0404185v7 [math.NT] 26 Jul[removed]Schemes over F1 Add to Reading List Source URL: cage.ugent.be Language: English - Date: 2008-09-23 03:48:40 Category theory Morphisms Category of rings Ring theory Sheaf theory Spectrum of a ring Monoid Functor Adjoint functors Abstract algebra Algebra Scheme theory
495	Theory and Applications of Categories, Vol. 11, No. 11, 2003, pp. 252–282. CONTINUOUS CATEGORIES REVISITED Add to Reading List Source URL: www.emis.de Language: English - Date: 2003-05-28 11:36:19 Category theory Algebraic structures Order theory Adjoint functors Semilattice Monad Universal property Complete lattice Limit Abstract algebra Mathematics Lattice theory
496	A Functional Approach to the Observer Pattern ´ Alvaro Add to Reading List Source URL: wiki.comlab.ox.ac.uk Language: English - Date: 2009-06-19 13:51:01 Adjoint functors Computing Functional programming Monad Observer pattern Haskell Observer Software engineering Software design patterns Computer programming
497	LNCS[removed]Build, Augment and Destroy, Universally Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2004-10-21 01:26:05 Functional programming Higher-order functions Fold Recursion Limit Initial algebra Adjoint functors Map Cone Category theory Mathematics Declarative programming
498	Species and Functors and Types, Oh My! Brent A. Yorgey University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-10-15 13:04:31 Higher-order functions Adjoint functors Functional programming Combinatorial species Map Functor Sheaf Enumerative combinatorics Equivalence of categories Abstract algebra Mathematics Declarative programming
499	arXiv:0711.1529v3 [math.LO] 22 Oct[removed]LAWVERE-TIERNEY SHEAVES Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2008-10-22 23:17:04 Sheaf theory Topos theory Homological algebra Topos Order theory Sheaf Subobject classifier Adjoint functors Categorical logic Category theory Mathematics Abstract algebra
500	THE ADDITIVITY OF TRACES IN TRIANGULATED CATEGORIES J. P. MAY Add to Reading List Source URL: www.math.uchicago.edu Language: English - Date: 2002-02-19 11:29:53 Homotopy theory Homological algebra Group actions Category theory Triangulated category Spectrum Adjoint functors Functor Equivariant map Abstract algebra Mathematics Algebra

UPDATE