Functors - PDFSEARCH.IO - Document Search Engine

Functors
Results: 618

#	Item
431	Lightweight Monadic Programming in ML Nikhil Swamy Nataliya Guts Daan Leijen Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-05-16 12:51:55 Mathematical logic Mathematics Type theory Monad Type class Valuation Admissible rule Natural deduction Adjoint functors Functional programming Software engineering
432	Microsoft Word - Prazmowska_Polish coordination as adjunction_REVISED_v5_fin_corr Add to Reading List Source URL: cecils.btk.ppke.hu Language: English - Date: 2013-06-14 05:35:07 Syntactic categories Conjunct Adverbial Adjunct Syntax X-bar theory Phrase Steps and skips Adjoint functors Linguistics Coordination Grammar
433	ALGEBRAIC COLIMIT CALCULATIONS IN HOMOTOPY THEORY USING FIBRED AND COFIBRED CATEGORIES RONALD BROWN AND RAFAEL SIVERA Abstract. Higher Homotopy van Kampen Theorems allow some colimit calculations of certain homotopical i Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2009-04-24 09:00:50 Fibred category Universal property Limit Adjoint functors Functor Cone Sheaf Coproduct Groupoid Category theory Abstract algebra Mathematics
434	Further thoughts on pointfree versus classical function rings Bernhard Banaschewski This talk will describe a substantially revised version of the proof, presented here last October, that the pointfree function rings RL Add to Reading List Source URL: www.mth.uct.ac.za Language: English - Date: 2014-04-04 11:01:20 General topology Category theory Model theory Adjoint functors Higher category theory Semilattice Closure Mathematical logic Compact space Topology Mathematics Abstract algebra
435	J. Symbolic Computation[removed], 1–13 doi:[removed]jsco[removed]Available online at http://www.idealibrary.com on Computation and Homotopical Applications of Induced Crossed Modules Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2007-03-14 19:06:11 Algebraic topology Homological algebra Algebraic structures Group theory Crossed module Group cohomology Hurewicz theorem Homotopy group Adjoint functors Abstract algebra Algebra Homotopy theory
436	JOURNAL OF MATHEMATICAL ANALYSIS Add to Reading List Source URL: www.dm.unito.it Language: English - Date: 2013-04-02 05:48:16 Adjoint functors Sheaf Operator theory Inner product space Surreal number Abstract algebra Mathematics Mathematical analysis
437	Functional programming languages Part IV: monadic transformations, monadic programming Xavier Leroy INRIA Rocquencourt MPRI 2-4-2, 2007 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-12-12 03:05:56 Computing Adjoint functors Models of computation Logic in computer science Monad Denotational semantics Lambda calculus Haskell Purely functional Declarative programming Software engineering Functional programming
438	Fuzzy Sets and Systems[removed] North-Holland Publishing Company T H E STON-E-CECH C O M P A C T I F I C A T I O N IN T H E C A T E G O R Y OF FUZZY TOPOLOGICAL SPACES Umberto CERRUTI Add to Reading List Source URL: www.dm.unito.it Language: English - Date: 2013-04-02 05:48:46 Separation axioms Algebraic topology Stone–Čech compactification Tychonoff space Reflective subcategory Adjoint functors Compactification Compact space Sheaf Topology General topology Topological spaces
439	Probabilistic Relational Verification for Cryptographic Implementations Gilles Barthe C´edric Fournet Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-09-13 09:26:28 Adjoint functors Mathematical logic Relational model Μ operator Function Dirac delta function Monad Homomorphism Interpretation Mathematics Mathematical analysis Model theory
440	a Preprintreihe SFB 478 – Geometrische Strukturen in der Mathematik A∞ -monads and completion Add to Reading List Source URL: wwwmath.uni-muenster.de Language: English - Date: 2008-07-14 07:56:48 Mathematics Representable functor Adjoint functors Monad Operad theory Functor Nerve Model category Natural transformation Category theory Abstract algebra Algebra

UPDATE