相关论文: Isomorphisms in pro-categories

We define strict and weak duality involutions on 2-categories, and prove a coherence theorem that every bicategory with a weak duality involution is biequivalent to a 2-category with a strict duality involution. For this purpose we…

An isoparametric family in the unit sphere consists of parallel isoparametric hypersurfaces and their two focal submanifolds. The present paper has two parts. The first part investigates topology of the isoparametric families, namely the…

We extend the homotopy theories based on point reduction for finite spaces and simplicial complexes to finite acyclic categories and $\Delta$-complexes, respectively. The functors of classifying spaces and face posets are compatible with…

Homotopic morphisms of $\mathbb E$-triangles in extriangulated categories are introduced. Any morphism of $\mathbb E$-triangles is a composition of homotopic morphisms. Any morphism $(\alpha_1, \alpha_2, \alpha_3)$ of $\mathbb E$-triangles…

We prove that if two closed, connected, regular cosymplectic manifolds have isomorphic groups of cosymplectomorphisms (as topological groups), then the underlying manifolds are diffeomorphic. The proof proceeds by characterizing the Reeb…

Inverse categories are categories in which every morphism x has a unique pseudo-inverse y in the sense that xyx=x and yxy=y. Persistence modules from topological data analysis and similarly decomposable category representations factor…

Within a category $\mathtt{C}$, having objects $\mathtt{C}_0$, it may be instructive to know not only that two objects are non-isomorphic, but also how far from being isomorphic they are. We introduce pseudo-metrics $d:\mathtt{C}_0 \times…

We investigate the concept of definable, or inner, automorphism in the logical setting of partial Horn theories. The central technical result extends a syntactical characterization of the group of such automorphisms (called the covariant…

Bilinear maps and their classifying tensor products are well-known in the theory of linear algebra, and their generalization to algebras of commutative monads is a classical result of monad theory. Motivated by constructions needed in…

The paper is devoted to one of the important notions of the shape theory: that of strong movability, which was primarily introduced by K. Borsuk for metrizable compacts. A strong movability criterion is proved for topological spaces, which…

To a bicomplex one can associate two natural filtrations, the column and row filtrations, and then two associated spectral sequences. This can be generalized to $N$-multicomplexes. We present a family of model category structures on the…

We investigate the triangulated structure of stable monomorphism categories (filtered chain categories) over a Frobenius category. The high degree of symmetry of linear quivers leads to a plethora of semiorthogonal decompositions into…

Complementing and extending the Inventiones work of Benson, Grodal, Henke [Group cohomology and control of p-fusion, Invent. Math. 197 (2014), 491--507] we give criteria for a space to have cohomology (strongly) F-isomorphic in the sense of…

This paper considers the possible underlying multicategories for a symmetric monoidal category, and shows that, up to canonical and coherent isomorphism, there really is only one. As a result, there is a well-defined forgetful functor from…

Indexed symmetric monoidal categories are an important refinement of bicategories -- this structure underlies several familiar bicategories, including the homotopy bicategory of parametrized spectra, and its equivariant and fiberwise…

In this thesis, we develop the theory of bifibrations of polycategories. We start by studying how to express certain categorical structures as universal properties by generalising the shape of morphism. We call this phenomenon…

Every smooth manifold contains particles which propagate. These form objects and morphisms of a category equipped with a functor to the category of Abelian groups, turning this into a 0+1 topological field theory. We investigate the…

Symmetries and isomorphisms play similar conceptual roles when we consider how models represent physical situations, but they are formally distinct, as two models related by symmetries are not typically isomorphic. I offer a rigorous…

We systematically investigate morphisms and equivalences of toposes from multiple points of view. We establish a dual adjunction between morphisms and comorphisms of sites, introduce the notion of weak morphism of toposes and characterize…

We extend the category of (super)manifolds and their smooth mappings by introducing a notion of microformal or "thick" morphisms. They are formal canonical relations of a special form, constructed with the help of formal power expansions in…