Related papers: Various topos of types constructions
We introduce the notion of an ordered face structure. The ordered face structures to many-to-one computads are like positive face structures to positive-to-one computads. This allow us to give an explicit combinatorial description of…
We generalise the construction of $Q$-family of quandles and $G$-family of quandles which were introduced in the paper of A. Ishii, M. Iwakiri, Y. Jang, K. Oshiro, and find connection with other constructions of quandles. We define a…
In this article, we provide characterizations of toric Richardson varieties across all types through three distinct approaches: 1) poset theory, 2) root theory, and 3) geometry.
Four constructions result from a desire to create enhancements to Cantor's infinite real set cardinality. Each continues to keep Cantor's cardinality formulation in place while providing new comparisons of arbitrary infinite sets. To…
We study different notions of connected constructive metric spaces. They differ the types of connected components and how different components relate to each other. These notions are equivalent in classical point set topology but they give…
Topological groupoids admit various types of morphisms. We push these notions to the level of continuous groupoid actions to obtain various types of groupoid action morphisms. Some dynamical properties and their relation to these morphisms…
We describe a procedure for constructing morphisms in additive categories, combining Auslander's concept of a morphism determined by an object with the existence of flat covers. Also, we show how flat covers are turned into projective…
We establish a general method for generating reflections between categories. We then apply our technique to generate adjunctions starting from geometric morphisms between Grothendieck toposes; as particular cases, we recover various…
We characterize Poisson and Jacobi structures by means of complete lifts of the corresponding tensors: the lifts have to be related to canonical structures by morphisms of corresponding vector bundles. Similar results hold for generalized…
This survey is focused on the results related to topologies on the groups of transformations in ergodic theory, Borel, and Cantor dynamics. Various topological properties (density, connectedness, genericity) of these groups and their…
In this note, we describe a procedure to construct generalized complex structures with an arbitrarily large number of type change loci on products of the circle with a connected sum of closed 3-manifolds. The loci need not be isotopic.
In this paper, we give a survey of a geometrical theory of Jacobi forms of higher degree. And we present some geometric results and discuss some geometric problems to be investigated in the future.
We give a structure theorem for n-dimensional smooth toric Fano varieties whose associated polytope has "many" pairs of centrally symmetric vertices.
We developed a type-theoretical framework for natural lan- guage semantics that, in addition to the usual Montagovian treatment of compositional semantics, includes a treatment of some phenomena of lex- ical semantic: coercions, meaning,…
We provide a treatment of isomorphism within a set-theoretic formulation of dependent type theory. Type expressions are assigned their natural set-theoretic compositional meaning. Types are divided into small and large types --- sets and…
This is a survey of results on the construction of holomorphic cusp forms on tube domains originally initiated by Ikeda. Besides a survey it includes conjectures and possible applications of our work.
This paper introduces categories of assemblies which are closely connected to realizability interpretations and which are based on an important subcategory of the effective topos. There is a list of properties which characterize these…
We define nodal finite dimensional algebras and describe their structure over an algebraically closed field. For a special class of such algebras (type A) we find a criterion of tameness.
A correspondence between different $Pin$-type structures on a compact surface and quadratic (linear) forms on its homology is constructed. Addition of structures is defined and expressed in terms of these quadratic forms.
We prove a conjecture of Shokurov which characterises toric varieties using log pairs.