Related papers: Higher internal covers

In this paper we introduce the concepts of higher equivariant and invariant topological complexity; and study their properties. Then we compare them with equivariant LS-category. We give lower and upper bounds for these new invariants. We…

We explain that general differential calculus and Lie theory have a common foundation: Lie Calculus is differential calculus, seen from the point of view of Lie theory, by making use of the groupoid concept as link between them. Higher…

We describe arbitrary multiplicative differential forms on Lie groupoids infinitesimally, i.e., in terms of Lie algebroid data. This description is based on the study of linear differential forms on Lie algebroids and encompasses many known…

Viewing higher local fields as ring objects in the category of iterated pro-ind-objects, a definition of open subgroups in Milnor K-groups of the fields is given. The self-duality of the additive group of a higher local field is proved. By…

This presentation is the sequel of a paper published in GETCO'00 proceedings where a research program to construct an appropriate algebraic setting for the study of deformations of higher dimensional automata was sketched. This paper…

We show that the model of discrete spaces that we have proposed in previous contributions gives a comprehensive and detailed interpretation of the properties of the standard model of particles. Moreover the model also suggests the possible…

We describe a non-extensional variant of Martin-L\"of type theory which we call two-dimensional type theory, and equip it with a sound and complete semantics valued in 2-categories.

In this PhD thesis, we have studied certain geometric structures over Lie groupoids and differentiable stacks. This thesis is based on the work [arXiv:2103.04560, arXiv:2012.08447, arXiv:2012.08442, arXiv:1907.00375]. In [arXiv:1907.00375],…

This is a survey, intended both for group theorists and model theorists, concerning the structure of pseudofinite groups, that is, infinite models of the first order theory of finite groups. The focus is on concepts from stability theory…

This article is the second part of a series of three articles, in which we develop a higher covering theory of racks and quandles. This project is rooted in M. Eisermann's work on quandle coverings, and the categorical perspective brought…

An introductory review of algebraic classification of the Weyl tensor and algebraically special solutions in higher dimensions.

Topological phases of matter have been extensively studied for their intriguing bulk and edge properties. Recently, higher-order topological insulators with boundary states that are two or more dimensions lower than the bulk states, have…

The goal of this paper is to put the theory of approximate fibrations into the framework of higher topos theory. We define the notion of an approximate fibration for a general geometric morphism of $\infty$-topoi, give several…

In these notes we explore a variety of models comprising a large number of constituents. An emphasis is placed on integrals over large Hermitian matrices, as well as quantum mechanical models whose degrees of freedom are organised in a…

The purpose of this work is to present a model for 3D massive gravity with topological and higher-derivative terms. Causality and unitarity are discussed at tree-level. Power-counting renormalizability is also contemplated.

We explore to what extent the underlying variety of a connected algebraic group or the underlying manifold of a real Lie group determines its group structure.

We study finite-dimensional groups definable in models of the theory of real closed fields with a generic derivation (also known as CODF). We prove that any such group definably embeds in a semialgebraic group. We extend the results to…

We study higher-order theories of gravitation; in particular, we will focus our attention on the second-order theory, in which conformal symmetry can be implemented.

A groupoid is a small category in which each morphism has an inverse. A topological groupoid is a groupoid in which both sets of objects and morphisms have topologies such that all groupoid structure maps are continuous. The notion of…

We explore the category of internal categories in the usual category of (right) group-sets, whose objects are referred to as categorified group-sets. More precisely, we develop a new Burnside theory, where the equivalence relation between…