Related papers: On Naturally and Weakly Mal'tsev Categories
This paper presents a self-contained new theory of weak fractional differential calculus in one-dimension. The crux of this new theory is the introduction of a weak fractional derivative notion which is a natural generalization of integer…
We develop the theory of weak Fraisse categories, where the crucial concept is the weak amalgamation property, discovered relatively recently in model theory. We show that, in a suitable framework, every weak Fraisse category has its unique…
Many special classes of simplicial sets, such as the nerves of categories or groupoids, the 2-Segal sets of Dyckerhoff and Kapranov, and the (discrete) decomposition spaces of G\'{a}lvez, Kock, and Tonks, are characterized by the property…
We give a general method to build categories of combinatorial manifolds, i.e. categories of combinatorial objects satisfying some local property at every "point", as coreflective subcategories of categories of relational presheaves. To do…
We present a new coherence theorem for comprehension categories, providing strict models of dependent type theory with all standard constructors, including dependent products, dependent sums, identity types, and other inductive types.…
In this paper, we introduce the classes of weakly surjunctive and linearly surjunctive groups which include all sofic groups and more generally all surjunctive groups. We investigate various properties of such groups and establish in…
In this paper, we investigate the property (P) that finite products commute with arbitrary coequalizers in pointed categories. Examples of such categories include any regular unital or (pointed) majority category with coequalizers, as well…
Let $B{ aut}_1X$ be the Dold-Lashof classifying space of orientable fibrations with fiber $X$. For a rationally weakly trivial map $f:X\to Y$, our strictly induced map $a_f: (Baut_1X)_0\to (Baut_1Y)_0$ induces a natural map from a…
By a result of Vallette, we put a sensible model structure on the category of conilpotent Lie coalgebras. This gives us a powerful tool to study the subcategory of Lie algebras obtained by linear dualization, also known as the category of…
We introduce and study a new class of representations of surface groups into Lie groups of Hermitian type, called {\em weakly maximal} representations. We prove that weakly maximal representations are discrete and injective and we describe…
The description of the subgroup structure of a non-commutative division ring is the subject of the intensive study in the theory of division rings in particular, and of the theory of skew linear groups in general. This study is still so far…
Projectivity and injectivity are fundamental notions in category theory. We consider natural weakenings termed semiprojectivity and semiinjectivity, and study these concepts in different categories. For example, in the category of metric…
We introduce a dependent type theory whose models are weak {\omega}-categories, generalizing Brunerie's definition of {\omega}-groupoids. Our type theory is based on the definition of {\omega}-categories given by Maltsiniotis, himself…
We prove that the category 2-$ \mathrm{Grpd}(\mathscr{C}) $ of internal $2$-groupoids is a Birkhoff subcategory of the category $ \mathrm{Grpd}^2(\mathscr{C}) $ of double groupoids in a regular Mal'tsev category $\mathscr{C}$ with finite…
Gauge PDEs generalise the AKSZ construction when dealing with generic local gauge theories. Despite being very flexible and invariant, these geometrical objects are usually infinite-dimensional and are difficult to define explicitly, just…
Motivated by recent developments of $\infty$-categorical theories related to differential graded (dg for short) Lie algebras, we develop a general framework for locally finite $\infty$-$\mathfrak{g}$-modules over a dg Lie algebra…
We investigate Mal'cev conditions described by equations whose variables runs over the set of all compatible reflexive relations. Let $p \leq q$ be an equation in the language $\{\wedge, \circ,+\}$. We give a characterization of the class…
Skew lattices are non-commutative generalizations of lattices. The coset structure decomposition is an original approach to the study of these algebras describing the relation between its rectangular classes. In this paper we will look at…
In a recent paper we introduced a much weaker and easy to verify structure than a model category, which we called a "weak fibration category". We further showed that a small weak fibration category can be "completed" into a full model…
We investigate one of the simplest multi-species generalizations of the one dimensional exclusion process with reflective boundaries. The Markov matrix governing the dynamics of the system splits into blocks (sectors) specified by the…