相关论文: Singular Equivalence of Morita Type with Level

We prove an infinite analogue of the main theorem of discrete Morse theory formulated in terms of discrete Morse matchings. Our theorem holds under the assumption that the given Morse matching induces finitely many equivalence classes of…

A typoid is a type equipped with an equivalence relation, such that the terms of equivalence between the terms of the type satisfy certain conditions, with respect to a given equivalence relation between them, that generalise the properties…

We show that a reflective/coreflective pair of full subcategories satisfies a "maximal-normal"-type equivalence if and only if it is an associated pair in the sense of Kelly and Lawvere.

It was shown by Connes, Douglas, Schwarz[1] that one can compactify M(atrix) theory on noncommutative torus. We prove that compactifications on Morita equivalent tori are physically equivalent. This statement can be considered as a…

We answer a question posed by Morita concerning the non-triviality of certain secondary characteristic classes for surface bundles. In doing so we are naturally led to show that a form of Harer stability holds for surface diffeomorphism…

Several constructions on directed graphs originating in the study of flow equivalence in symbolic dynamics (e.g., splittings and delays) are known to preserve the Morita equivalence class of Leavitt path algebras over any coefficient field…

Much research has been done on structures equivalent to topological or simplicial groups. In this paper, we consider instead simplicial monoids. In particular, we show that the usual model category structure on the category of simplicial…

We consider the problem of defining quantum integrability in systems with finite number of energy levels starting from commuting matrices and construct new general classes of such matrix models with a given number of commuting partners. We…

The Morita equivalence of m-regular involutive quantales in the context of the theory of Hilbert $A$-modules is presented. The corresponding fundamental representation theorems are shown. We also prove that two commutative m-regular…

Types over a discrete valued field $(K,v)$ are computational objects that parameterize certain families of monic irreducible polynomials in $K_v[x]$, where $K_v$ is the completion of $K$ at $v$. Two types are considered to be equivalent if…

This paper deals with two aspects of the theory of characteristic classes of star products: first, on an arbitrary Poisson manifold, we describe Morita equivalent star products in terms of their Kontsevich classes; second, on symplectic…

Dependent Object Types (DOT) is intended to be a core calculus for modelling Scala. Its distinguishing feature is abstract type members, fields in objects that hold types rather than values. Proving soundness of DOT has been surprisingly…

Hausdorff Morita equivalence is an equivalence relation on singular foliations, which induces a bijection between their leaves. Our main statement is that linearizability along a leaf is invariant under Hausdorff Morita equivalence. The…

We study interactions between the categories of $\D$-modules on smooth and singular varieties. For a large class of singular varieties $Y$, we use an extension of the Grothendieck--Sato formula to show that $\D_Y$-modules are equivalent to…

We introduce relative homological and weakly homological categories, where ``relative'' refers to a distinguished class of normal epimorphisms. It is a generalization of homological categories, but also protomodular categories can be…

In this paper, we study equivalences between the categories of quasi-coherent sheaves on non-commutative noetherian schemes. In particular, give a new proof of Caldararu's conjecture about Morita equivalences of Azumaya algebras on…

We present the rudiments of the Morita theory of module systems (over semirings), paralleling the classical Morita theory over associative rings.

An explicit isomorphism between Morse homology and singular homology is constructed via the technique of pseudo-cycles. Given a Morse cycle as a formal sum of critical points of a Morse function, the unstable manifolds for the negative…

For a small quantaloid $\mathcal{Q}$, we introduce $\mathcal{M}$-(co)complete $\mathcal{Q}$-categories, i.e., (co)complete $\mathcal{Q}$-categories up to Morita equivalence, as Eilenberg--Moore algebras of the presheaf monad on the category…

We define a simple dependent type theory and prove that its well-formed types correspond exactly to finite inverse categories.