Functors - PDFSEARCH.IO - Document Search Engine

Functors
Results: 618

#	Item
391	VAN KAMPEN THEOREMS FOR DIAGRAMS OF SPACES∗ Ronald Brown and Jean-Louis Loday INTRODUCTION LET X be a pointed space and {A, B} an open cover of X such that A, B and C = A ∩ B are connected, and (A, C), (B, C) are 1-c Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2008-04-14 14:49:48 Homotopy theory Homotopy group Crossed module Fundamental group Covering space Sheaf Functor Adjoint functors Group cohomology Abstract algebra Topology Algebraic topology
392	Crossed complexes and chain complexes with operators∗ by RONALD BROWN School of Mathematics, University College of North Wales, Bangor, Gwynedd LL57 1UT PHILIP J. HIGGINS Department of Mathematical Sciences, University Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2008-04-04 03:58:11 Homotopy theory Category theory Algebraic topology Group theory Group actions Groupoid Category Adjoint functors Crossed module Abstract algebra Algebra Mathematics
393	Category Theory: an abstract setting for analogy and comparison R. Brown and T.Porter Abstract ‘Comparison’ and ‘Analogy’ are fundamental aspects of knowledge acquisition. We argue that one of the reasons for the Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2005-10-05 12:18:56 Functors Algebraic structures Homotopy theory Higher category theory Groupoid Category Natural transformation Initial and terminal objects Group action Abstract algebra Category theory Mathematics
394	Derived categories. Winter[removed]Igor V. Dolgachev May 5, 2009 ii Add to Reading List Source URL: www.math.lsa.umich.edu Language: English - Date: 2009-05-05 15:12:00 Functors Additive categories Homological algebra Initial and terminal objects Functor category Functor Yoneda lemma Natural transformation Abelian category Category theory Abstract algebra Mathematics
395	Internalization of the Groupoid Interpretation of Homotopy Type Theory Matthieu Sozeau1,2 and Nicolas Tabareau1,3 1 πr2 and Ascola teams, INRIA Preuves, Programmes et Syst`emes (PPS) Add to Reading List Source URL: mattam.org Language: English - Date: 2014-02-10 10:38:50 Homotopy theory Groupoid Equivalence relation Group action Path Homotopy Functor Adjoint functors 2-group Abstract algebra Topology Mathematics
396	Monadic Abstract Interpreters Ilya Sergey Dominique Devriese Matthew Might Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:27 Abstract algebra Functional programming Monad Model theory Structure Spectrum Parity of a permutation Mathematics Adjoint functors Algebra
397	Morphisms, Hemimorphisms and Baer ∗ -Semigroups C. Piron1 The relationship between CROCs (complete orthomodular lattices) and complete Baer ∗ semigroups is discussed using an explicit construction of the adjoint of a Add to Reading List Source URL: www.phytheomat.ch Language: English - Date: 2007-12-26 07:15:25 Mathematics Operator theory Linear temporal logic Functional analysis Adjoint functors Projection
398	Advanced Facet Theory for Facet Engineers -- Kent D. Palmer This comes out of the theory of Quantum Mechanics, which even though it is hard to understand, it is an extremely highly confirmed Add to Reading List Source URL: holonomic.net Language: English - Date: 2014-02-16 18:19:39 Ontology Functional programming Monad Qualia Gottfried Leibniz Reality Quantum mechanics Introduction to quantum mechanics Philosophy Adjoint functors Metaphysics
399	The Typeclassopedia by Brent Yorgey [removed] The standard Haskell libraries feature a number of type classes with algebraic or category-theoretic underpinnings. Becoming a fluent Haskell hacker requires in Add to Reading List Source URL: www.haskell.org Language: English - Date: 2011-08-16 16:00:20 Computing Data types Adjoint functors Type theory Monad Map Option type Functor Natural transformation Declarative programming Software engineering Functional programming
400	Under consideration for publication in J. Functional Programming 1 The Essence of the Iterator Pattern Jeremy Gibbons and Bruno C. d. S. Oliveira Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2008-03-11 08:14:50 Category theory Monad Functor Map Natural transformation Monoid List Applicative programming language Strong monad Adjoint functors Abstract algebra Software engineering

UPDATE