Related papers: Epireflections in topological algebraic structures
Any toric flip naturally induces an equivalence between the associated categories of equivariant reflexive sheaves, and we investigate how slope stability behaves through this functor. On one hand, for a fixed toric sheaf, and natural…
We study fibrations arising from indexed categories of the following form: fix two categories $\mathcal{A},\mathcal{X}$ and a functor $F : \mathcal{A} \times \mathcal{X} \longrightarrow\mathcal{X} $, so that to each $F_A=F(A,-)$ one can…
We prove a categorical duality between a class of abstract algebras of partial functions and a class of (small) topological categories. The algebras are the isomorphs of collections of partial functions closed under the operations of…
Lenses encode protocols for synchronising systems. We continue the work begun by Chollet et al. at the Applied Category Theory Adjoint School in 2020 to study the properties of the category of small categories and asymmetric delta lenses.…
We show that the epireflective hull of the Q-Sierpinski space in the category Q-$TOP_0$ of $T_0$ Q-topological spaces is the category Q-SOB of Q-sober topological spaces.
This paper studies fundamental questions concerning category-theoretic models of induction and recursion. We are concerned with the relationship between well-founded and recursive coalgebras for an endofunctor. For monomorphism preserving…
We construct recursion categories from categories of coalgebras. Let $F$ be a nontrivial endofunctor on the category of sets that weakly preserves pullbacks and such that the category $\textbf{Set}_F$ of $F$-coalgebras is complete. The…
Topological algebras have properties that extend naturally to those of topological groups [8, 9], but is it the case that semi-direct products exist as in the category of groups? Firstly, we express concepts in categorical language that…
We consider homomorphisms of complete, separated right or two-sided linear topological rings with countable bases of neighborhoods of zero $\mathfrak f\colon\mathfrak R\to\mathfrak S$. Taut maps of right linear topological rings, strongly…
We describe in terms of spherical twists the Serre functors of many interesting semiorthogonal components, called residual categories, of the derived categories of projective varieties. In particular, we show the residual categories of Fano…
This paper brings together C*-algebras and algebraic topology in terms of viewing a C*-algebraic invariant in terms of a topological spectrum. E-theory, E(A,B), is a bivariant functor in the sense that is a cohomology functor in the first…
In this paper we develop the theory of topological categories over a base category, that is, a theory of topological functors. Our notion of topological functor is similar to (but not the same) the existing notions in the literature (see…
We discuss a topological classification of insulators and superconductors in the presence of both (non-spatial) discrete symmetries in the Altland-Zirnbauer classification and spatial reflection symmetry in any spatial dimensions. By using…
Given a partial action $\theta$ of a group on a set with an algebraic structure, we construct a reflector of $\theta$ in the corresponding subcategory of global actions and study the question when this reflector is a globalization. In…
We give conditions on a finitary endofunctor of a finitely accessible category to admit a final coalgebra. Our conditions always apply to the case of a finitary endofunctor of a locally finitely presentable (l.f.p.) category and they bring…
We develop the basic constructions of homological algebra in the (appropriately defined) unbounded derived categories of modules over algebras over coalgebras over noncommutative rings (which we call semialgebras over corings). We define…
A covariant functor from the category of the complex tori to the category of the Effros-Shen algebras is constructed. The functor maps isomorphic complex tori to the stably isomorphic Effros-Shen algebras. Our construction is based on the…
Given a planar algebra we show the equivalence of the notions of a module over this algebra (in the operadic sense), and module over a universal annular algebra. We classify such modules, with invariant inner products, in the generic region…
In this note, we compare the two approaches to semiring schemes as topological spaces with a structure sheaf and as a functor of points. We explain and prove the following two results: (1) the topological space can be recovered from the…
In this paper we show that it is possible to define a topology on the category of formal schemes over a ring of $p$-adic integers such that the left adjoint of the Greenberg Transform is a site cocontinuous functor when we equip the…