Functors - PDFSEARCH.IO - Document Search Engine

Functors
Results: 618

#	Item
551	STRUCTURE OF CATEGORIES BY JOHN R. ISBELL Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 12:24:22 Functors Morphisms General topology Functions and mappings Adjoint functors Equivalence of categories Category of topological spaces Monomorphism Epimorphism Mathematics Category theory Abstract algebra
552	PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINO Add to Reading List Source URL: www.math.unipa.it Language: English - Date: 2009-02-01 11:27:30 Sheaf theory Sheaf Functor Topos Grothendieck topology Presheaf Initial and terminal objects Adjoint functors Zermelo–Fraenkel set theory Category theory Mathematics Abstract algebra
553	Communicating Process Architectures 2008 P.H. Welch et al. (Eds.) IOS Press, 2008 Add to Reading List Source URL: twistedsquare.com Language: English - Date: 2013-08-19 10:40:16 Adjoint functors Procedural programming languages Process calculi Functional languages Occam Communicating sequential processes Monad Haskell Function composition Software engineering Computing Computer programming
554	Unifying Structured Recursion Schemes Ralf Hinze Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-07-24 16:11:42 Adjoint functors Order theory Equivalence of categories Monad Functor Limit Natural transformation C*-algebra Complete Heyting algebra Abstract algebra Mathematics Category theory
555	Submitted to ICFP ’12 Functional Pearl: F for Functor Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-03-14 13:27:08 Natural transformation Monoidal functor Limit Diagram Monad Monoidal category Sheaf Cartesian closed category Grothendieck topology Category theory Abstract algebra Functors
556	Categories of Containers Michael Abbott1 , Thorsten Altenkirch2, and Neil Ghani1 2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-05-01 19:34:31 Limit Adjoint functors Coproduct Equivalence of categories Product Cartesian closed category Initial and terminal objects Natural transformation Sheaf Category theory Abstract algebra Functors
557	What is a categorical model for Linear Logic? Andrea Schalk Department of Computer Science Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2004-10-15 10:42:33 Closed monoidal category Monoidal functor Monoidal natural transformation Monoid Braided monoidal category Cartesian closed category Product PRO Adjoint functors Category theory Monoidal categories Algebra
558	Coeffects: The Essence of Context Dependence Submitted draft (October 2012) Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-10-28 21:18:50 Theoretical computer science Models of computation Functional programming Monad Logic in computer science Lambda calculus Function Sheaf Symbol Mathematics Adjoint functors Mathematical logic
559	A Notation for Comonads Dominic Orchard and Alan Mycroft Computer Laboratory, University of Cambridge Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-03-19 05:47:49 Computing Functional programming Monad Valuation Lambda calculus Function ALGOL 68 Mathematics Adjoint functors Software engineering
560	ADJOINT FUNCTORS BY Add to Reading List Source URL: ivanych.net Language: English - Date: 2013-05-28 12:23:21 Natural transformation Adjoint functors Hom functor Limit Equivalence of categories Inverse limit Duality Representable functor Yoneda lemma Category theory Functors Abstract algebra

UPDATE