Related papers: $\mathsf{Q}\text{-}\mathbf{Set}$ is not generally …
In this note we characterize, within the framework of the theory of finite set, those categories of graphs that are {\em algebraic universal} in the sense that every concrete category embeds in them. The proof of the characterization is…
We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory, and of related issues such as the Kochen-Specker theorem. This extension has two main parts: the use of von Neumann…
In this paper we give sufficient conditions under which a subsemigroup of a topological group is a subgroup, adding to the results given in \cite{Kosh, can, axioms, forum, Hof, cc, locally} where conditions exist (such as locally…
A generalization of topos theory is proposed giving an abstract realization of such categories as, say, the categories of manifolds and of Grothendieck schemes on the one hand, and permitting one, on the other hand, a view on…
Let G be a group and let M be an object of the topos G-Set. We prove that an object X of the category G-Set is isomorphic to some subobject of one of the objects P(M), P(P(M)), P(P(P(M))),... if and only if card X < sup{card P(M), card…
The paper deals with combinatorial and stochastic structures of cubical token systems. A cubical token system is an instance of a token system, which in turn is an instance of a transition system. It is shown that some basic results of…
A topological group is said to be ambitable if each uniformly bounded uniformly equicontinuous set of functions on the group with its right uniformity is contained in an ambit. For n=0,1,2,..., every locally aleph_n bounded topological…
A composite quantum system has properties that are incompatible with every property of its parts. The existence of such global properties incompatible with all local properties constitutes what I call "mereological holism"--the distinctive…
We give a survey of techniques from quantum group theory which can be used to show that some quantum spaces (objects of the category dual to the category of $\mathrm{C}^*$-algebras) do not admit any quantum group structure. We also provide…
For any finite totally ordered set, the multisets of intervals form an abelian category. Various classes of subcategories admit natural combinatorial descriptions, and counting them yields familiar integer sequences. Surprisingly, in some…
We obtain several results concerning the concept of isotypic structures. Namely we prove that any field of finite transcendence degree over a prime subfield is defined by types; then we construct isotypic but not isomorphic structures with…
We define a new topos, the Herbrand topos, inspired by the modified realizability topos and our earlier work on Herbrand realizability. We also introduce the category of Herbrand assemblies and characterise these as the…
This paper provides a comprehensive overview of some of the foundational properties of categories enriched over quantaloids, along with several new results. We demonstrate that the category whose objects are quantaloid-enriched categories…
We observe that the category of topological space, uniform spaces, and simplicial sets are all, in a natural way, full subcategories of the same larger category, namely the simplicial category of filters; this is, moreover, implicit in the…
The aim of this paper is to study the points and localising subcategories of the topos of $M$-sets, for a finite monoid $M$. We show that the points of this topos can be fully classified using the idempotents of $M$. We introduce a topology…
For an arbitrary simple Lie algebra $\g$ and an arbitrary root of unity $q,$ the closed subsets of the Weyl alcove of the quantum group $U_q(\g)$ are classified. Here a closed subset is a set such that if any two weights in the Weyl alcove…
Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important equivalence in terms of relatively simple invariants. Where…
Usual math sets have special types: countable, compact, open, occasionally Borel, rarely projective, etc. Each such set is described by a single Set Theory formula with parameters unrelated to other formulas. Exotic expressions involving…
We give an explicit construction of the category Opetope of opetopes. We prove that the category of opetopic sets is equivalent to the category of presheaves over Opetope.
Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces---so-called ``topological semantics''. The first is classical higher-order logic, with…