scholarly journals Compactly generated stacks: A Cartesian closed theory of topological stacks

2012 ◽  
Vol 229 (6) ◽  
pp. 3339-3397 ◽  
Author(s):  
David Carchedi
Keyword(s):  
Cartesian Closed ◽  
Closed Theory ◽  
Compactly Generated

scholarly journals Comparing Cartesian closed categories of (core) compactly generated spaces

2004 ◽  
Vol 143 (1-3) ◽  
pp. 105-145 ◽  
Author(s):  
Martín Escardó ◽  
Jimmie Lawson ◽  
Alex Simpson
Keyword(s):  
Cartesian Closed Categories ◽  
Cartesian Closed ◽  
Compactly Generated

scholarly journals Eilenberg–Mac Lane Spaces for Topological Groups

Axioms ◽  
2019 ◽  
Vol 8 (3) ◽  
pp. 90
Author(s):  
Ged Corob Cook
Keyword(s):  
Careful Analysis ◽  
Profinite Groups ◽  
Topological Groups ◽  
Hausdorff Spaces ◽  
Topological Version ◽  
Group Object ◽  
Cartesian Closed ◽  
Model Structures ◽  
Mac Lane ◽  
Compactly Generated

In this paper, we establish a topological version of the notion of an Eilenberg–Mac Lane space. If X is a pointed topological space, π 1 ( X ) has a natural topology coming from the compact-open topology on the space of maps S 1 → X . In general, the construction does not produce a topological group because it is possible to create examples where the group multiplication π 1 ( X ) × π 1 ( X ) → π 1 ( X ) is discontinuous. This discontinuity has been noticed by others, for example Fabel. However, if we work in the category of compactly generated, weakly Hausdorff spaces, we may retopologise both the space of maps S 1 → X and the product π 1 ( X ) × π 1 ( X ) with compactly generated topologies to see that π 1 ( X ) is a group object in this category. Such group objects are known as k-groups. Next we construct the Eilenberg–Mac Lane space K ( G , 1 ) for any totally path-disconnected k-group G. The main point of this paper is to show that, for such a G, π 1 ( K ( G , 1 ) ) is isomorphic to G in the category of k-groups. All totally disconnected locally compact groups are k-groups and so our results apply in particular to profinite groups, answering a question of Sauer’s. We also show that analogues of the Mayer–Vietoris sequence and Seifert–van Kampen theorem hold in this context. The theory requires a careful analysis using model structures and other homotopical structures on cartesian closed categories as we shall see that no theory can be comfortably developed in the classical world.

scholarly journals Dynamic game semantics

2020 ◽  
pp. 1-60
Author(s):  
Norihiro Yamada ◽  
Samson Abramsky
Keyword(s):  
Programming Languages ◽  
Functional Programming ◽  
Operational Semantics ◽  
Dynamic Game ◽  
Standard Interpretation ◽  
Functional Programming Languages ◽  
Game Semantics ◽  
Wide Range ◽  
Cartesian Closed Categories ◽  
Cartesian Closed

Abstract The present work achieves a mathematical, in particular syntax-independent, formulation of dynamics and intensionality of computation in terms of games and strategies. Specifically, we give game semantics of a higher-order programming language that distinguishes programmes with the same value yet different algorithms (or intensionality) and the hiding operation on strategies that precisely corresponds to the (small-step) operational semantics (or dynamics) of the language. Categorically, our games and strategies give rise to a cartesian closed bicategory, and our game semantics forms an instance of a bicategorical generalisation of the standard interpretation of functional programming languages in cartesian closed categories. This work is intended to be a step towards a mathematical foundation of intensional and dynamic aspects of logic and computation; it should be applicable to a wide range of logics and computations.

scholarly journals All cartesian closed categories of quasicontinuous domains consist of domains

2015 ◽  
Vol 594 ◽  
pp. 143-150 ◽  
Author(s):  
Xiaodong Jia ◽  
Achim Jung ◽  
Hui Kou ◽  
Qingguo Li ◽  
Haoran Zhao
Keyword(s):  
Cartesian Closed Categories ◽  
Cartesian Closed
Sign in / Sign up

Export Citation Format

Share Document