Related papers: Various topos of types constructions

We give explicit descriptions of all path connected components and isolated points of both spaces of composition operators and nonzero weighted composition operators acting from a Fock space $\mathcal{F}^p(\mathbb{C}^n)$ to another one…

We study some important topological properties such as boundedness, compactness and essential norm of differences of weighted composition operators between Fock spaces

This is a review of the fundamental concepts of general topology.

This paper aims to examine the version of the topological group structure in proximity and especially descriptive proximity spaces, that is, the concepts of proximal group and descriptive proximal group are introduced. In addition, the…

In this study, after introducing Pasch geometries and algebraic properties of their, we studied categorical structure of the categories of Pasch geometries with morphisms and homomorphisms. In this regard, definition and construction of…

We present an abstract unifying framework for interpreting Stone-type dualities; several known dualities are seen to be instances of just one topos-theoretic phenomenon, and new dualities are introduced. In fact, infinitely many new…

This paper is a brief overview of recent results by the authors relating colored Jones polynomials to geometric topology. The proofs of these results appear in the papers [arXiv:1002.0256] and [arXiv:1108.3370], while this survey focuses on…

We show that the question whether a term is typable is decidable for type systems combining inclusion polymorphism with parametric polymorphism provided the type constructors are at most unary. To prove this result we first reduce the…

We give an expository, and hopefully approachable, account of the Joyal-Tierney result that every topos can be represented as a topos of sheaves on a localic groupoid. We give an explicit presentation of a representing localic groupoid for…

These informal notes discuss a few basic notions and examples, with emphasis on constructions that may be relevant for analysis on metric spaces.

We consider a few types of bounded homomorphisms on a topological group. These classes of bounded homomorphisms are, in a sense, weaker than the class of continuous homomorphisms. We show that with appropriate topologies each class of these…

In \cite{LS14} the analogy between the Kleisli construction and the construction of "warping a skew monoidale category" in the sense of \cite{LS12} was outlined. In this note we present the same work in a slightly more formal way.

We discuss a question by Felix, Oprea, and Tanre concerning nonnegative curvature and (rational) homotopy type.

We show that state, reader, writer, and error monad transformers are instances of one general categorical construction: translation of a monad along an adjunction.

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…

A basic class of constructions is considered, in connection with bilipschitz mappings in particular.

This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts (for part II, see math.AG/0404373). In this first part we investigate a notion of higher topos. For…

We present and characterize the classes of Grothendieck toposes having enough supercompact objects or enough compact objects. In the process, we examine the subcategories of supercompact objects and compact objects within such toposes and…

The authors study in detail new types of varieties with degenerate Gauss maps: varieties with multiple foci and their particular case, the so-called twisted cones. They prove an existence theorem for twisted cones and describe their…

We give a general construction of topological groups from combinatorial structures such as trees, towers, gaps, and subadditive functions. We connect topological properties of corresponding groups with combinatorial properties of these…