Related papers: Spans and simplicial families

We elaborate on the representation theorems of topoi as topoi of discrete actions of various kinds of localic groups and groupoids. We introduce the concept of "proessential point" and use it to give a new characterization of pointed Galois…

We introduce a new family of copula densities constructed from univariate distributions on $[0,1]$. Although our construction is structurally simple, the resulting family is versatile: it includes both smooth and irregular examples, and…

We introduce a general framework, based on \'etale topological categories, for studying discrete restriction semigroups and their algebras. Generalizing Paterson's universal groupoid of an inverse semigroup, we define the universal category…

In this paper we introduce and study a new family of combinatorial simplicial complexes, which we call immediate snapshot complexes. Our construction and terminology is strongly motivated by theoretical distributed computing, as these…

We study the category pro-SSet of pro-simplicial sets, which arises in etale homotopy theory, shape theory, and pro-finite completion. We establish a model structure on pro-SSet so that it is possible to do homotopy theory in this category.…

Fong developed `decorated cospans' to model various kinds of open systems: that is, systems with inputs and outputs. In this framework, open systems are seen as the morphisms of a category and can be composed as such, allowing larger open…

It is well-known that a homomorphism p between topological groups K, G is a covering homomorphism if and only if p is an open epimorphism with discrete kernel. In this paper we generalize this fact, in precisely, we show that for a…

{\em Galois comodules} over a coring can be characterised by properties of the relative injective comodules. They motivated the definition of {\em Galois functors} over some comonad (or monad) on any category and in the first section of the…

We show that the category of internal groupoids in an exact Mal'tsev category is reflective, and in fact a Birkhoff subcategory of the category of simplicial objects. We then characterize the central extensions of the corresponding Galois…

The holomorph of a discrete group $G$ is the universal semi-direct product of $G$. In chapter 1 we describe why it is an interesting object and state main results. In chapter 2 we recall the classical definition of the holomorph as well as…

In classical geometric algebra, there have been several treatments of affine and projective planes based on fields. In this thesis we approach affine and projective planes from a constructive point of view and we base our geometry on local…

We introduce new methods for understanding the topology of $\Hom$ complexes (spaces of homomorphisms between two graphs), mostly in the context of group actions on graphs and posets. We view $\Hom(T,-)$ and $\Hom(-,G)$ as functors from…

In this work we study smooth complex quasi-projective surfaces whose fundamental group is a free product of cyclic groups. In particular, we prove the existence of an admissible map from the quasi-projective surface to a smooth complex…

Let F be a finitely generated discrete group. Given a covering map H to G of Lie groups with G either compact or complex reductive, there is an induced covering map Hom(F, H) to Hom(F, G). We show that when the fundamental group of G is…

We discover a simple construction of a four-dimensional family of smooth surfaces of general type with $p_g(S)=q(S)=0$, $K^2_S=3$ with cyclic fundamental group $C_{14}$. We use a degeneration of the surfaces in this family to find…

We present a new strictification method for type-theoretic structures that are only weakly stable under substitution. Given weakly stable structures over some model of type theory, we construct equivalent strictly stable structures by…

Let $\mathbb{D}$ be the category of pro-sets (or abelian pro-groups). It is proved that for any Grothendieck site $X$, there exists a reflector from the category of precosheaves on $X$ with values in $\mathbb{D}$ to the full subcategory of…

The Reeb space of a continuous map is the space of all (elements representing) connected components of preimages endowed with the quotient topology induced from the natural equivalence relation on the domain. These objects are strong tools…

We prove that the simplicial cocommutative coalgebra of singular chains on a connected topological space determines the homotopy type rationally and one prime at a time, without imposing any restriction on the fundamental group. In…

The goal of the paper is to establish and to investigate a fully faithful embedding of the category of group operads into that of crossed interval groups. For this, we introduce a monoidal structure on the slice of the category of operads…