Functors - PDFSEARCH.IO - Document Search Engine

Functors
Results: 618

#	Item
481	Under consideration for publication in Math. Struct. in Comp. Science The limit-colimit coincidence theorem for Add to Reading List Source URL: tcs.uj.edu.pl Language: English - Date: 2009-10-26 10:50:27 Functor Adjoint functors Uniform space Function Yoneda lemma Continuous function Natural transformation Initial and terminal objects Linear temporal logic Mathematics Mathematical analysis Limit
482	Computational lambda-calculus and monads Eugenio Moggi∗ Lab. for Found. of Comp. Sci. Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2002-07-31 04:30:25 Mathematics Monad Symbol Kleisli category Lambda calculus Denotational semantics Normalisation by evaluation Adjoint functors Theoretical computer science Applied mathematics
483	Coeffects: Unified static analysis of context-dependence Tomas Petricek, Dominic Orchard and Alan Mycroft University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-30 05:07:23 Adjoint functors Logic in computer science Programming language semantics Lambda calculus Models of computation Monad Simply typed lambda calculus Function Entailment Logic Mathematics Theoretical computer science
484	Generalizations of Hedberg’s Theorem Nicolai Kraus1 , Mart´ın Escard´o2 , Thierry Coquand3 , and Thorsten Altenkirch1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-11 19:04:46 Function Adjoint functors Interpretation First-order logic Heyting algebra Mathematics Mathematical analysis Model theory
485	EMMY NOETHER’S “SET THEORETIC” TOPOLOGY: FROM DEDEKIND TO THE FIRST FUNCTORS COLIN MCLARTY Add to Reading List Source URL: www.math.jussieu.fr Language: English - Date: 2003-10-08 10:02:16 Algebraic structures Isomorphism theorems Mathematical structures Emmy Noether Ring theory Algebraic topology Ring Category theory Colin McLarty Abstract algebra Algebra Mathematics
486	Theory and Applications of Categories, Vol. 28, No. 21, 2013, pp. 616–695. ENRICHED INDEXED CATEGORIES Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2013-08-05 14:35:47 Functors Enriched category Coproduct Cartesian closed category Monoidal functor Product Braided monoidal category Fibred category Monoid Category theory Algebra Monoidal categories
487	JUVITOP ON BOUSFIELD LOCALIZATION DAVID WHITE Add to Reading List Source URL: math.mit.edu Language: English - Date: 2013-02-22 11:09:51 Homotopy theory Category theory Functors Homology theory Algebraic topology Model category Homotopy category Equivalence of categories Natural transformation Abstract algebra Topology Mathematics
488	FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES* BY F. WILLIAM LAWVERE REED COLLEGE, PORTLAND, OREGON Add to Reading List Source URL: www.pnas.org Language: English - Date: 2005-04-22 14:56:27 Abstract algebra Functors Adjoint functors Category of rings Free object Algebraic theory Equivalence of categories Initial and terminal objects Natural transformation Category theory Mathematics Algebra
489	1506 MATHEMATICS: F. W. LAWVERE Add to Reading List Source URL: www.pnas.org Language: English - Date: 2005-04-22 15:00:13 Homological algebra Algebraic topology Sheaf Peano axioms Axiom of choice Function Injective function Adjoint functors Isomorphism Mathematics Mathematical logic Functions and mappings
490	Derived Algebraic Geometry I: Stable ∞-Categories October 8, 2009 Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2009-10-08 17:38:57 Homotopy theory Homological algebra Triangulated category Functor Adjoint functors Initial and terminal objects Universal property Coproduct Image Abstract algebra Category theory Mathematics

UPDATE