Functors

Results: 618



#Item
541Model theory / Combinatory logic / Logic in computer science / Function / Topos / Functor / Interpretation / Cartesian closed category / Adjoint functors / Mathematics / Mathematical logic / Lambda calculus

Partial Combinatory Algebras and Realizability Toposes Pieter J.W. Hofstra University of Ottawa

Add to Reading List

Source URL: mysite.science.uottawa.ca

Language: English - Date: 2012-03-30 10:43:13
542Category theory / Sigma-algebra / Functor / Adjoint functors / Concrete category / Structure / Dual / Spectrum of a ring / Embedding / Abstract algebra / Mathematics / Algebra

mn header will be provided by the publisher Birkhoff-Frink representations as functors

Add to Reading List

Source URL: www.uv.es

Language: English - Date: 2011-03-11 13:12:09
543Functors / Sheaf theory / Adjoint functors / Initial and terminal objects / Limit / Presheaf / Sheaf / Grothendieck topology / Filtered category / Category theory / Abstract algebra / Mathematics

Limits of small functors Brian J. Day Mathematics Department

Add to Reading List

Source URL: maths.mq.edu.au

Language: English - Date: 2010-07-27 22:21:29
544Functors / Homological algebra / Adjoint functors / Algebraic topology / Abelian category / Functor / Category of abelian groups / Natural transformation / Equivalence of categories / Category theory / Abstract algebra / Algebra

Reprints in Theory and Applications of Categories, No. 3, [removed]ABELIAN CATEGORIES

Add to Reading List

Source URL: tac.mta.ca

Language: English - Date: 2004-01-20 10:12:15
545Category theory / Homotopy theory / Algebraic structures / Symmetry / Higher category theory / Groupoid / Equivalence relation / Group action / Adjoint functors / Abstract algebra / Mathematics / Algebra

Univalence For Free Matthieu Sozeau1,2 and Nicolas Tabareau1,3 1

Add to Reading List

Source URL: hal.archives-ouvertes.fr

Language: English - Date: 2013-03-21 05:10:37
546Algebra / Functional programming / Adjoint functors / Universal algebra / Monad / Model theory / F-coalgebra / Structure / F-algebra / Abstract algebra / Mathematics / Category theory

Proceedings (preliminary version) 10th International Workshop on

Add to Reading List

Source URL: homepages.cwi.nl

Language: English - Date: 2010-03-24 09:06:18
547Adjoint functors / Algebra / Monomorphism / Epimorphism / Limit / Duality / Equivalence of categories / Universal property / Sheaf / Category theory / Abstract algebra / Morphisms

Theory and Applications of Categories, Vol. 20, No. 15, 2008, pp. 504–542. ISBELL DUALITY

Add to Reading List

Source URL: www.tac.mta.ca

Language: English - Date: 2008-11-29 11:12:59
548Algebraic topology / Adjoint functors / William Lawvere / Homological algebra / Monad / Functor / Algebra / Topos / Sheaf / Abstract algebra / Category theory / Mathematics

FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

Add to Reading List

Source URL: www.tac.mta.ca

Language: English - Date: 2004-10-21 12:10:16
549Functors / Algebraic topology / Sheaf / Limit / Coproduct / Initial and terminal objects / Subcategory / Cartesian closed category / Diagram / Category theory / Abstract algebra / Mathematics

Fibred Data Types Neil Ghani, Lorenzo Malatesta

Add to Reading List

Source URL: cs.swan.ac.uk

Language: English - Date: 2013-05-02 18:57:40
550Abstract algebra / Algebraic topology / Operad theory / Simplicial set / Definition / Nerve / Intuition / Adjoint functors / Eāˆž-operad / Category theory / Mathematics / Algebra

Higher-Dimensional Categories: an illustrated guide book

Add to Reading List

Source URL: cheng.staff.shef.ac.uk

Language: English - Date: 2006-10-26 07:27:22
UPDATE