Related papers: Zigzag normalisation for associative $n$-categorie…

We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…

We introduce, for every positive integer n, the notion of an n-relative category and show that the category of the small n-relative categories is a model for the homotopy theory of n-fold homotopy theories, i.e. homotopy theories of ... of…

The unprecedented pace of machine learning research has lead to incredible advances, but also poses hard challenges. At present, the field lacks strong theoretical underpinnings, and many important achievements stem from ad hoc design…

We construct an explicit combinatorial model of the functor which adds right adjoints to the morphisms of an $\infty$-category, and we speculate on possible extensions to higher dimensions.

We present a new way to control the unfolding of definitions in dependent type theory. Traditionally, proof assistants require users to fix whether each definition will or will not be unfolded in the remainder of a development; unfolding…

In the field of machine learning there is a growing interest towards more robust and generalizable algorithms. This is for example important to bridge the gap between the environment in which the training data was collected and the…

In this article we study homotopes of finite-dimensional algebras (not necessarily, associative). In the case of associative algebras we study homotopes by methods of Category theory and give description of so-called well-tempered elements…

A notion of stratification is introduced for any compactly generated triangulated category T endowed with an action of a graded commutative noetherian ring R. The utility of this notion is demonstrated by establishing diverse consequences…

Invertibility is an important concept in category theory. In higher category theory, it becomes less obvious what the correct notion of invertibility is, as extra coherence conditions can become necessary for invertible structures to have…

The growing complexity of modern practical problems puts high demands on the mathematical modelling. Given that various models can be used for modelling one physical phenomenon, the role of model comparison and model choice becomes…

For an associative algebra $A$ a skew-symmetric sum of $n!$ products of $n$ elements of $A$ in all possible order is called $n$-commutator. We consider $A$ as $n$-ary algebra under $n$-commutator. We prove that it has an identity of…

Here we define a new unification algorithm for terms interpreted in semantic domains denoted by a subclass of regular types here called deterministic regular types. This reflects our intention not to handle the semantic universe as a…

We prove normalization for MTT, a general multimodal dependent type theory capable of expressing modal type theories for guarded recursion, internalized parametricity, and various other prototypical modal situations. We prove that deciding…

This article serves as a preliminary introduction to the design of a new, open-source applied and computational category theory framework, named Categorica, built on top of the Wolfram Language. Categorica allows one to configure and…

This paper provides a homotopical version of the adjoint lifting theorem in category theory, allowing for Quillen equivalences to be lifted from monoidal model categories to categories of algebras over colored operads. The generality of our…

We give a new construction for rigidifying a quasi-category into a simplicial category, and prove that it is weakly equivalent to the rigidification given by Lurie. Our construction comes from the use of necklaces, which are simplicial sets…

In the context of general rough sets, the act of combining two things to form another is not straightforward. The situation is similar for other theories that concern uncertainty and vagueness. Such acts can be endowed with additional…

We introduce Classification with Alternating Normalization (CAN), a non-parametric post-processing step for classification. CAN improves classification accuracy for challenging examples by re-adjusting their predicted class probability…

We axiomatize the extended operators in topological orders (possibly gravitationally anomalous, possibly with degenerate ground states) in terms of monoidal Karoubi-complete $n$-categories which are mildly dualizable and have trivial…

Adhesive and quasiadhesive categories provide a general framework for the study of algebraic graph rewriting systems. In a quasiadhesive category any two regular subobjects have a join which is again a regular subobject. Vice versa, if…