Related papers: Identity-Preserving Lax Extensions and Where to Fi…
Additive categories play a fundamental role in mathematics and related disciplines. Given an additive category equipped with a biadditive functor, one can construct its category of extensions, which encodes important structural information.…
A.Chigogidze defined for each normal functor on the category Comp an extension which is a normal functor on the category Tych. We consider this extension for any functor on the category Comp and investigate which properties it preserves…
In the first part of this paper we study fibrations of $(\infty,2)$-categories. We give a simple characterization of such fibrations in terms of a certain square being a pullback, and apply this to show that in some cases…
We use the connection between automata and logic to prove that a wide class of coalgebraic fixpoint logics enjoys uniform interpolation. To this aim, first we generalize one of the central results in coalgebraic automata theory, namely…
System I is a proof language for a fragment of propositional logic where isomorphic propositions, such as $A\wedge B$ and $B\wedge A$, or $A\Rightarrow(B\wedge C)$ and $(A\Rightarrow B)\wedge(A\Rightarrow C)$ are made equal. System I enjoys…
In this paper, we propose an extension of the standard strong and weak lack-of-memory properties. We say that the survival function $\bar{F}$ of the vector $(X,Y)$ satisfies pseudo lack-of-memory property in strong version if…
We study pullback attractors of non-autonomous non-compact dynamical systems generated by differential equations with non-autonomous deterministic as well as stochastic forcing terms. We first introduce the concepts of pullback attractors…
One way of interpreting a left Kan extension is as taking a kind of "partial colimit", whereby one replaces parts of a diagram by their colimits. We make this intuition precise by means of the "partial evaluations" sitting in the so-called…
Given a p-form defined on the smooth locus of a normal variety, and a resolution of singularities, we study the problem of extending the pull-back of the p-form over the exceptional set of the desingularization. For log canonical pairs and…
In our paper "Essential normality, essential norms and hyperrigidity" we claimed that the restriction of the identity representation of a certain operator system (constructed from a polynomial ideal) has the unique extension property,…
We show that factorization systems, both strict and orthogonal, can be equivalently described as double categories satisfying certain properties. This provides conceptual reasons for why the category of sets and partial maps or the category…
We study a generalized notion of a homogeneous skew-product extension of a probability-preserving system in which the homogeneous space fibres are allowed to vary over the ergodic decomposition of the base. The construction of such…
We provide a categorical interpretation of a well-known identity from linear algebra as an isomorphism of certain functors between triangulated categories arising from finite dimensional algebras. As a consequence, we deduce that the Serre…
We study the continuity of pullback and uniform attractors for non-autonomous dynamical systems with respect to perturbations of a parameter. Consider a family of dynamical systems parameterised by a complete metric space $\Lambda$ such…
We generalize the work by Soboci\'nski on relational presheaves and their connection with weak (bi)simulation for labelled transistion systems to a coalgebraic setting. We show that the coalgebraic notion of saturation studied in our…
Given a contraction of a variety X to a base Y, we enhance the locus in Y over which the contraction is not an isomorphism with a certain sheaf of noncommutative rings D, under mild assumptions which hold in the case of (1) crepant partial…
We show how the tangent functor extends from ordinary smooth maps to "microformal morphisms" (also called "thick morphisms") of supermanifolds. Microformal morphisms generalize ordinary maps and correspond to formal canonical relations…
Preservation theorems provide a direct correspondence between the syntactic structure of first-order sentences and the closure properties of their respective classes of models. A line of work has explored preservation theorems relativised…
Suppose we are given complex manifolds $X$ and $Y$ together with substacks $\mathcal{S}$ and $\mathcal{S}'$ of modules over algebras of formal deformation $\mathcal{A}$ on $X$ and $\mathcal{A}'$ on $Y$, respectively. Suppose also we are…
Coverage functions are an important subclass of submodular functions, finding applications in machine learning, game theory, social networks, and facility location. We study the complexity of partial function extension to coverage…