Related papers: Relating ample and biample topological categories …

We prove that the category of quasi-pseudometric modular spaces whose morphisms are the nonexpansive mappings is isomorphic to a quantale enriched category. To achieve this, we construct an appropriate quantale of isotone functions. We also…

In this article, we introduce and explore the notion of topological amenability in the broad setting of (locally compact) semihypergroups. We acquire several stationary, ergodic and Banach algebraic characterizations of the same in terms of…

We prove that the category of McKinsey-Tarski algebras is not equivalent to a variety of algebras, thus answering a question of Peter Jipsen in the negative. More generally, we show that various categories of BAOs (boolean algebras with an…

We define quasicategories of E_n-structured coalgebras, bialagebras and comodules. We show that: n-fold loop spaces, suspension spectra thereof, descent data for maps of E_n-ring spectra, descent corings of morphisms of E_n-ring spectra and…

We show that any closed model category of simplicial algebras over an algebraic theory is Quillen equivalent to a proper closed model category. By ``simplicial algebra'' we mean any category of algebras over a simplicial algebraic theory,…

A convenient bicategory of topological stacks is constructed which is both complete and Cartesian closed. This bicategory, called the bicategory of compactly generated stacks, is the analogue of classical topological stacks, but for a…

In this paper we prove two new abstract compactness criteria in normed spaces. To this end we first introduce the notion of an equinormed set using a suitable family of semi-norms on the given normed space satisfying some natural…

The paper explains the connection between topological theories for one-manifolds with defects and values in the Boolean semiring and automata and their generalizations. Finite state automata are closely related to regular languages. To each…

In this paper, we introduce a cofibrant simplicial category that we call the free homotopy coherent adjunction and characterize its n-arrows using a graphical calculus that we develop here. The hom-spaces are appropriately fibrant, indeed…

We introduce the notion of an introverted Boolean algebra $\cal B$ of closed-and-open subsets of a topological group $G$, show that the associated Stone space $(\nu_{\cal B} G, \nu_{\cal B})$ is a totally disconnected semigroup…

In this thesis I lift the Curry--Howard--Lambek correspondence between the simply-typed lambda calculus and cartesian closed categories to the bicategorical setting, then use the resulting type theory to prove a coherence result for…

This paper proves three different coherence theorems for symmetric monoidal bicategories. First, we show that in a free symmetric monoidal bicategory every diagram of 2-cells commutes. Second, we show that this implies that the free…

We use the upper and lower potential functions and Bowen's formula estimating the Hausdorff dimension of the limit set of a regular semigroup generated by finitely many $C^{1+\alpha}$-contracting mappings. This result is an application of…

We characterize in terms of bicategories actions of monoidal categories to representation categories of algebras. For that purpose we introduce cocycles in any 2-category $\K$ and the category of Tambara modules over a monad $B$ in $\K$. We…

Eilenberg's variety theorem, a centerpiece of algebraic automata theory, establishes a bijective correspondence between varieties of languages and pseudovarieties of monoids. In the present paper this result is generalized to an abstract…

We introduce a bounded version of Bredon cohomology for groups relative to a family of subgroups. Our theory generalizes bounded cohomology and differs from Mineyev--Yaman's relative bounded cohomology for pairs. We obtain cohomological…

Integral categories form a sub-class of pre-abelian categories whose systematic study was initiated by Rump in 2001. In the first part of this article we determine whether several categories of topological and bornological vector spaces are…

We combine two recent ideas: cartesian differential categories, and restriction categories. The result is a new structure which axiomatizes the category of smooth maps defined on open subsets of $\R^n$ in a way that is completely algebraic.…

We explore "semibounded" expansions of arbitrary ordered groups; namely, expansions that do not define a field on the whole universe. We show that if $\mathcal R=\langle R, <, +, \dots\rangle$ is a semibounded o-minimal structure and…

(Pseudo) double categories have two sorts of morphisms: tight ones which compose strictly, and loose ones which compose up to coherent isomorphism. In this paper, we consider bimodules between double categories in the loose direction. We…