Related papers: Notes on formal smoothness
K. S. S. Nambooripad introduced an interesting class of categories known as normal categories, which are categories with subobjects, morphisms admitting factorization and having sufficiently many cones. These normal categories plays…
We introduce the notion of weighted limit in an arbitrary quasi-category, suitably generalizing ordinary limits in a quasi-category, and classical weighted limits in an ordinary category. This is accomplished by generalizing Joyal's…
We give an overview of recent developments in silting theory. After an introduction on torsion pairs in triangulated categories, we discuss and compare different notions of silting and explain the interplay with t-structures and…
In this article we utilise abstract convexity theory in order to unify and generalize many different concepts from nonsmooth analysis. We introduce the concepts of abstract codifferentiability, abstract quasidifferentiability and abstract…
We develop the formal theory of monads, as established by Street, in univalent foundations. This allows us to formally reason about various kinds of monads on the right level of abstraction. In particular, we define the bicategory of monads…
We introduce the category of {\it locally $k$-standard $T$-manifolds} which includes well-known classes of manifolds such as toric and quasitoric manifolds, good contact toric manifolds and moment-angle manifolds. They are smooth manifolds…
This is the second in a series of articles developing abstract classification theory for classes that have a notion of prime models over independent pairs and over chains. It deals with the problem of smoothness and establishing the…
According to a conjecture attributed to Hartshorne and Lichtenbaum and proven by Ellingsrud and Peskine, the smooth rational surfaces in $\mathbb{P}^4$ belong to only finitely many families. We formulate and study a collection of analogous…
Let X be a linear space over K, K=R or K=C and let for n>1 \rho_i be s-convex semimodular defined on X for any i\in{1,...,n-1}. Put \rho=\max_{1\leq i \leq n-1}\{\rho_i\} and X_{\rho}= { x \in X: \rho(dx) < \infty for some d > 0 }. In this…
This article tackles categorical coherence within a two-dimensional generalization of Lawvere's functorial semantics. 2-theories, a syntactical way of describing categories with structure, are presented. From the perspective here afforded,…
A mathematical smooth function means that the function has continuous derivatives to a certain degree C(k). We call it a k-smooth function or a smooth function if k can grow infinitively. Based on quantum physics, there is no such smooth…
We establish connections between the concepts of Noetherian, regular coherent, and regular n-coherent categories for Z-linear categories with finitely many objects and the corresponding notions for unital rings. These connections enable us…
We generalise recent results of M. Hovey and N. Strickland on comodule categories for Landweber exact algebras using the formalism of algebraic stacks.
Quantization problems suggest that the category of symplectic manifolds and symplectomorphisms be augmented by the inclusion of canonical relations as morphisms. These relations compose well when a transversality condition is satisfied, but…
We solve a problem proposed by Khovanov by constructing, for any set of primes $S$, a triangulated category (in fact a stable $\infty$-category) whose Grothendieck group is $S^{-1}\mathbf{Z}$. More generally, for any exact $\infty$-category…
These notes are an introduction to knot theory from the perspective of surfaces. The notes cover fundamental concepts such as isotopies, Reidemeister moves, torus knots, and (orientable, connected) surfaces with one boundary component. They…
We introduce a model category of spaces based on the definable sets of an o-minimal expansion of a real closed field. As a model category, it resembles the category of topological spaces, but its underlying category is a coherent topos. We…
We show that for a noetherian algebra $A$ whose bounded dg derived category is smooth, the singular Hochschild cohomology (=Tate--Hochschild cohomology) is isomorphic, as a graded algebra, to the Hochschild cohomology of the dg singularity…
In fairly elementary terms this paper presents, and expands upon, a recent result by Garner by which the notion of topologicity of a concrete functor is subsumed under the concept of total cocompleteness of enriched category theory.…
We study presheaves on semicategories enriched in a quantaloid: this gives rise to the notion of regular presheaf. A semicategory is regular when its representable presheaves are regular, and its regular presheaves then constitute an…