Related papers: Invertible cells in $\omega$-categories
We introduce the notion of feedback computable functions from $2^\omega$ to $2^\omega$, extending feedback Turing computation in analogy with the standard notion of computability for functions from $2^\omega$ to $2^\omega$. We then show…
A unicellular map is the embedding of a connected graph in a surface in such a way that the complement of the graph is a topological disk. In this paper we present a bijective link between unicellular maps on a non-orientable surface and…
Let $L(-{1/2}(l+1),0)$ be the simple vertex operator algebra associated to an affine Lie algebra of type $A_{l}^{(1)}$ with the lowest admissible half-integer level $-{1/2}(l+1)$, for even l. We study the category of weak modules for that…
The notion of weak truth-table reducibility plays an important role in recursion theory. In this paper, we introduce an elaboration of this notion, where a computable bound on the use function is explicitly specified. This elaboration…
Algebraic injectivity was introduced to capture homotopical structures like algebraic Kan complexes. But at a much simpler level, it allows one to describe sets with operations subject to no equations. If one wishes to add equations (or…
We consider the equivariant Kasparov category associated to an \'etale groupoid, and by leveraging its triangulated structure we study its localization at the "weakly contractible" objects, extending previous work by R. Meyer and R. Nest.…
In this paper we develop constructive invertibility conditions for the twisted convolution. Our approach is based on splitting the twisted convolution with rational parameters into a finite number of weighted convolutions, which can be…
We introduce a non-wellfounded proof system for intuitionistic logic extended with inductive and co-inductive definitions, based on a syntax in which fixpoint formulas are annotated with explicit variables for ordinals. We explore the…
Given a second-countable, Hausdorff, \'etale, amenable groupoid G with compact unit space, we show that an element a in C*(G) is invertible if and only if \lambda_x(a) is invertible for every x in the unit space of G, where \lambda_x refers…
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…
We provide the expected constructions of weakly $\omega$-categorified models (in the sense of Bressie) of the theory of groups and quandles which arise by replacing the homotopies used to give equivalence relations in the theory of…
Batanin defines a weak $\omega$-category as an algebra for a certain operad. Leinster refines this idea and defines the weak $\omega$-category operad as the initial object of a category of "operads with contraction". We demonstrate how a…
We extend anti-classification results in ergodic theory to the collection of weakly mixing systems by proving that the isomorphism relation as well as the Kakutani equivalence relation of weakly mixing invertible measure-preserving…
In a closed 2-cell embedding of a graph each face is homeomorphic to an open disk and is bounded by a cycle in the graph. The Orientable Strong Embedding Conjecture says that every 2-connected graph has a closed 2-cell embedding in some…
We discuss some applications of fusion rules and intertwining operators in the representation theory of cyclic orbifolds of the triplet vertex operator algebra. We prove that the classification of irreducible modules for the orbifold vertex…
We prove certain conjecture holds true for a finite category which has M\"obius inversion. The conjecture states a relationship between the zeta function of a finite category and the Euler characteristic of a finite category.
We present an extension to the $\mathtt{mathlib}$ library of the Lean theorem prover formalizing the foundations of computability theory. We use primitive recursive functions and partial recursive functions as the main objects of study, and…
In this paper we study subspaces which are invariant under squares and cubes (separately as well as jointly) of unicellular backward weighted shift operators on a separable Hilbert space. The finite-dimensional subspaces are characterized…
We examine the convergence properties of sequences of nonnegative real numbers that satisfy a particular class of recursive inequalities, from the perspective of proof theory and computability theory. We first establish a number of results…
In this paper we classify irreducible integrable representations of loop toroidal Lie algebras with finite dimensional weight spaces. In both the cases we classify modules, when a part of center acts non-trivially and trivially on modules.