Cartesian closed category - PDFSEARCH.IO - Document Search Engine

Cartesian closed category
Results: 66

#	Item
1	Internal Completeness of Categories of Domains Paul Taylor 1985 This paper was presented at Category Theory and Computer Programming bf 1, University of Surrey (Guildford), SeptemberIt was published in Springer-Ve Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:48:17 Mathematics Algebra Topology Homotopy theory Category theory Algebraic topology Differential topology Sheaf theory Pullback Fibration Cartesian closed category Product
2	arXiv:0903.0340v3 [quant-ph] 6 JunPhysics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-06-05 20:47:48 Category theory Algebra Mathematics Monoidal categories Lambda calculus Functors Algebraic topology Cartesian closed category Topological quantum field theory Morphism Natural transformation Coproduct
3	Monoidal Indeterminates and Categories of Possible WorldsI C. Hermida, R. D. Tennent∗ School of Computing, Queen’s University, Kingston, Canada K7L 3N6 Abstract Given any symmetric monoidal category C, a small symmet Add to Reading List Source URL: maggie.cs.queensu.ca Language: English - Date: 2011-12-16 22:41:04 Category theory Algebra Mathematics Monoidal categories Monoid Enriched category Adjoint functors Cartesian closed category Coproduct Bicategory Functor Sheaf
4	Classical Mechanics, Lecture 19 March 13, 2008 lecture by John Baez notes by Alex Hoffnung 1 Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2008-03-14 21:10:26 Mathematical analysis Mathematics Theoretical physics Operator theory Differential geometry Functional analysis Hilbert space Tensor product of Hilbert spaces Poisson manifold Cartesian closed category Linear temporal logic
5	The Trace Factorisation of Stable Functors Paul Taylor 1998 Abstract A functor is stable if it has a left adjoint on each slice. Such functors arise as forgetful functors from categories of models of disjunctive theories Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:08:46 Functors Category theory Sheaf theory Adjoint functors Universal property Cartesian closed category Limit Natural transformation Product Initial and terminal objects Grothendieck topology Sheaf
6	A Fibrational Framework for Possible-World Semantics of ALGOL-like Languages C. Hermida and R. D. Tennent School of Computing Queen’s University Kingston, Canada Add to Reading List Source URL: maggie.cs.queensu.ca Language: English - Date: 2007-01-30 15:35:55 Category theory Functors Algebraic topology Homotopy theory Fibred category Cartesian closed category Natural transformation Universal property Sheaf Fibration Product Dual
7	FROBENIUS PROPERTY OF A WEAK FACTORISATION SYSTEM Abstract. In this note I would like to show that if a locally Cartesian closed category with the type structure induced by a weak factorisation system supports Π-types, Add to Reading List Source URL: covariant.me Language: English - Date: 2016-04-19 03:32:37
8	Equideductive Logic and CCCs with Subspaces Paul Taylor Computer Laboratory University of Cambridge Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:35:41 Logic Theoretical computer science Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol General topology Cartesian closed category Lambda calculus
9	A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:48 Category theory Models of computation Adjoint functors Functional programming Logic in computer science Denotational semantics Lambda calculus Cartesian closed category Sheaf F-algebra Kleisli category Monad
10	BRICS Basic Research in Computer Science BRICS RSPower et al.: A Representation Result for Free Cocompletions A Representation Result for Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-10-06 07:03:41 Functors Monad Kleisli category Limit Universal property Natural transformation Equivalence of categories Enriched category Cartesian closed category Category theory Adjoint functors Monoidal categories

UPDATE