Related papers: On $2$-star-permutability in regular multi-pointed…
We introduce the notion of star-symmetry for relations in a multi-pointed category and use it to obtain a characterization of the projective covers of 2-star-permutable categories. This generalizes the results of Rosick\'y-Vitale for…
We prove that a regular category $\mathcal C$ is a Mal'tsev category if and only if a strong form of the denormalised $3 \times 3$ Lemma holds true in $\mathcal C$. In this version of the $3 \times 3$ Lemma, the vertical exact forks are…
This paper provides a short introduction to the notion of regular category and its use in categorical algebra. We first prove some of its basic properties, and consider some fundamental algebraic examples. We then analyse the algebraic…
We prove that Mal'tsev and Goursat categories may be characterised through stronger variations of the Shifting Lemma, that is classically expressed in terms of three congruences $R$, $S$ and $T$, and characterises congruence modular…
In universal algebra, it is well known that varieties admitting a majority term admit several Mal'tsev-type characterizations. The main aim of this paper is to establish categorical counterparts of some of these characterizations for…
In this Note, we define a class of stratified Lie groups of arbitrary step (that are called ``groups of type $\star$'' throughout the paper), and we prove that, in these groups, sets with constant intrinsic normal are vertical halfspaces.…
The Noether isomorphism theorems and the Zassenhaus Lemma from group theory have a non-pointed version in a suitable categorical context first considered by W. Tholen in his PhD thesis. This article leads to a unification of these results…
In this paper we establish a new characterisation of star-regular categories, using a property of internal reflexive graphs, which is suggested by a recent result due to O. Ngaha Ngaha and the first author. We show that this property is, in…
This paper deals with two aspects of the theory of characteristic classes of star products: first, on an arbitrary Poisson manifold, we describe Morita equivalent star products in terms of their Kontsevich classes; second, on symplectic…
We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are…
We give new characterisations of regular Mal'tsev categories with distributive lattice of equivalence relations through variations of the so-called Triangular Lemma and Trapezoid Lemma in universal algebra. We then give new…
In (B-Gran, 2004), was given a categorical formulation of the Shifting Lemma which is a characterization of the Congruence Modular Varieties among all the variety of Universal Algebra, introduced in (Gumm, 1983). Starting from a…
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…
We prove a conjecture by Shannon Starr regarding the asymptotics for the number of tuples of commuting permutations with given number of joint orbits. These numbers generalize unsigned Stirling numbers of the first kind which count how many…
We show that the regular patterns of Getzler (2009) form a 2-category biequivalent to the 2-category of substitudes of Day and Street (2003), and that the Feynman categories of Kaufmann and Ward (2013) form a 2-category biequivalent to the…
Lessard's $\mathbb{Z}$-categories are an analogue of $\omega$-categories possessing cells in all positive and negative dimensions. Categorical spectra, developed by Stefanich, are an analogue of spectra obtained by replacing the suspension…
In this paper, we look at the number of factorizations of a given permutation into star transpositions. In particular, we give a natural explanation of a hidden symmetry, answering a question of I.P. Goulden and D.M. Jackson. We also have a…
I have chosen, in this presentation of Deformation Quantization, to focus on 3 points: the uniqueness --up to equivalence-- of a universal star product (universal in the sense of Kontsevich) on the dual of a Lie algebra, the cohomology…
This paper presents a coherence theorem for star-autonomous categories exactly analogous to Kelly's and Mac Lane's coherence theorem for symmetric monoidal closed categories. The proof of this theorem is based on a categorial…
We propose a new homotopy invariant for Lie groupoids which generalizes the classical Lusternik-Schnirelmann category for topological spaces. We use a bicategorical approach to develop a notion of contraction in this context. We propose a…