Functors - PDFSEARCH.IO - Document Search Engine

Functors
Results: 618

#	Item
451	NOTIONS OF ANONYMOUS EXISTENCE ¨ TYPE THEORY IN MARTIN-LOF Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-03-31 11:37:40 Model theory Mathematical constructivism Function Lambda calculus Interpretation Type theory Universal quantification Adjoint functors Primitive recursive arithmetic Mathematics Mathematical logic Logic
452	Game semantics in string diagrams Paul-André Melliès Laboratoire Preuves, Programmes, Systèmes Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-09-28 07:43:12 Logic in computer science Monoidal categories Lambda calculus Non-classical logic Models of computation Cartesian closed category Adjoint functors Closed monoidal category Sheaf Mathematics Category theory Abstract algebra
453	NOTES ON FACTORIZABLE SHEAVES This is a preliminary version. Imprecisions are likely. Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2012-01-30 16:01:34 Monoidal categories Algebras Algebraic topology Lie algebras Representation theory of Lie algebras Hopf algebra Associative algebra Sheaf Adjoint functors Abstract algebra Algebra Mathematics
454	Categories and Homological Algebra Pierre Schapira http://www.math.jussieu.fr/˜schapira/lectnotes Add to Reading List Source URL: www.math.jussieu.fr Language: English - Date: 2011-10-13 06:36:42 Homological algebra Functors Triangulated category Yoneda lemma Derived category Derived functor Adjoint functors Representable functor Equivalence of categories Category theory Abstract algebra Algebra
455	Derived Algebraic Geometry Over En -Rings John Francis Add to Reading List Source URL: www.math.northwestern.edu Language: English - Date: 2011-03-03 06:58:25 Category theory Adjoint functors Monoidal categories Algebraic topology E∞-operad Operad theory Cotangent complex Functor Monad Abstract algebra Algebra Mathematics
456	roporogy Vol. 17. pp[removed] @ Pngamon Press Ltd[removed]. Add to Reading List Source URL: www.math.uchicago.edu Language: English - Date: 2010-03-16 21:51:09 Algebraic topology Homotopy category Homotopy Functor Adjoint functors Equivalence of categories Sheaf Natural transformation Whitehead theorem Abstract algebra Topology Homotopy theory
457	Theory and Applications of Categories, Vol. 10, No. 1, 2002, pp. 1–70. A SURVEY OF DEFINITIONS OF n-CATEGORY Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2002-01-13 14:26:29 Functors Bicategory Natural transformation Equivalence of categories 2-category Grothendieck topology Monoidal category Adjoint functors Nerve Category theory Abstract algebra Higher category theory
458	Pr´ epublications Math´ ematiques Add to Reading List Source URL: www.analg.ulg.ac.be Language: English - Date: 2007-10-22 09:56:59 Algebra Additive categories Functors Niels Henrik Abel Abelian category Sheaf Derived functor Derived category Abelian group Abstract algebra Category theory Homological algebra
459	Pr´ epublications Math´ ematiques Add to Reading List Source URL: www.anmath.ulg.ac.be Language: English - Date: 2007-10-22 10:29:00 Homological algebra Functors Additive categories Adjoint functors Exact functor Abelian category Derived functor Sheaf Inverse limit Category theory Abstract algebra Algebra
460	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: maths.mq.edu.au Language: English - Date: 2010-07-27 22:21:28 Adjoint functors Functors Higher category theory Categorical logic Lawvere theory William Lawvere Clone Monad Sheaf Category theory Abstract algebra Mathematics

UPDATE