Related papers: Various topos of types constructions

In this work, we will introduce the notion of generalized topological groups using generalized topological structure and generalized continuity defined by ?A. Cs?asz?ar [2]. We will discuss some basic properties of this kind of structures…

This note contains preliminary calculation of topological types or real Enriques surfaces. We realize 59 topological types of real Enriques surfaces (Theorem 6) and show that all other topological types belong to the list of 21 topological…

Certain towers of function fields with complete splitting of rational places at each stage are constructed. Also, families oof towers with positive N/g ratios are described.

This article gives a conceptual introduction to the topos approach to the formulation of physical theories.

In this paper, using the topology on the set of shape morphisms between arbitrary topological spaces $X$, $Y$, $Sh(X,Y)$, defined by Cuchillo-Ibanez et al. in 1999, we consider a topology on the shape homotopy groups of arbitrary…

Formulas of Rodrigues-type for the Macdonald polynomials are presented. They involve creation operators, certain properties of which are proved and other conjectured. The limiting case of the Jack polynomials is discussed.

We compare two different notions of generic expansions of countable saturated structures. One kind of genericity is related to model-companions and to amalgamation constructions \'a la Hrushovski-Fra\"iss\'e. Another notion of generic…

With a model of a geometric theory in an arbitrary topos, we associate a site obtained by endowing a category of generalized elements of the model with a Grothendieck topology, which we call the antecedent topology. Then we show that the…

The purpose of this note is to start the systematic analysis of cofinal types of topological groups.

An introduction and survey of homotopy type theory in honor of W.W. Tait.

Covering space theory is used to construct new examples of buildings.

A class of nets in constructive (in A.A.Markov's sense) topological space for which the convergence is equivalent to convergence of all subsequences, is described. B.A.Kushner's theorem about coincidence of strong and weak constructive…

We give an abstract definition of a hypertoric variety, generalizing the existing constructive definition. We construct a hypertoric variety associated with any zonotopal tiling, and we show that the previously known examples are exactly…

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 give a complete classsification of reduced sextics of torus type with configurations of the singularities and the geometry of the components.

We consider reaction-diffusion equations on closed surfaces in $\mathbb R^3$ having genus $1$. Stable nonconstant stationary solutions are often called patterns. The purpose of this paper is to construct closed surfaces together with…

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…

In this paper we prove an equivalence theorem originally observed by Robert MacPherson. On one side of the equivalence is the category of cosheaves that are constructible with respect to a locally cone-like stratification. Our…

The purpose of this survey article is to introduce the reader to a connection between Logic, Geometry, and Algebra which has recently come to light in the form of an interpretation of the constructive type theory of Martin-L\"of into…

We give a classification of open equivariant topological conformal field theories in terms of Calabi-Yau $A_\infty$-categories endowed with a group action.