Related papers: Higher regularity properties of mappings and morph…
Linearity and ramification constraints have been widely used to weaken higher-order (primitive) recursion in such a way that the class of representable functions equals the class of polytime functions. We show that fine-tuning these two…
Multimodal normal incestual systems are investigated in terms of multiple categories. The different sorted composition of operators are exhibited as 2-cells in multiple categories built up from 2-categories giving rise to different axioms.…
We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the…
Inversion of various inclusions, that characterize continuity in topological spaces, results in numerous variants of quotient and perfect maps. In the framework of convergences, the said inclusions are no longer equivalent, and each of them…
In this paper, we introduce and study two new classes of commutative rings, namely semi transitional rings and transitional rings, which extend several classical ideas arising from rings of continuous functions and their variants. A general…
We use the classification of the quadrirational maps given by Adler, Bobenko and Suris to describe when such maps satisfy the Yang-Baxter relation. We show that the corresponding maps can be characterized by certain singularity invariance…
Let $\mathrm{VI}$ be the category of finite dimensional $\mathbb{F}_q$-vector spaces whose morphisms are injective linear maps, and let $\mathbf{k}$ be a noetherian ring. We study the category of functors from $\mathrm{VI}$ to…
We present results and examples which show that the consideration of a certain tubular mutation is advantageous in the study of noncommutative curves which parametrize the simple regular representations of a tame bimodule. We classify all…
In noncommutative geometry one is interested in invariants such as the Fredholm index or spectral flow and their calculation using cyclic cocycles. A variety of formulae have been established under side conditions called summability…
We provide conditions on a monoidal model category $\mathcal{M}$ so that the category of commutative monoids in $\mathcal{M}$ inherits a model structure from $\mathcal{M}$ in which a map is a weak equivalence or fibration if and only if it…
We observe that the main feature of the Randall-Sundrum model, used to solve the hierarchy problem, is already present in a class of Yang-Mills plus gravity theories inspired by noncommutative geometry. Strikingly the same expression for…
Abstract inner automorphisms can be used to promote any category into a 2-category, and we study two-dimensional limits and colimits in the resulting 2-categories. Existing connected colimits and limits in the starting category become…
This paper studies the nature of fractional linear transformations in a general relativity context as well as in a quantum theoretical framework. Two features are found to deserve special attention: the first is the possibility of…
The non commutative geometry is a possible framework to regularize Quantum Field Theory in a nonperturbative way. This idea is an extension of the lattice approximation by non commutativity that allows to preserve symmetries. The…
We propose a new framework for integrating quantifiers with other logical connectives in a higher-categorical setting. Our method systematically incorporates key coherence conditions-including those akin to the Beck-Chevalley property-and…
We introduce augmented biracks and define a (co)homology theory associated to augmented biracks. The new homology theory extends the previously studied Yang-Baxter homology with a combinatorial formulation for the boundary map and…
We provide new examples of integrable rational maps in four dimensions with two rational invariants, which have unexpected geometric properties, as for example orbits confined to non algebraic varieties, and fall outside classes studied by…
Several algebro-geometric properties of commutative rings of partial differential operators as well as several geometric constructions are investigated. In particular, we show how to associate a geometric data by a commutative ring of…
We introduce structured decompositions, category-theoretic structures which simultaneously generalize notions from graph theory (including treewidth, layered treewidth, co-treewidth, graph decomposition width, tree independence number,…
Homotopical localizations with respect to a set of maps are known to exist in cofibrantly generated model categories (satisfying additional assumptions). In this paper we expand the existing framework, so that it will apply to not…