Functors - PDFSEARCH.IO - Document Search Engine

Functors
Results: 618

#	Item
441	McCusker, G. A. and Power, J[removed]Modelling local variables: possible worlds and object spaces. Electronic Notes in Theoretical Computer Science, 265. pp[removed]ISSN[removed]Link to official URL (if available): h Add to Reading List Source URL: opus.bath.ac.uk Language: English - Date: 2014-02-05 00:10:59 Functors Procedural programming languages Adjoint functors Monoidal categories Yoneda lemma Natural transformation Hom functor ALGOL 68 Subcategory Category theory Mathematics Abstract algebra
442	arXiv:1209.3760v1 [math.RT] 17 Sep 2012 Add to Reading List Source URL: home.mathematik.uni-freiburg.de Language: English - Date: 2012-09-18 04:25:00 Algebra Sheaf theory Sheaf Verdier duality Perverse sheaf Adjoint functors D-module Triangulated category Kazhdan–Lusztig polynomial Abstract algebra Homological algebra Category theory
443	1 9. LOCALLY FREE MODULES Add to Reading List Source URL: www.math.hawaii.edu Language: English - Date: 2001-04-07 05:39:59 Module theory Adjoint functors Projective module Divisible group Morphism Monomorphism Torsion Duality Von Neumann algebra Abstract algebra Algebra Homological algebra
444	OBERWOLFACH MAY 2006 NOTES BY S. PAUL SMITH Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2006-05-16 11:36:59 Homological algebra Algebraic topology Connection Differential geometry Sheaf Moduli space Adjoint functors Grothendieck group Duality Abstract algebra Mathematical analysis Topology
445	The Adjunction Prohibition and Extraction from Non-Factive CPs Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:59:18 Adjunction Presupposition Predicate Semantics Linguistics Adjoint functors
446	In this note, we show that the proof of [EGA Th´eor`eme III[removed]can be slightly modiﬁed to avoid spectral sequences. The statement of the theorem is as follows: Let Y be a locally Noetherian scheme and f : X −→ Add to Reading List Source URL: www.uv.es Language: English - Date: 2006-02-13 05:50:08 Algebraic geometry Homological algebra Algebraic topology Sheaf Ample line bundle Proper morphism Morphism Derived functor Natural transformation Abstract algebra Algebra Functors
447	Links Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-03-04 12:47:43 Functional programming Adjoint functors Query languages Functional languages Monad XQuery Philip Wadler SQL JavaScript Computing Software engineering Computer programming
448	A Principled Approach to Operating System Construction in Haskell Thomas Hallgren Add to Reading List Source URL: ogi.altocumulus.org Language: English - Date: 2005-07-10 01:38:48 Functional programming Adjoint functors Data types Type theory Interrupts Monad L4 microkernel family Haskell Thread Computing Software Computer architecture
449	Computational Category Theory D.E. Rydeheard University of Manchester Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2003-05-20 11:35:35 Functors Limit Topos Equivalence of categories Category of topological spaces Categorical logic Cartesian closed category Initial and terminal objects Universal property Category theory Mathematics Adjoint functors
450	Big Toy Models: Representing Physical Systems As Chu Spaces Samson Abramsky Oxford University Computing Laboratory September 23, 2009 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:53 Mathematical analysis Representation theory Dual space Quantum logic Adjoint functors Interpretation Self-adjoint operator Operator Linear temporal logic Physics Operator theory Mathematics

UPDATE