following the categorical approach to universal algebra through algebraic theories, proposed by f.~w.~lawvere in his phd thesis, this paper aims at introducing a similar setting for general topology. the cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. we introduce t...

Dyslexia is commonly described as a disorder manifested by difficulties in learning to read and spell, despite adequate intelligence and conventional instruction. It is often diagnosed on the basis of a discrepancy between measures of reading ability and other cognitive skills, and is said to occur in 4–7% of children [1]. Explanations for dyslexia fall into three main categories. Perhaps the m...

The problems of the identity of proofs, equivalences of reductions in term rewriting systems and coherence in categories all share the common goal of describing the notion of equivalence generated by a two-dimensional congruence. This thesis provides a unifying setting for studying such structures, develops general tools for determining when a congruence identifies all reasonable parallel pairs...

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v Declaration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ix Acknowledgements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xi 1 Prelude 1 The Very Idea of Representation . . . . . . . . . . . . . . . . . . . . . . . . . 2 Types of Similarity . . . . . . . . . . . . . . . . . ...

Author identification models fall into two major categories according to the way they handle the training texts: profile-based models produce one representation per author while instance-based models produce one representation per text. In this paper, we propose an approach that combines two well-known representatives of these categories, namely the Common nGrams method and a Support Vector Mac...

The challenge of associating entities across multiple domains is a key problem in social media understanding. Successful cross-domain entity resolution provides integration of information from multiple sites to create a complete picture of user and community activities, characteristics, and trends. In this work, we examine the problem of entity resolution across Twitter and Instagram using gene...