Related papers: Epitopological and pseudotopological fundamental g…

Given a $p$-adic group $G$ equipped with an action of a finite group $\Gamma\subset\mathrm{Aut}_F(\mathbf{G})$, and a reductive fixed-point subgroup $G^\Gamma$, we establish a relationship between constructions of types for these two groups…

This paper aims to examine the version of the topological group structure in proximity and especially descriptive proximity spaces, that is, the concepts of proximal group and descriptive proximal group are introduced. In addition, the…

In previous work, categories of algebras of endofunctors were shown to be enriched in categories of coalgebras of the same endofunctor, and the extra structure of that enrichment was used to define a generalization of inductive data types.…

Profinite semigroups are a generalization of finite semigroups that come about naturally when one is interested in considering free structures with respect to classes of finite semigroups. They also appear naturally through dualization of…

We give a rather general construction of double categories and so, under further conditions, double groupoids, from a structure we call a `double module'. We also give a homotopical construction of a double groupoid from a triad consisting…

Let $p:X\rightarrow X/A$ be a quotient map, where $A$ is a subspace of $X$. We explore conditions under which $p_*(\pi_1^{qtop}(X,x_0))$ is dense in $\pi_1^{qtop}(X/A,*))$, where the fundamental groups enjoy the natural quotient topology…

The aim of this article is to explain a philosophy for applying higher dimensional Seifert-van Kampen Theorems, and how the use of groupoids and strict higher groupoids resolves some foundational anomalies in algebraic topology at the…

Without the axiom of choice, the free exact completion of the category of sets (i.e. the category of setoids) may not be complete or cocomplete. We will show that nevertheless, it can be enhanced to a derivator: the formal structure of…

A notion of central importance in categorical topology is that of topological functor. A faithful functor E -> B is called topological if it admits cartesian liftings of all (possibly large) families of arrows; the basic example is the…

For half a century, Mackey and Green functors have been successfully used to model the induction and restriction maps which are ubiquitous in the representation theory of finite groups. In the examples, the latter maps are typically…

We introduce the notion of an accessible $\infty$-cosmos and prove that these include the basic examples of $\infty$-cosmoi and are stable under the main constructions. A consequence is that the vast majority of known examples of…

In this article we overview those aspects of the theory of affine semigroups and their algebras that have been relevant for our own research, and pose several open problems. Answers to these problems would contribute substantially to the…

Fix a prime $p$. Since their definition in the context of Localization Theory, the homotopy functors $P_{B\Z/p}$ and $CW_{B\Z/p}$ have shown to be powerful tools to understand and describe the mod $p$ structure of a space. In this paper, we…

In this paper, we address the construction of homotopy bicategories of $(\infty,2)$-categories, which we take as being modeled by 2-fold Segal spaces. Our main result is the concrete construction of a functor $h_2$ from the category of…

It is known that factorisation systems in categories can be viewed as unitary pseudo algebras for the "squaring" monad in Cat. We show in this note that an analogous fact holds for proper (i.e., epi-mono) factorisation systems and a…

We show that the comma category $(\mathcal{F}\downarrow\mathbf{Grp})$ of groups under the free group functor $\mathcal{F}: \mathbf{Set} \to \mathbf{Grp}$ contains the category $\mathbf{Gph}$ of simple graphs as a full coreflective…

In their paper Scholze and Weinstein show that a certain diagram of perfectoid spaces is Cartesian. In this paper, we generalize their result. This generalization will be used in a forthcoming paper of ours to compute certain non-trivial…

The quasitopological fundamental group $\pi_{1}^{qtop}(X,x_0)$ is the fundamental group endowed with the natural quotient topology inherited from the space of based loops and is typically non-discrete when $X$ does not admit a traditional…

Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…

These are notes, by Z. Fiedorowicz, from lectures given by J. Frank Adams at the University of Chicago in spring of 1973. They give an elegant axiomatic presentation of localization and completion in algebraic topology. The construction of…