Related papers: Skew Closed Structure of Gray-Categories

In this note we present a work in progress whose main purpose is to establish a categorified version of sheaf theory. We present a notion of derived categorical sheaves, which is a categorified version of the notion of complexes of sheaves…

The idea of (combinatorial) Gray codes is to list objects in question in such a way that two successive objects differ in some pre-specified small way. In this paper, we utilize beta-description trees to cyclicly Gray code three classes of…

Closed quantum surfaces of any genus are defined as subalgebras of the Toeplitz algebra by mimicking the classical construction of identifying arcs on the boundary of the (quantum) unit disk. Isomorphism classes obtained from different…

In this paper we give an algorithm to determine, for any given suborder closed class of series-parallel posets, a structure theorem for the class. We refer to these structure theorems as structural descriptions.

We describe locally compact groups which are separably categorical metric structures. The paper extends (and corrects) Section 3 of the paper A.Ivanov, "Locally compact groups and continuous logic", arXiv: 1206.5473

A ringed finite space is a ringed space whose underlying topological space is finite. The category of ringed finite spaces contains, fully faithfully, the category of finite topological spaces and the category of affine schemes. Any ringed…

Extriangulated categories axiomatize extension-closed subcategories of triangulated categories. We show that the homotopy category of an exact quasi-category can be equipped with a natural extriangulated structure.

This paper considers a new alphabet set, which is a ring that we call $\mathbb{F}_4R$, to construct linear error-control codes. Skew cyclic codes over the ring are then investigated in details. We define a nondegenerate inner product and…

We study the construction of arXiv:2111.11217 [math:AG] in more detail, especially in the case of Schur-finite rigid $\otimes$-categories. This leads to some groundwork on the ideal structure of rigid additive and abelian…

We introduce a model category of spaces based on the definable sets of an o-minimal expansion of a real closed field. As a model category, it resembles the category of topological spaces, but its underlying category is a coherent topos. We…

We develop the notion of a geometric covering of a rigid space X, which yields a much larger class of covering spaces than that studied previously by de Jong. Geometric coverings of X are closed under disjoint unions and are \'etale local…

We make explicit in terms of categories a number of statements from the theory of partial inner product spaces (PIP spaces) and operators on them. In particular, we construct sheaves and cosheaves of operators on certain PIP spaces of…

Using the fact that Hopf-Galois structures on separable extensions and skew bracoids are both intrinsically connected to transitive subgroups of the holomorph of a finite group, we present algorithms to classify and enumerate these objects…

Observations on rational Chow groups and cycle class maps in equivariant contexts.

We define the bounded coarse structure attached to a family of pseudometrics and give some counterexamples to conjectures that arise naturally.

Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…

We give a classification of open equivariant topological conformal field theories in terms of Calabi-Yau $A_\infty$-categories endowed with a group action.

We introduce a notion of globular multicategory with homomorphism types. These structures arise when organizing collections of "higher category-like" objects such as type theories with identity types. We show how these globular…

We define a notion of a symplectic structure on stratified spaces, and demonstrate that given a symplectic structure on a stratified space $X$ with integral cohomology class, $X$ can be symplectically embedded in some complex projective…

We define a notion of coordinatization for $\aleph_0$-categorical structures which is, like Lie coordinatized structures in [2], a certain kind of expansion of a tree. We show that a structure which is coordinatized, in a certain strong…