Functors - PDFSEARCH.IO - Document Search Engine

Functors
Results: 618

#	Item
181	Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code Jacques Carette 1 McMaster University, 1280 Main St. West, Hamilton, Ontario Canada L8S 4K1 Add to Reading List Source URL: okmij.org Language: English - Date: 2009-01-01 23:48:44 Numerical linear algebra Matrix theory Matrices LU decomposition Gaussian elimination Matrix Rank Determinant Cholesky decomposition Algebra Linear algebra Mathematics
182	Elimination Principles for Initial Dialgebras Fredrik Nordvall Forsberg Swansea University, UK CALCO-Jnr, Winchester Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-15 16:44:00 Algebra Functor Initial algebra Adjoint functors F-algebra Abstract algebra Category theory Mathematics
183	Species and Functors and Types, Oh My! Brent A. Yorgey University of Pennsylvania Abstract Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-08-01 11:17:52 Higher-order functions Adjoint functors Functional programming Combinatorial species Map Functor Sheaf Enumerative combinatorics Equivalence of categories Abstract algebra Mathematics Declarative programming
184	The mathematical structure of theories of resource convertibility I Abstract. Resources and their use and consumption form a central part of our life. Many branches of science and engineering are concerned with the ques Add to Reading List Source URL: perimeterinstitute.ca Language: English - Date: 2015-04-13 19:12:55 Algebraic structures Monoid Grothendieck group Adjoint functors Category Ring Semigroup Functor Function Abstract algebra Mathematics Algebra
185	Joseph MuscatObjects and Morphisms 1 Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2013-12-17 09:47:28 Morphisms Functors Epimorphism Category Natural transformation Subcategory Equivalence of categories Zero morphism Coproduct Category theory Abstract algebra Mathematics
186	The Peirce Translation Mart´ın Escard´o University of Birmingham, UK Paulo Oliva Queen Mary University of London, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-06-09 07:02:59 Logic in computer science Proof theory Adjoint functors Gödel–Gentzen negative translation Monad Intuitionistic logic Quantification Peano axioms Witness Logic Mathematical logic Mathematics
187	1 Monadic Parser Combinators Graham Hutton University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-04-05 05:58:42 Parsing Adjoint functors Computer programming Computing Parser combinator Monad Recursive descent parser Compiler-compiler Combinatory logic Functional programming Formal languages Software engineering
188	INJECTIVES Contents 1. Introduction 2. Baer’s argument for modules 3. G-modules Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:43 Category theory Injective module Injective object Sheaf Grothendieck topology Injective hull Adjoint functors Module Gluing axiom Abstract algebra Homological algebra Algebra
189	SITES AND SHEAVES Contents. Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:29 Sheaf theory Functors Algebraic geometry Homological algebra Sheaf Gluing axiom Grothendieck topology Functor Topos Category theory Abstract algebra Mathematics
190	HYPERCOVERINGS Contents 1. Introduction 2. Hypercoverings 3. Acyclicity Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-22 10:42:40 Algebraic topology Homological algebra Functors Sheaf theory Sheaf Grothendieck topology Gluing axiom Functor Initial and terminal objects Abstract algebra Category theory Mathematics

UPDATE