Closed category - PDFSEARCH.IO - Document Search Engine

Closed category
Results: 176

#	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	1 Documenta Math. Convexity, Valuations ¨ fer Extensions in Real Algebra Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2005-11-04 17:23:56 Algebra Abstract algebra Mathematics Ring theory Valuation Real closed ring Ring Integral element Subring Commutative ring Associative algebra Category of rings
5	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
6	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
7	ALTY SuperDividend® Alternatives ETF ETF Category: Income - SuperDividend As of Add to Reading List Source URL: www.globalxfunds.com Language: English - Date: 2016-07-18 11:34:23 Corporate finance Investment Collective investment schemes Equity securities Real estate investment trust Income trust Private equity Closed-end fund Exchange-traded fund Source UK Services
8	An introduction to equivariant homotopy theory Groups Consider compact Lie groups G and their closed subgroups H. Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2010-06-25 16:26:27 Homotopy theory Group actions Group theory Algebraic topology Cohomology Equivariant cohomology Functor Homotopy Spectrum Burnside category Generalised Whitehead product
9	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
10	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

UPDATE