Functors - PDFSEARCH.IO - Document Search Engine

Functors
Results: 618

#	Item
151	Finitary functors: from Set to Preord and Poset Adriana Balan1 1 University Alexander Kurz2 Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-10-04 15:56:08 Adjoint functors Functor Limit Finitary Partially ordered set Lifting theory Structure Mathematical analysis Mathematics Order theory
152	A Gentle Introduction to Category Theory — the calculational approach — Maarten M. Fokkinga Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 13:02:53 Category Morphism Adjoint functors Equivalence of categories Limit Sheaf Product Natural transformation Functor Category theory Abstract algebra Mathematics
153	Abstraction and Performance from Explicit Monadic Reflection Jonathan Sobel Erik Hilsdale SAS Institute Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Adjoint functors Functional programming Lambda calculus Monad Logic in computer science Arrow Closure List Scheme Software engineering Computer programming Computing
154	Hopf-Algebras and Coalgebras in ∞-Categories Jonathan Beardsley January 20, 2015 Contents 1 Fibrations of Simplicial Sets Add to Reading List Source URL: math.jhu.edu Language: English - Date: 2015-01-20 21:00:54 Monoidal categories Monoidal functor Monoid PRO Operad theory Functor Braided monoidal category Adjoint functors Coproduct Category theory Algebra Abstract algebra
155	Compiling Monads ∗ Olivier Danvy, J¨ urgen Koslowski, and Karoline Malmkjær Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:56 Adjoint functors Functional programming Models of computation Functional languages Monad Kleisli category Denotational semantics List comprehension Strong monad Software engineering Computing Computer programming
156	PDF Document Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - 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
157	A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems Extended Version Pablo Buiras1 , Amit Levy2 , Deian Stefan2 , Alejandro Russo1 , and David Mazi`eres2 1 Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2013-08-05 06:28:09 Computer programming Functional programming Control flow Monad Central processing unit Parallel computing Scheduling Futures and promises Thread Computing Software engineering Adjoint functors
158	Equivalence Policy in Regard to IWS Qualifications When ILS equivalence has not been defined or does not exist in regard to other Swimming or Life Saving Federations, then the following guidelines for assessing equivalen Add to Reading List Source URL: www.iws.ie Language: English - Date: 2013-06-06 10:23:58 Adjoint functors Category theory Equivalence of categories
159	Folding Domain-Specific Languages: Deep and Shallow Embeddings (Functional Pearl) Jeremy Gibbons Nicolas Wu Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2014-07-22 11:18:20 Higher-order functions Functions and mappings Category theory General topology Functors Fold Monad Map Functor Mathematics Topology Abstract algebra
160	Lightweight Monadic Programming in ML Nikhil Swamy⋆ ⋆ Nataliya Guts† Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2011-06-30 10:53:02 Mathematics Computer programming Type theory Monad Admissible rule Type class Valuation Denotational semantics Adjoint functors Functional programming Software engineering

UPDATE