A multidisciplinary , collaborative project of 1. Introduction The debate about verifiable voter audit trails has prematurely narrowed into two camps: those who categorically deny the need for any backup records and those who advocate the Voter Verifiable Paper Audit Trail (VVPAT). As jurisdictions and watchdog groups prepare to define their election processes we should consider all alternatives.

We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularity, exactness and the existence of a suitable generator. The notions of regularity and exactness need to be understood in the sense of category theory enriched over posets. We also prove that finitary varieties of ordered algebras are cocompletions of their theories under sifted colimits (again, i...

This paper has two goals: first, to account for some metrical patterns attested in Russian iambic tetrameter; and second, to show how a grammar of categorically ranked constraints can make predictions about non-categorical phenomena. The general framework adopted here is that of generative metrics; this paper proposes a new constraint-based approach that builds most directly on the work of Frie...

In this issue, Fitzgerald et al. (2013) show that LIP neurons in monkeys encode categorically distinct task conditions using a scalar code. Activity scales up or down to encode different categories, with neurons maintaining proportional levels of activity in relation to one another.

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...

Abstract If categorical equivalence is a good criterion of theoretical equivalence, then it would seem that if some class mathematical structures represented as category, any other categorically equivalent to will have the same representational capacities. Hudetz (2019a) has presented an apparent counterexample this claim; in note, I argue fails.

Ignoring an object slows subsequent naming responses to it, a phenomenon known as negative priming (NP). A central issue in NP research concerns the level of representation at which the effect occurs. As object naming is typically considered to involve access to abstract semantic representations, Tipper 1985 proposed that the NP effect occurred at this level of processing, and other researchers...

Abstract Cartesian reverse differential categories (CRDCs) are a recently defined structure which categorically model the differentiation operations used in supervised learning. Here, we define related called monoidal category , prove important results about its relationship to CRDCs, and provide examples of both structures, including coming from models quantum computation.