相关论文: Bilimits in categories of partial maps

We investigate closed subsets (subsemigroups, resp.) of compact-like topological spaces (semigroups, resp.). We prove that each Hausdorff topological space can be embedded as a closed subspace into an H-closed topological space. However,…

We give a new definition of the derived category of constructible $\ell$-adic sheaves on a scheme, which is as simple as the geometric intuition behind them. Moreover, we define a refined fundamental group of schemes, which is large enough…

Since the time when the first optical instruments have been invented, an idea that the visible image of an object under observation depends on tools of observation became commonly assumed in physics. A way to formalize it in mathematics is…

There are many category-theoretic notions of algebraic theory, including Lawvere theories, monads, PROPs and operads. The first central notion of this thesis is a common generalisation of these, which we call a proto-theory. In order to…

We show that there is a bijection between the subtoposes of the classifying topos of a geometric theory T over a signature L and the closed geometric theories over L which are `quotients' of the theory T; next, we analyze how classical…

A new category $\mathfrak{dp}$, called of dynamical patterns addressing a primitive, nongeometrical concept of dynamics, is defined and employed to construct a $2-$category $2-\mathfrak{dp}$, where the irreducible plurality of species of…

As a practical foundation for a homotopy theory of abstract spacetime, we extend a category of certain compact partially ordered spaces to a convenient category of locally preordered spaces. In particular, we show that our new category is…

A clear understanding of topology of higher-dimensional objects is important in many branches of both pure and applied mathematics. In this survey we attempt to present some results of higher-dimensional topology in a way which makes clear…

Coecke and Heunen described completely positive maps in dagger monoidal categories and the {\sf CP}-infinity construction on these categories in order to construct a category of arbitrary dimensional quantum processes. This article…

Let $\imath: M\to \RR^{p+2}$ be a smooth embedding from a connected, oriented, closed $p$-dimesional smooth manifold to $\RR^{p+2}$, then there is a spin structure $\imath^\sharp(\varsigma^{p+2})$ on $M$ canonically induced from the…

Let $\mathcal C$ be the category of finite graphs. Lov\`{a}sz shows that the semi-ring of isomorphism classes of $\mathcal C$ (with coproduct as sum, and product as multiplication) is embedded into the direct product of the semi-ring of…

Directed topology is a refinement of standard topology, where spaces may have non-reversible paths. It has been put forward as a candidate approach to the analysis of concurrent processes. Recently, a wealth of different frameworks for,…

The goal of this paper is to develop a theory of join and slices for strict $\infty$-categories. To any pair of strict $\infty$-categories, we associate a third one that we call their join. This operation is compatible with the usual join…

Dense pairs of geometric topological fields have tame open core, that is, every definable open subset in the pair is already definable in the reduct. We fix a minor gap in the published version of van den Dries's seminal work on dense pairs…

A deformed Donaldson-Thomas (dDT) connection is a Hermitian connection of a Hermitian line bundle over a $G_2$-manifold $X$ satisfying a certain nonlinear PDE. This is considered to be the mirror of a (co)associative cycle in the context of…

This article contains a proof of the basic lemma. This lemma, discovered by Beilinson, yields a motivic proof of the Andreotti-Frankel theorem for affine varieties. Next, it is shown that the category of Cohomologically Constructible…

We prove an ambidexterity result for $\infty$-categories of $\infty$-categories admitting a collection of colimits. This unifies and extends two known phenomena: the identification of limits and colimits of presentable $\infty$-categories…

In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is…

Cube categories are used to encode higher-dimensional categorical structures. They have recently gained significant attention in the community of homotopy type theory and univalent foundations, where types carry the structure of such higher…

We develop a diagrammatic proof system for a fragment of structural semantics inspired by the Greimas semiotic square, using spider diagrams as the underlying formalism. The basic terms are represented as diagrammatic configurations, and…