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 ...
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 ...
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...
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 ...
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...
Höring, A., Voisin, C.: Anticanonical divisors and curve classes on Fano manifolds. Pure Appl. Math. Q. 7(4), 1371–1393 (2011) MathSciNet MATH Google Scholar Heller, J., Voineagu, M.: Equivariant semi-topological invariants, Atiyah’s KR-theory, and real algebraic cycles. Trans...
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...
[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 ...