Stone functor

Results: 5



#Item
1

Subspaces in Abstract Stone Duality Paul Taylor August 11, 2003 Abstract By abstract Stone duality we mean that the topology or contravariant powerset functor, seen as a self-adjoint exponential Σ(−) on some category,

Add to Reading List

Source URL: www.monad.me.uk

Language: English - Date: 2009-02-12 13:03:25
    2

    Subspaces in Abstract Stone Duality Paul Taylor August 11, 2003 Abstract By abstract Stone duality we mean that the topology or contravariant powerset functor, seen as a self-adjoint exponential Σ(−) on some category,

    Add to Reading List

    Source URL: www.paultaylor.eu

    Language: English - Date: 2009-02-12 13:03:25
      3Morphism / Product / Cobordism / Category / Associative property / Cartesian closed category / Functor / Category theory / Mathematics / Algebra

      Physics, Topology, Logic, and Computation: A Rosetta Stone John C. Baez UC Riverside Mike Stay Google, U. of Auckland

      Add to Reading List

      Source URL: math.ucr.edu

      Language: English - Date: 2009-05-05 19:03:37
      4Discrete space / Continuous function / Compact space / Boolean algebra / Stone functor / Topology / General topology / Topological spaces

      The topology of Seemingly impossible functional programs The only difference between reality and fiction is that fiction needs to be credible. Mark Twain Mart´ın Escard´

      Add to Reading List

      Source URL: www.cs.bham.ac.uk

      Language: English - Date: 2012-01-28 17:00:50
      5Order theory / Non-standard analysis / Adjoint functors / Boolean algebra / Ultrafilter / Stone–Čech compactification / Filter / Monad / Ultraproduct / Topology / Mathematics / General topology

      Theory and Applications of Categories, Vol. 28, No. 13, 2013, pp. 332–370. CODENSITY AND THE ULTRAFILTER MONAD TOM LEINSTER Abstract. Even a functor without an adjoint induces a monad, namely, its codensity monad; thi

      Add to Reading List

      Source URL: www.emis.de

      Language: English - Date: 2013-07-01 12:49:00
      UPDATE