Related papers: Constellations with range and IS-categories
We introduce and study the notion of a chain group of homeomorphisms of a one-manifold, which is a certain generalization of Thompson's group $F$. The resulting class of groups exhibits a combination of uniformity and diversity. On the one…
This paper investigates some issues arising in categorical models of reversible logic and computation. Our claim is that the structural (coherence) isomorphisms of these categorical models, although generally overlooked, have decidedly…
I extend the definitions of schemes relative to monoids with zero - and therefore, toric geometry - to the world of formal schemes. This expands the usual framework to include, for instance, models for Mumford's degenerating Abelian…
A poset can be regarded as a category in which there is at most one morphism between objects, and such that at most one of Hom(c,c') and Hom(c',c) is nonempty for c not equal to c'. If we keep in place the latter axiom but allow for more…
A construction of Wehrheim and Woodward circumvents the problem that compositions of smooth canonical relations are not always smooth, building a category suitable for functorial quantization. To apply their construction to more examples,…
Partially ordered sets (posets) play a universal role as an abstract structure in many areas of mathematics. For finite posets, an explicit enumeration of distinct partial orders on a set of unlabelled elements is known only up to a…
We start by introducing the basics of configurations of points and lines, and then move into discussing symmetry groups of these configurations. Specifically, we explore how we might classify the symmetries of $(9_3)$ and $(10_3)$ geometric…
Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades,…
We consider families of chain-cochain infinite complexes $\mathcal C$ of spaces with elements depending on a number of parameters, and endowed with a converging associative multiple product. The existence of left/right local/non-local…
Traditionally globular clusters and dwarf spheroidal galaxies have been distinguished by using one or more of the following criteria: (1) mass, (2) luminosity, (3) size, (4) mass-to-light ratio and (5) spread in metallicity. However, a few…
The development of mathematics has been characterized by the increasing interconnectivity of seemingly separate disciplines. Such interplay has been facilitated by a massive development in formalism; category theory has provided a common…
The primary goal of this paper is to abstract notions, results and constructions from the theory of categories to the broader setting of plots. Loosely speaking, a plot can be thought of as a non-associative non-unital category with a…
Few topics in astronomy initiate such vigorous discussion as whether or not the initial mass function (IMF) of stars is universal, or instead sensitive to the initial conditions of star formation. The distinction is of critical importance:…
Finding necessary and sufficient conditions for isomorphism between two semigroups of order-preserving transformations over an infinite domain with restricted range was an open problem in \cite{FHQS}. In this paper, we show a proof strategy…
In this paper we define spherical complexes as simplicial complexes with the property that every subcomplex obtained by a sequence of links and deletions either has trivial homology, or has the homology of a sphere. Examples of such…
The homomorphic image of a congruence is always a tolerance (relation) but, within a given variety, a tolerance is not necessarily obtained this way. By a Maltsev-like condition, we characterize varieties whose tolerances are homomorphic…
The property of isoscaling in nuclear fragmentation is studied using a simple bond percolation model with ``isospin'' added as an extra degree of freedom. It is shown analytically, first, that isoscaling is expected to exist in such a…
This chapter describes interrelations between: (1) algebraic structure on sets of scalars, (2) properties of monads associated with such sets of scalars, and (3) structure in categories (esp. Lawvere theories) associated with these monads.…
We argue that category theory should become a part of the daily practice of the physicist, and more specific, the quantum physicist and/or informatician. The reason for this is not that category theory is a better way of doing mathematics,…
We review the physics of star formation, and its links with the state of the ISM in galaxies. Current obervations indicate that the preferred mode of star formation is clustered. Given that OB associations provide the dominant energy input…