Functors

Results: 618



#Item
291Cardinal number / Sheaf / Adjoint functors / Topos / Grothendieck universe / Limit / Universal property / Natural transformation / Functor / Category theory / Mathematics / Abstract algebra

Theory and Applications of Categories, Vol. 27, No. 7, 2012, pp. 97–173. EXACT COMPLETIONS AND SMALL SHEAVES MICHAEL SHULMAN Abstract. We prove a general theorem which includes most notions of “exact completion” a

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2012-09-04 13:55:00
292Sheaf theory / Adjoint functors / Topos / Sheaf / Reflective subcategory / Grothendieck topology / Functor / Epimorphism / Equivalence of categories / Category theory / Abstract algebra / Algebra

Theory and Applications of Categories, Vol. 28, No. 9, 2013, pp. 241–249. GEOMETRIC MORPHISMS OF REALIZABILITY TOPOSES PETER JOHNSTONE Abstract. We show that every geometric morphism between realizability toposes sati

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2013-05-03 13:01:00
293Monoidal categories / Morphisms / Adjoint functors / Monoid / Epimorphism / Category of abelian groups / Functor / Abelian category / Monad / Category theory / Abstract algebra / Algebra

Theory and Applications of Categories, Vol. 27, No. 10, 2012, pp. 210–221. DESCENT IN MONOIDAL CATEGORIES BACHUKI MESABLISHVILI Abstract. We consider a symmetric monoidal closed category V = (V , ⊗, I, [−, −]) t

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2012-10-09 13:31:00
294Group theory / Homological algebra / Functors / Sheaf theory / Adjoint functors / Abelian category / Product / Limit / Sheaf / Abstract algebra / Category theory / Algebra

Theory and Applications of Categories, Vol. 27, No. 15, 2013, pp. 347–392. ON ACTIONS AND STRICT ACTIONS IN HOMOLOGICAL CATEGORIES MANFRED HARTL AND BRUNO LOISEAU Abstract. Let G be an object of a finitely cocomplete

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2013-03-13 14:34:00
295Adjoint functors / Limit / Diagram / Equivalence of categories / Universal property / Representable functor / Monad / Complete category / Natural transformation / Category theory / Abstract algebra / Functors

C AHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES G. M. K ELLY Structures defined by finite limits in the

Add to Reading List

Source URL: archive.numdam.org

Language: English - Date: 2008-04-09 04:39:15
296Functional programming / Adjoint functors / Control flow / Functional languages / Monad / Delimited continuation / Continuation / Map / J / Software engineering / Computer programming / Computing

1 Delimited continuations in Haskell This section describes programming with delimited control in Haskell. Delimited control, like its instance, exceptions, is an effect. Therefore, we have to use

Add to Reading List

Source URL: okmij.org

Language: English - Date: 2011-09-28 00:23:40
297Model theory / Combinatory logic / Lambda calculus / Logic in computer science / Symbol / Derivative / Interpretation / State space / FO / Mathematics / Mathematical logic / Mathematical analysis

VARIABLE-BINDERS AS FUNCTORS Achille C. Varzi Istituto per la Ricerca Scientifica e Tecnologica (IRST) I[removed]Povo (Trento), Italy (Published in Pozna´n Studies in the Philosophy of the Sciences and the Humanities 40 (

Add to Reading List

Source URL: www.columbia.edu

Language: English - Date: 2000-01-23 09:46:11
298Category theory / Monoidal categories / Type theory / Limit / Cartesian closed category / Enriched category / Functor / Universal property / Subtype polymorphism / Mathematics / Abstract algebra / Algebra

Functors are Type Refinement Systems Paul-André Melliès Noam Zeilberger CNRS, Université Paris Diderot

Add to Reading List

Source URL: noamz.org

Language: English - Date: 2014-10-31 10:07:15
299Functional analysis / Self-adjoint operator / Hilbert space / Atiyah–Singer index theorem / Friedrichs extension / Differentiable manifold / Differential operator / Adjoint functors / Riemannian manifold / Mathematical analysis / Operator theory / Mathematics

Codimension two index obstructions to positive scalar curvature Bernhard Hanke Daniel Pape∗ Thomas Schick†

Add to Reading List

Source URL: www.math.uni-augsburg.de

Language: English - Date: 2014-10-26 07:59:31
300Triangulated category / Stable module category / Injective module / Derived category / Grothendieck topology / Sheaf / Local cohomology / D-module / Adjoint functors / Abstract algebra / Algebra / Homological algebra

LOCAL COHOMOLOGY AND SUPPORT FOR TRIANGULATED CATEGORIES DAVE BENSON, SRIKANTH B. IYENGAR, AND HENNING KRAUSE To Lucho Avramov, on his 60th birthday. Abstract. We propose a new method for defining a notion of support fo

Add to Reading List

Source URL: www2.math.uni-paderborn.de

Language: English - Date: 2008-02-12 06:08:25
UPDATE