Results 1 - 10
of
17
Data types à la carte
"... This paper describes a technique for assembling both data types and functions from isolated individual components. We also explore how the same technology can be used to combine free monads and, as a result, structure Haskell’s monolithic IO monad. 1 ..."
Abstract
-
Cited by 17 (1 self)
- Add to MetaCart
This paper describes a technique for assembling both data types and functions from isolated individual components. We also explore how the same technology can be used to combine free monads and, as a result, structure Haskell’s monolithic IO monad. 1
To Properly Reflect Physicists’ Reasoning about Randomness, We Also Need a Maxitive (Possibility
- Measure”, Proc. FUZZIEEE’2005
"... According to the traditional probability theory, events with a positive but very small probability can occur (although very rarely). For example, from the purely mathematical viewpoint, it is possible that the thermal motion of all the molecules in a coffee cup goes in the same direction, so this cu ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
According to the traditional probability theory, events with a positive but very small probability can occur (although very rarely). For example, from the purely mathematical viewpoint, it is possible that the thermal motion of all the molecules in a coffee cup goes in the same direction, so this cup will start lifting up. In contrast, physicists believe that events with extremely small probability cannot occur. In this paper, we show that to get a consistent formalization of this belief, we need, in addition to the original probability measure, to also consider a maxitive (possibility) measure. We also show that the resulting advanced and somewhat difficult-to-described definition can be actually viewed as a particular case of something very natural: the general notion of boundedness. c ○ 2007 World Academic Press, UK. All rights reserved. 1
The expression lemma ⋆
"... Abstract. Algebraic data types and catamorphisms (folds) play a central role in functional programming as they allow programmers to define recursive data structures and operations on them uniformly by structural recursion. Likewise, in object-oriented (OO) programming, recursive hierarchies of objec ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
Abstract. Algebraic data types and catamorphisms (folds) play a central role in functional programming as they allow programmers to define recursive data structures and operations on them uniformly by structural recursion. Likewise, in object-oriented (OO) programming, recursive hierarchies of object types with virtual methods play a central role for the same reason. There is a semantical correspondence between these two situations which we reveal and formalize categorically. To this end, we assume a coalgebraic model of OO programming with functional objects. The development may be helpful in deriving refactorings that turn sufficiently disciplined functional programs into OO programs of a designated shape and vice versa. Key words: expression lemma, expression problem, functional object, catamorphism, fold, the composite design pattern, program calculation, distributive law, free monad, cofree comonad. 1
MSc in Logic
, 2010
"... under the supervision of Prof.dr J. F. A. K. van Benthem, and submitted to the Board of ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
under the supervision of Prof.dr J. F. A. K. van Benthem, and submitted to the Board of
A Unified Sheaf-Theoretic Account Of Non-Locality and Contextuality
, 2011
"... A number of landmark results in the foundations of quantum mechanics show that quantum systems exhibit behaviour that defies explanation in classical terms, and that cannot be accounted for in such terms even by postulating “hidden variables” as additional unobserved factors. Much has been written o ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
A number of landmark results in the foundations of quantum mechanics show that quantum systems exhibit behaviour that defies explanation in classical terms, and that cannot be accounted for in such terms even by postulating “hidden variables” as additional unobserved factors. Much has been written on these matters, but there is surprisingly little unanimity even on basic definitions or the inter-relationships among the various concepts and results. We use the mathematical language of sheaves and monads to give a very general and mathematically robust description of the behaviour of systems in which one or more measurements can be selected, and one or more outcomes observed. We say that an empirical model is extendable if it can be extended consistently to all sets of measurements, regardless of compatibility. A hidden-variable model is factorizable if, for each value of the hidden variable, it factors as a product of distributions on the basic measurements. We prove that an empirical model is extendable if and only if there is a factorizable hidden-variable model which realizes it. From this we are able to prove generalized versions of well-known No-Go theorems. At the conceptual level, our equivalence result says that the existence of incompatible measurements is the essential ingredient in non-local and contextual behavior in quantum mechanics.
DISTRIBUTIVE LAWS IN PROGRAMMING STRUCTURES
, 2009
"... Generalised Distributive laws in Computer Science are rules governing the transformation of one programming structure into another. In programming, they are programs satisfying certain formal conditions. Their importance has been to date documented in several isolated cases by diverse formal approac ..."
Abstract
- Add to MetaCart
Generalised Distributive laws in Computer Science are rules governing the transformation of one programming structure into another. In programming, they are programs satisfying certain formal conditions. Their importance has been to date documented in several isolated cases by diverse formal approaches. These applications have always meant leaps in understanding the nature of the subject. However, distributive laws have not yet been given the attention they deserve. One of the reasons for this omission is certainly the lack of a formal notion of distributive laws in their full generality. This hinders the discovery and formal description of occurrences of distributive laws, which is the precursor of any formal manipulation. In this thesis, an approach to formalisation of distributive laws is presented based on the functorial approach to formal Category Theory pioneered by Lawvere and others, notably Gray. The proposed formalism discloses a rather simple nature of distributive laws of the kind found in programming structures based on lax 2-naturality and Gray’s tensor product of 2-categories. It generalises the existing more specific notions of distributive
Recursion and the infinitude claim ∗
"... We address certain recent suggestions that the existence of infinitely many grammatical expressions in human languages (the infinitude claim) is a universal of human language. We examine the arguments given for the infinitude claim, and show that they tacitly depend on the unwarranted assumption tha ..."
Abstract
- Add to MetaCart
We address certain recent suggestions that the existence of infinitely many grammatical expressions in human languages (the infinitude claim) is a universal of human language. We examine the arguments given for the infinitude claim, and show that they tacitly depend on the unwarranted assumption that the only way to represent the structural properties of a language is by means of a generative grammar with a recursive rule system. We explore some of the reasons why linguists have been so willing to accept language infinitude despite its inadequate support and its paucity of linguistic consequences. We suggest that the infinitude claim is motivated chiefly by an inadvisable adherence to the notion that languages are sets. It is not motivated by considerations of the creative aspect of language use, or opposition to associationist psychology, or the putative universality of iterable linguistic structure such as recursive embedding or unbounded coordination (which are in any case probably not universal). 1 Infinitude as a linguistic universal In a number of recent works, linguists have portrayed the infinitude of sentences in human languages as an established linguistic universal. Lasnik (2000) asserts, in the opening chapter of a textbook based on transcriptions of a series of introductory syntax lectures:
Generalized Topological Semantics for First-Order Modal Logic 1
, 2010
"... Abstract. This dissertation provides a new semantics for first-order modal logic. It is philosophically motivated by the epistemic reading of modal operators and, in particular, three desiderata in the analysis of epistemic modalities. (i) The semantic modelling of epistemic modalities, in particula ..."
Abstract
- Add to MetaCart
Abstract. This dissertation provides a new semantics for first-order modal logic. It is philosophically motivated by the epistemic reading of modal operators and, in particular, three desiderata in the analysis of epistemic modalities. (i) The semantic modelling of epistemic modalities, in particular verifiability and falsifiability, cannot be properly achieved by Kripke’s relational notion of accessibility. It requires instead a more general, topological notion of accessibility. (ii) Also, the epistemic reading of modal operators seems to require that we combine modal logic with fully classical first-order logic. For this purpose, however, Kripke’s semantics for quantified modal logic is inadequate; its logic is free logic as opposed to classical logic. (iii) More importantly, Kripke’s semantics comes with a restriction that is too strong to let us semantically express, for instance, that the identity of Hesperus and Phosphorus, even if metaphysically necessary, can still be a matter of epistemic discovery. To provide a semantics that accommodates the three desiderata, I show, on the one hand, how the desideratum (i) can be achieved with topological semantics, and more generally neighborhood semantics, for propositional modal logic. On the other hand, to achieve (ii) and (iii), it turns out
Categorial compositionality continued: A category theory explanation for quasi-systematicity
"... universal construction The classical account for systematicity of human cognition supposes: (1) syntactically compositional representations; and (2) processes that are sensitive to their structure. The problem with this account is that there is no explanation as to why these two components must be c ..."
Abstract
- Add to MetaCart
universal construction The classical account for systematicity of human cognition supposes: (1) syntactically compositional representations; and (2) processes that are sensitive to their structure. The problem with this account is that there is no explanation as to why these two components must be compatible, other than by ad hoc assumption (convention) to exclude nonsystematic variants that, e.g., mix prefix and postfix concatenative compositional schemes. Recently, we proposed an alternative explanation (Phillips & Wilson, 2010) without ad hoc assumptions, using a branch of mathematics, called category theory. In this paper, we extend our explanation to domains that are quasi-systematic (e.g., language), where the domain includes some but not all possible combinations of constituents. The central category-theoretic construct is an adjunction involving pullbacks, where the focus is on the relations between processes, rather than the representations. In so far as cognition is systematic, the basic building blocks of cognitive architecture are adjunctions by our theory.

