Related papers: Various topos of types constructions
We generalize the theorem of E. Cattani, P. Deligne, and A. Kaplan to admissible variations of mixed Hodge structure.
This paper surveys some selected topics in the theory of conformal metrics and their connections to complex analysis, partial differential equations and conformal differential geometry.
The study of homotopy theoretic phenomena in the language of type theory is sometimes loosely called `synthetic homotopy theory'. Homotopy theory in type theory is only one of the many aspects of homotopy type theory, which also includes…
Native type systems are those in which type constructors are derived from term constructors, as well as the constructors of predicate logic and intuitionistic type theory. We present a method to construct native type systems for a broad…
A new characterization of conformal transformations is given. By use of this, the general form of conformal transformation on two-dimensional Minkowski space is given and its conformal structure is analyzed.
We give new equivalent characterizations for ideals of Borel type. Also, we prove that the regularity of a product of ideals of Borel type is bounded by the sum of the regularities of those ideals.
Using only the Fukaya category and the monodromy around large complex structure, we reconstruct the mirror map in the case of a symplectic torus. This realizes an idea described by Paul Seidel.
Perturbing usual type B topological matter with vector $(0,1)$-forms we find a topological theory which contains explicitly Kodaira-Spencer deformation theory. It is shown that, in genus zero, three-point correlation functions give the…
There are known constructions for some regular polygons, usually inscribed in a circle, but not for all polygons - the Gauss-Wantzel Theorem states precisely which ones can be constructed. The constructions differ greatly from one polygon…
The concept of $typed$ $topology$ is introduced. In a typed topological space, some open sets are assigned "types", and topological concepts such as closure, connectedness can be defined using types. A finite data set in $R^2$ is a…
In this paper we characterize local exponential monomials and polynomials on different types of Abelian groups and we prove Montel-type theorems for these function classes.
We describe the construction of a class of toric varieties as spectra of homogeneous prime ideals.
Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized in the Coq proof assistant. We discuss some of the challenges posed by this approach to formalizing homotopy-theoretic…
We present a comprehensive survey of constructions of the real numbers (from either the rationals or the integers) in a unified fashion, thus providing an overview of most (if not all) known constructions ranging from the earliest attempts…
Topological collections allow to consider uniformly many data structures in programming languages and are handled by functions defined by pattern matching called transformations. We present two type systems for languages with topological…
We provide a quiver description for Cherkis bow varieties in arbitrary type. We explain how this generalizes the construction of Nakajima quiver varieties. We give criteria for stability, non-emptiness, smoothness and discuss deformations.…
The orthogonal and unitary calculi give a method to study functors from the category of real or complex inner product spaces to the category of based topological spaces. We construct functors between the calculi from the…
This article is an investigation of a method of deriving a topology from a space and an elementary submodel containing it. We first define and give the basic properties of this construction, known as $X/M$. In the next section, we construct…
We classify all group topologies coarser than the topology of stabilizers of finite sets in the case of automorphism groups of countable free-homogeneous structures, Urysohn space and Urysohn sphere, among other related results.
We introduce the concept of constructible ideal and we relate this concept with the notion of constructible simplicial complex. Several properties of constructible ideals are studied.