Equilogical spacesWe use the theory of triposes to prove that every (non-degenerate) locale His the set of truth values of a complete and co-complete quasi-topos into which the category of topological spaces embeds...doi:10.1007/s11787-018-0192-9Pasquali...
So why is a Heyting algebra atopologicalconstruct? Consider any topological space as given by a collection of open sets, satisfying the usual principles (including the empty set and the total set, and closed under union and finite intersection). These covers have a partial ordering, given by ...
as suggested by Tom Schrijvers as a question at the talk, is the famous "repmin" function introduced by Bird in1984. This is a program that makes essential use of laziness to traverse a tree only once, but replacing each element in the tree by the minimum element...
I was recently working on some Haskell code (for research, withJack Hughes) and happened to be using a monoid (via theMonoidtype class) and I was rushing. I accidentally wrotex `mempty` yinstead ofx `mappend` y. The code withmemptytype checked and compiled, but I quickly noticed some...
In this dualization we use a notion of model theoretic structure which has a topological ingredient. This results in the countable limit structures being replaced by structures which are zero-dimensional, compact, second countable spaces with the property that the relations are closed and the ...
By combining two old results on strong functors, we show that any cartesian monad on an arbitrary topos has a canonical extension to an indexed monad; this suffices to extend the arguments employed in the topos of sets to an arbitrary Boolean base topos, but we also show how they fail in...
First of all, we focused soft {\\beta}-open sets and soft {\\beta}-closed sets over the soft topological space and investigated some properties of them. Se... Y Yumak,AK Kaymakc - 《Mathematics》 被引量: 18发表: 2013年 Synthetic Differential Geometry: A Way to Intuitionistic Models of...
47 Thomas Krajewski - A twisted version of Kitaev’s quantum double model 47:12 Sanjaye Ramgoolam - Combinatorial topological quantum field theories and geometr 55:05 Jérémie Bouttier - Géométrie des cartes aléatoires décorées l’exemple du modèle 1:14:21 Josselin Garnier, Correlation-based...
The theorem of Grothendieck characterizesthe category (topos) of continuous actions of a profinite topological group. Wedevelop a proof of this result as a "passage into the limit'' (in an inverselimit of topoi) of our theorem of characterization of the topos of actions of adiscrete group. ...
[11]Pultr, A.—Trnková, V.:Combinatorial, Algebraic and Topological Representations of Groups, North-Holland, Amsterdam, 1980.Search in Google Scholar [12]Riehl, E.:Category Theory in Context, Courier Dover Publications, 2016.Search in Google Scholar ...