Functors - PDFSEARCH.IO - Document Search Engine

Functors
Results: 618

#	Item
171	Index of concepts A absolutely free extension constructor, 263 abstract algebraic institution, 218 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-09-04 10:34:40 Universal algebra Category theory Model theory Algebraic structures Mathematical structures Adjoint functors Heyting algebra Functor Subalgebra Mathematics Abstract algebra Algebra
172	QUANTUM GROUPS AND REPRESENTATIONS WITH HIGHEST WEIGHT Joseph Bernstein and Tanya Khovanova arXiv:q-algApr 1997 Add to Reading List Source URL: www.tanyakhovanova.com Language: English - Date: 2008-02-26 17:10:01 Representation theory Ring theory Lie algebras Quantum group Universal enveloping algebra Weight Adjoint functors Graded algebra Frobenius algebra Abstract algebra Algebras Hopf algebras
173	Contents Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii 0 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-09-04 09:54:56 Abstract algebra Adjoint functors Functor Equivalence of categories Institution Algebraic structure Natural transformation Combinatorial species Universal algebra Mathematics Algebra Category theory
174	INFORMATION AND 76, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-08-20 12:36:56 Logic Institution Algebraic structure Structure Interpretation First-order logic Functor Sheaf Adjoint functors Mathematics Model theory Mathematical logic
175	Technical Report NoRecursion is a Computational Eect by Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2000-12-20 09:51:50 Functional programming Adjoint functors Data types Recursion Logic in computer science Monad Haskell Denotational semantics Fold Software engineering Computer programming Computing
176	The Cryosphere, 5, 315–327, 2011 www.the-cryosphere.netdoi:tc © Author(sCC Attribution 3.0 License. The Cryosphere Add to Reading List Source URL: www.the-cryosphere.net Language: English - Date: 2014-12-04 07:50:11 Adjoint Hermitian adjoint Operator theory Adjoint functors Inversive geometry
177	A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions ∗ Kedar Swadi † Walid Taha Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2006-01-29 08:17:09 Functional programming Lambda calculus Adjoint functors Theoretical computer science Combinatory logic Memoization Fixed-point combinator Monad Combinator library Software engineering Computing Declarative programming
178	Physics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California Riverside, California 92521, USA Mike Stay Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2012-06-26 12:58:42 Monoidal categories Algebraic topology Functors Cartesian closed category Lambda calculus Product Morphism Natural transformation Topological quantum field theory Category theory Abstract algebra Algebra
179	arXiv:math/0306223v1 [math.CT] 13 JunCategory Theory and Higher Dimensional Algebra: potential descriptive tools in neuroscience∗ Timothy Porter† Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-01 08:32:57 Diagram Functors Limit Duality Coproduct Function Morphism Valuation Pushout Category theory Mathematics Abstract algebra
180	Combining Continuations with Other Effects ∗ M. Hyland P. B. Levy G. Plotkin & J. Power Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:45 Adjoint functors Functional programming Monoidal categories Monad Continuation Strong monad Monoid Tensor Denotational semantics Algebra Abstract algebra Category theory

UPDATE