Related papers: W-types in sheaves
The properties of convex pentagonal monotiles in the 15 Type families and their tilings are summarized. The Venn diagrams of the 15 Type families are also shown.
In this short note, we construct a class of models of an extension of homotopy type theory, which we call homotopy type theory with an interval type.
We prove a result on the existence of linear forms of a given Diophantine type.
A lot of good properties of etale cohomology only hold for torsion coefficients. We use "enlargement of categories" as developed in http://arxiv.org/abs/math.CT/0408177 to define a cohomology theory that inherits the important properties of…
We introduce the notion of a braiding on a skew monoidal category, whose curious feature is that the defining isomorphisms involve three objects rather than two. These braidings are shown to arise from, and classify, cobraidings (also known…
We consider the category $\operatorname{Qcoh}\mathbb{X}$ of quasicoherent sheaves where $\mathbb{X}$ is a weighted noncommutative regular projective curve over a field $k$. This category is a hereditary, locally noetherian Grothendieck…
We classify the module categories over the double (possibly twisted) of a finite group.
We consider some generalization of the theory of quantum states and demonstrate that the consideration of quantum states as sheaves can provide, in principle, more deep understanding of some well-known phenomena. The key ingredients of the…
We examine $q-$series related to higher forms. These forms are cubics, quartics, etc. In some points, in the article we add parts from previous works, in such a way, the article be more complete and readable.
We give characterizations for the parabolicity of regular trees.
An introduction is given to the logic of sheaves of structures and to set theoretic forcing constructions based on this logic. Using these tools, it is presented an alternative proof of the independence of the Continuum Hypothesis; which…
We propose an abstract notion of a type theory to unify the semantics of various type theories including Martin-L\"{o}f type theory, two-level type theory and cubical type theory. We establish basic results in the semantics of type theory:…
We introduce basic notions in category theory to type theorists, including comprehension categories, categories with attributes, contextual categories, type categories, and categories with families along with additional discussions that are…
A few notes about infinite trees in a descriptive set-theoretic setting.
In this work we define the surfaces spherical type via support function (in short, SS-surfaces). We present a Weierstrass type representation for SS-surfaces with prescribed Gauss map which depends on two holomorphic functions. Also, we use…
In this article we review some recent developments in heterotic compactifications. In particular we review an ``inherently toric'' description of certain sheaves, called equivariant sheaves, that has recently been discussed in the physics…
We show that the additive higher Chow groups of regular schemes over a field induce a Zariski sheaf of pro-differential graded algebras, whose Milnor range is isomorphic to the Zariski sheaf of big de Rham-Witt complexes. This provides an…
In this work we develop some categorical aspects of the double structure of a module.
Let ${\widetilde {\mathcal O}}(\mathbf B)$ be the category of (open) subcategories of a topological groupoid ${\mathbf B}.$ This paper concerns with the ${\mathbf {Cat}}$-valued sheaves over category ${\widetilde {\mathcal O}}(\mathbf B).$…
We consider skew ruled surfaces in the three-dimensional Euclidean space and some geometrically distinguished families of curves on them whose normal curvature has a concrete form. The aim of this paper is to find and classify all ruled…