Functors - PDFSEARCH.IO - Document Search Engine

Functors
Results: 618

#	Item
211	The Function Pointer Tutorials Introduction to C and C++ Function Pointers, Callbacks and Functors written by Lars Haendel January 2002, Dortmund, Germany http://www.newty.de email: [removed] Add to Reading List Source URL: www.digilife.be Language: English - Date: 2003-02-16 08:31:35 C++ Data types Subroutines C programming language Cross-platform software C++ classes Pointer C Function pointer Software engineering Computing Computer programming
212	1 Introduction An application of Hopf-Algebra techniques to representations of finite Classical Groups Marc A. A. van Leeuwen Mathematical Institute, Rijksuniversiteit te Utrecht Add to Reading List Source URL: www-math.univ-poitiers.fr Language: English - Date: 2014-09-01 05:21:14 Functors Sheaf theory Natural transformation Adjoint functors Sheaf Grothendieck topology Limit Pushout Group action Abstract algebra Category theory Algebra
213	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematics Adjoint functors Computer programming Type theory F-coalgebra Initial algebra F-algebra Map Coalgebra Category theory Functional programming Software engineering
214	arXiv:1403.0020v1 [math.LO] 28 Feb[removed]Topos Semantics for Higher-Order Modal Logic Steve Awodey∗ Kohei Kishida† Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-07-29 07:19:05 Sheaf theory Heyting algebra Lattice theory Mathematical constructivism Order theory Topos Adjoint functors Sheaf Subobject classifier Category theory Abstract algebra Mathematics
215	Function Inheritance: Monadic Memoization Mixins Daniel Brown1 , William R. Cook2 1 2 Northeastern University, Boston, MA USA Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-02-24 15:46:52 Functional programming Adjoint functors Data types Programming idioms Functional languages Monad Memoization Recursion Parser combinator Software engineering Computer programming Computing
216	Codimension two index obstructions to positive scalar curvature Bernhard Hanke Daniel Pape∗ Thomas Schick† Add to Reading List Source URL: www.math.uni-augsburg.de Language: English - Date: 2014-10-26 07:59:31 Functional analysis Self-adjoint operator Hilbert space Atiyah–Singer index theorem Friedrichs extension Differentiable manifold Differential operator Adjoint functors Riemannian manifold Mathematical analysis Operator theory Mathematics
217	Advances in Programming Languages APL8: Monads and I/O Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-15 05:36:06 Data types Functional programming Type theory Adjoint functors Monad Map Option type Type class Haskell Software engineering Declarative programming Computing
218	TRANSACTIONSOF THE AMERICANMATHEMATICALSOCIETY Volume 195, 1974 T-FAITHFULSUBCATEGORIES ANDLOCALIZATION Add to Reading List Source URL: www.math.niu.edu Language: English - Date: 2014-08-20 16:06:58 Module theory Category theory Torsion Adjoint functors Subcategory Module Sheaf Reflective subcategory Category of rings Abstract algebra Algebra Homological algebra
219	SPECTRAL SEQUENCES MATTHEW GREENBERG 1. Introduction Definition 1. Let a ≥ 1. An a-th stage spectral (cohomological) sequence consists of the following data: Add to Reading List Source URL: www.math.mcgill.ca Language: English - Date: 2008-10-03 11:29:58 Spectral sequences Group theory Algebraic topology Functors Grothendieck spectral sequence Derived functor Serre spectral sequence Group cohomology Exact functor Abstract algebra Algebra Homological algebra
220	COMMUNICATIONS IN ALGEBRA, 2(5), 403–[removed]PERFECT QUOTIENT FUNCTORS John A. Beachy Department of Mathematical Sciences Northern Illinois University Add to Reading List Source URL: www.math.niu.edu Language: English - Date: 2001-10-16 16:49:11 Injective module Module Essential extension Torsion Dedekind domain Dense submodule Category of rings Structure Injective hull Abstract algebra Algebra Module theory

UPDATE