Results 31 to 40 of about 142,440 (280)
Coalgebraic Geometric Logic: Basic Theory [PDF]
Logical Methods in Computer Science, 2022 Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor on some full subcategory of the category of ...
Nick Bezhanishvili +2 more
doaj +1 more source
Topological superconductors and category theory [PDF]
, 2017 Abstract A pedagogical introduction to topologically ordered states of matter is given, with the aim of familiarizing the reader with their axiomatic topological quantum field theory description. Basic non-interacting topological phases of matter protected by symmetries are introduced, including the Su–Schrieffer–Heeger model and the one-
Bernevig, Andrei, Neupert, Titus
openaire +2 more sources
On Extension Of Functors [PDF]
, 2011 A.Chigogidze defined for each normal functor on the category Comp an extension which is a normal functor on the category Tych. We consider this extension for any functor on the category Comp and investigate which properties it preserves from the ...
Karchevska, Lesya, Radul, Taras
core +2 more sources
From gauge to higher gauge models of topological phases
Journal of High Energy Physics, 2018 We consider exactly solvable models in (3+1)d whose ground states are described by topological lattice gauge theories. Using simplicial arguments, we emphasize how the consistency condition of the unitary map performing a local change of triangulation is
Clement Delcamp, Apoorv Tiwari
doaj +1 more source
Category of Fuzzy Topological Polygroups
International Journal of Analysis and Applications, 2016 In this paper, the relation between two definitions of a fuzzy topological polygroup is discussed. The collection of all fuzzy continuous functions from a fuzzy topological space Y to a fuzzy topological polygroup Z, denoted by FC(Y,Z) induces a ...
N. Abbasizadeh, B. Davvaz
doaj +2 more sources
Topology and its Applications, 1984 The investigation of topological resp. initially complete categories is a central topic of categorical topology. The article under review, a survey of the theory of initially complete categories, is a well written, highly stimulating supplement to the reviewers survey article 'Categorical topology 1971-1981' [ Proc. 5th Prague Topol. Symp.
openaire +1 more source
Categorically closed topological groups
, 2017 Let $\mathcal C$ be a subcategory of the category of topologized semigroups and their partial continuous homomorphisms. An object $X$ of the category ${\mathcal C}$ is called ${\mathcal C}$-closed if for each morphism $f:X\to Y$ of the category ...
Banakh, Taras
core +2 more sources
On classes of T0 spaces admitting completions
Applied General Topology, 2003 For a given class X of T0 spaces the existence of a subclass C, having the same properties that the class of complete metric spaces has in the class of all metric spaces and non-expansive maps, is investigated.
Eraldo Giuli
doaj +1 more source
The notions of closedness and D-connectedness in quantale-valued approach spaces [PDF]
Categories and General Algebraic Structures with Applications, 2020 In this paper, we characterize local $T_{0}$ and $T_{1}$ quantale-valued gauge spaces, show how these concepts are related to each other and apply them to $mathcal{L}$-approach distance spaces and $mathcal{L}$-approach system spaces. Furthermore, we give
Muhammad Qasim, Samed Özkan
doaj
The Morita equivalence between parametrized spectra and module spectra
, 2017 We give a Quillen equivalence between May and Sigurdsson's model category of parametrized spectra over BG, and Mandell, May, Schwede, and Shipley's model category of modules over the orthogonal ring spectrum \Sigma^\infty_+ G, for each topological group ...
Lind, John A., Malkiewich, Cary
core +1 more source