Related papers: Inverse monoids and immersions of $\Delta$-complex…
Let $Z$ be a smooth compact $(n+1)$-manifold. We study smooth embeddings and immersions $\beta: M \to Z$ of compact or closed $n$-manifolds $M$ such that the normal line bundle $\nu^\beta$ is trivialized. For a fixed $Z$, we introduce an…
An important question is to describe topological conjugacy classes of dynamical systems. Here we show that within the space of real analytic one-dimensional maps with critical points of prescribed order, the conjugacy class of a map is a…
Integral equations frequently arise in surface science, and in some cases, they must be treated as inverse problems. In our previous work on optical tweezers, atomic force microscopy, and surface force measurement apparatus, we performed…
Two novel descriptions of weak {\omega}-categories have been recently proposed, using type-theoretic ideas. The first one is the dependent type theory CaTT whose models are {\omega}-categories. The second is a recursive description of a…
Metasurfaces are an emerging technology that may supplant many of the conventional optics found in imaging devices, displays, and precision scientific instruments. Here, we develop a method for designing optical systems composed of multiple…
We develop a cohomological approach to M\"obius inversion using derived functors in the enriched categorical setting. For a poset $P$ and a closed symmetric monoidal abelian category $\mathcal{C}$, we define M\"obius cohomology as the…
Generalized beta-transformations are the class of piecewise continuous interval maps given by taking the beta-transformation $x \mapsto \beta x ~\pmod 1$, where $\beta>1$, and replacing some of the branches with branches of constant…
Based on the notion of a $\Delta$-group(oid), ring-valued invariants of pairs of topological spaces can be defined in intrinsic topological terms.
First we give a definition of a coverage on a inverse semigroup that is weaker than the one gave by a Lawson and Lenz and that generalizes the definition of a coverage on a semilattice given by Johnstone. Given such a coverage, we prove…
Let $<X>$ be the free monoid on a generating set $X$, and suppose one adjoins to $<X>$ universal 2-sided inverses to a finite set $S$ of its elements. We note an elementary algorithm which yields a normal form for elements of the resulting…
We classify immersions $f$ of $S^1$ in a $2$-manifold $M$ in terms of elementary invariants: the parity $S(f)$ of the number of double points of a self-transverse $C^1$-approximation of $f$, and the turning number $T(e\bar f)$ of the…
We introduce a unified method for study of 2-dimensional invariant subspaces of matrices and their corresponding super-eigenvalues. As a novel application to non-commutative algebra, we present a connection between the eigenvalues of…
The paper establishes an equivalence between directed homotopy categories of (diagrams of) cubical sets and (diagrams of) directed topological spaces. This equivalence both lifts and extends an equivalence between classical homotopy…
We prove that if (C,0) is a reduced curve germ on a rational surface singularity (X,0) then its delta invariant can be recovered by a concrete expression associated with the embedded topological type of the pair (X,C). Furthermore, we also…
Graph inverse semigroups generalize the polycyclic inverse monoids and play an important role in the theory of C*-algebras. This paper has two main goals: first, to provide an abstract characterization of graph inverse semigroups; and…
We introduce ($\ell$-)bimonoids as ordered algebras consisting of two compatible monoidal structures on a partially ordered (lattice-ordered) set. Bimonoids form an appropriate framework for the study of a general notion of complementation,…
A partial automorphism of a semigroup $S$ is any isomorphism between its subsemigroups, and the set all partial automorphisms of $S$ with respect to composition is the inverse monoid called the partial automorphism monoid of $S$. Two…
The Medvedev degree of a subshift is a dynamical invariant of computable origin that can be used to compare the complexity of subshifts that contain only uncomputable configurations. We develop theory to describe how these degrees can be…
A prefix monoid is a finitely generated submonoid of a finitely presented group generated by the prefixes of its defining relators. Important results of Guba (1997), and of Ivanov, Margolis and Meakin (2001), show how the word problem for…
This paper is the third in a series that researches the Morse Theory, gradient flows, concavity and complexity on smooth compact manifolds with boundary. Employing the local analytic models from \cite{K2}, for \emph{traversally generic…