Related papers: The snail lemma for internal groupoids
Starting from a generalized Reedy category $R$ satisfying a simple condition, we construct an absolutely dense functor $\mathbf{D}_R \to R$ with domain a strict Reedy category. In the case of a generalized inverse category $R$, and given…
Mott noted a one-to-one correspondence between saturated multiplicatively closed subsets of a domain D and directed convex subgroups of the group of divisibility D. With this, we construct a functor between inclusions into saturated…
We introduce a string diagram calculus for strict $4$-categories and use it to prove that given a cofinite inclusion of $4$-categorical presentations, the induced restriction functor on mapping spaces to a fixed target strict $4$-category…
For a small category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the nerve of A establishes a left Quillen equivalence between the projective (or Reedy)…
This article introduces and provides the mathematical foundation of the open string Floer theory of Landau-Ginzburg model viaWitten equation. We introduce the concept of regular tame exact Landau-Ginzburg system on a noncompact Kaehler…
We characterize intra-regular Abel-Grassmann's groupoids by the properties of their ideals and $(\in ,\in!\vee q_{k})$-fuzzy ideals of various types.
We define a general notion of centrally $\Gamma$-graded sets and groups and of their graded products, and prove some basic results about the corresponding categories: most importantly, they form braided monoidal categories. Here, $\Gamma$…
We introduce the notion of self-similar actions of grouopids on other groupoids and Fell bundles. This leads to a new imprimitivity theorem arising from such dynamics, generalizing many earlier imprimitivity theorems involving group and…
Poisson transversals are those submanifolds in a Poisson manifold which intersect all symplectic leaves transversally and symplectically. In a previous note we proved a normal form theorem around such submanifolds. In this communication, we…
We study normed groupoids with dilations and their induced deformations.
This paper defines double fibrations (fibrations of double categories) and describes their key examples and properties. In particular, it shows how double fibrations relate to existing fibrational notions such as monoidal fibrations and…
In this article, we generalise a result of Pottmeyer from the multiplicative group of the algebraic numbers to almost split semiabelian varieties defined over number fields. This concerns a consequence of R\'emond's generalisation of…
There are two major generalizations of the standard ordinal analysis: One is Girard's $\Pi^1_2$-proof theory in which dilators are assigned to theories instead of ordinals. The other is Pohlers' generalized ordinal analysis with Spector…
Grothendieck's theory of fibred categories establishes an equivalence between fibred categories and pseudo functors. It plays a major role in algebraic geometry and categorical logic. This paper aims to show that fibrations are also very…
Definability is a key notion in the theory of Grothendieck fibrations that characterises when an external property of objects can be accessed from within the internal logic of the base of a fibration. In this paper we consider a…
A manifestly gauge invariant formulation of chiral theories with fermions on the lattice is developed. It combines SLAC lattice derivative \cite{DWY}, \cite{ACS}, \cite{S} and generalized Pauli-Villars regularization \cite{FS}. The theory…
In this thesis, we employ simplicial methods to study actions, principal bundles, and bibundles of higher groupoids. Roughly, we use Kan fibrations to model actions of higher groupoids, we use pairs of a Kan fibration and a special acyclic…
Groupoidification is a form of categorification in which vector spaces are replaced by groupoids, and linear operators are replaced by spans of groupoids. We introduce this idea with a detailed exposition of 'degroupoidification': a…
We introduce some classical concepts in the representation theory of compact groups, in order to use them for a new generalization of the Peter-Weyl Theorem. We mostly deal with functions on locally compact groups possessing large…
In this paper, we discuss some well-known results and some open problems of the theory of $\sigma$-properties of a group related to the study of generalized $T$-groups.