Functors - PDFSEARCH.IO - Document Search Engine

Functors
Results: 618

#	Item
71	Chapter 05.qxd:00 PM Add to Reading List Source URL: www.gr.uqam.ca Language: English - Date: 2014-11-07 15:32:09 Language acquisition Functors Category theory Vocabulary development Universal property Baby talk Natural transformation
72	859 Documenta Math. Multiplicative Structures on Algebraic K -Theory Clark Barwick Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2015-09-18 06:25:54 Category theory Functors Monoidal categories Homological algebra Adjoint functors Waldhausen category Universal property Algebraic K-theory Natural transformation Limit Equivalence of categories Initial and terminal objects
73	Preliminaries Tensorial strength Morita theory in enriched context Morita theory in enriched context Kruna Segrt Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2010-06-26 06:49:53 Homotopy theory Category theory Adjoint functors Model category Monad Fibration Morita equivalence Weak equivalence
74	677 Documenta Math. Comparison of Spectral Sequences Involving Bifunctors Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2008-12-15 11:45:41 Homological algebra Grothendieck spectral sequence Exact sequence Spectral sequence Adjoint functors Abelian category Sheaf cohomology Derived category
75	A Fibrational Framework for Possible-World Semantics of ALGOL-like Languages C. Hermida and R. D. Tennent School of Computing Queen’s University Kingston, Canada Add to Reading List Source URL: maggie.cs.queensu.ca Language: English - Date: 2007-01-30 15:35:55 Category theory Functors Algebraic topology Homotopy theory Fibred category Cartesian closed category Natural transformation Universal property Sheaf Fibration Product Dual
76	APLicative Programming with Naperian Functors Extended abstract Jeremy Gibbons University of Oxford, UK 1. Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2016-07-31 14:34:50 Vectors Linear algebra Functional programming Programming idioms Abstract algebra Applicative functor Functor Euclidean vector Vector space Array programming Map Dimension
77	Free Theorems Involving Type Constructor Classes Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Functional programming Programming idioms Monad Adjoint functors Haskell Type class
78	Modular Reifiable Matching A List-of-Functors Approach to Two-Level Types Bruno C. d. S. Oliveira Shin-Cheng Mu Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2015-08-09 21:04:41 Object-oriented programming Computability theory Theoretical computer science Programming idioms Type theory Functor Subtyping Combinatorial species Lambda calculus Monad Recursion Is-a
79	An Algebraic Approach to Stable Domains Paul Taylor written 1988, published 1991 Abstract Day [75] showed that the category of continuous lattices and maps which preserve directed joins and arbitrary meets is the categor Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:07:46 General topology Sheaf Locally connected space Adjoint functors Connected space Limit Continuous function Universal property Local homeomorphism Topos Representable functor Differential forms on a Riemann surface
80	TABLE OF CONTENTS NEW AT EAGLECREST BOOKS Add to Reading List Source URL: eaglecrestbooks.com Language: English - Date: 2016-02-06 15:54:25 Adjoint functors Cree language Monad Level