Related papers: Category bases that are equivalent to topologies
The thesis presents the subject of synthetic topology, especially with relation to metric spaces. A model of synthetic topology is a categorical model in which objects possess an intrinsic topology in a suitable sense, and all morphisms are…
The concept of n-categories and related subject is considered. An n-category is described as an n-graph with a composition. A new definition of operad is presented. Some illustrative examples are given.
We show that the category of log homotopy types is a full subcategory of a category of homotopy types with modulus.
We consider three (2-)categories and their (anti-)equivalence. They are the category of small abelian categories and exact functors, the category of definable additive categories and interpretation functors, the category of locally coherent…
We demonstrate equivalence between two definitions of lower finite highest weight categories. We also show that, in the presence of a duality, a lower finite highest weight structure on a category is unique. Finally, we give a new proof for…
The subject of topological defects has become a very attractive field of study given its apparent relevance to as diverse systems as the early universe and condensed matter. As usually envisaged the topology of the manifold M of the minima…
Topologists are sometimes interested in space-valued diagrams over a given index category, but it is tricky to say what such a diagram even is if we look for a notion that is stable under equivalence. The same happens in (homotopy) type…
In arXiv:1209.0038 we constructed topological triangulated categories C_c as stable categories of certain topological Frobenius categories F_c. In this paper we show that these categories have a cluster structure for certain values of c…
The most commonly known triangulated categories arise from chain complexes in an abelian category by passing to chain homotopy classes or inverting quasi-isomorphisms. Such examples are called `algebraic' because they originate from abelian…
Tilings of the plane resemble the simplicial and other complexes from algebraic topology, but have not been studied from this perspective. We construct finite categories corresponding to polygons with labeled directed edges, and introduce…
Network representations of systems from various scientific and societal domains are neither completely random nor fully regular, but instead appear to contain recurring structural building blocks. These features tend to be shared by…
This paper is the fourth in a series whose goal is to develop a fundamentally new way of building theories of physics. The motivation comes from a desire to address certain deep issues that arise in the quantum theory of gravity. Our basic…
The group of continuous binary operations on a topological space is studied; its relationship with the group of homeomorphisms is established. The category of binary $G$-spaces and bi-equivariant maps is constructed, which is a natural…
We use the notion of multi-Reedy category to prove that, if $\mathcal C$ is a Reedy category, then $\Theta \mathcal C$ is also a Reedy category. This result gives a new proof that the categories $\Theta_n$ are Reedy categories. We then…
We give a short, mostly elementary and self-contained proof of the classical result that the groups of diffeomorphisms, homeomorphisms, and homotopy equivalences of a surface have the same group of connected components.
This paper presents preliminary work on a general system for integrating dependent types into substructural type systems such as linear logic and linear type theory. Prior work on this front has generally managed to deliver type systems…
The main result of this paper is that the categories of (right) hypergroups over the group and of triples, consisting of a group, its subgroup and a (right) transversal to this subgroup, are equivalent.
We define a notion of a weak canonical base for a partial type. This notion is weaker than the usual canonical base for an amalgamation base. We prove that certain family of partial types have a weak canonical base. This family clearly…
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…
While many different models for $(\infty,1)$-categories are currently being used, it is known that they are Quillen equivalent to one another. Several higher-order analogues of them are being developed as models for $(\infty,…