Results 71 to 80 of about 294 (153)

Properties of Functionally Alexandroff Topologies and Their Lattice

, 2019
This thesis explores functionally Alexandroff topologies and the order theory asso- ciated when considering the collection of such topologies on some set X.
Menix, Jacob Scott
core  

Discrete model of spacetime in terms of inverse spectra of the $T_0$ Alexandroff topological spaces

, 2003
LaTeX, 39 pages, no ...
Efremov, Vladimir N., Mitskievich, Nikolai V.   +1 more
openaire   +2 more sources

Parametrized topological complexity of poset-stratified spaces. [PDF]

J Appl Comput Topol, 2022
Tanaka K.
europepmc   +1 more source

Conley-Morse-Forman theory for generalized combinatorial multivector fields on finite topological spaces. [PDF]

J Appl Comput Topol, 2023
Lipiński M, Kubica J, Mrozek M, Wanner T.   +3 more
europepmc   +1 more source

Possible heights of Alexandroff square transformation groups

, 2018
In the following text we compute possible heights of $\mathbb A$ (Alexandroff square), $\mathbb O$ (unit square $[0,1]\times[0,1]$ with lexicographic order topology) and $\mathbb U$ (unit square $[0,1]\times[0,1]$ with induced topology of Euclidean plane)
Ebrahimifar, Fatemeh, Yahyaoghli, Hamed, Yaghmaeian, Reza, Shirazi, Fatemah Ayatollah Zadeh   +3 more
core  

Possible Heights of Alexandroff Square Transformation Groups

, 2020
In the following text we compute possible heights of A (Alexandroff square), O (unit square [0, 1] × [0, 1] with lexicographic order topology) and U (unit square [0, 1] × [0, 1] with induced topology of Euclidean plane). We prove Ph(A) = {n :
Fatemah Ayatollah Zadeh Shirazi; Faculty of Mathematics, Statistics and Computer Science, College of Science, University of Tehran, Enghelab Ave., Tehran, Iran, Reza Yaghmaeian; Faculty of Mathematics, Statistics and Computer Science, College of Science, University of Tehran, Enghelab Ave., Tehran, Iran, Fatemeh Ebrahimifar; Faculty of Mathematics, Statistics and Computer Science, College of Science, University of Tehran , Enghelab Ave., Tehran, Iran, Hamed Yahyaoghli; Department of Mathematics, Tarbiat Modares University, Modiriat Bridge, Tehran, Iran   +3 more
core  

Towards lambda calculus order-incompleteness

, 2001
After Scott, mathematical models of the type-free lambda calculus are constructed by order theoretic methods and classified into semantics according to the nature of their representable functions.
SALIBRA A., Salibra, Antonino, Antonino Salibra   +2 more
core   +1 more source

Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. [PDF]

Order (Dordr), 2023
Couceiro M, Duffus D.
europepmc   +1 more source

Generalized metric spaces : completion, topology, and powerdomains via the Yoneda embedding [PDF]

, 1996
Generalized metric spaces are a common generalization of preorders and ordinary metric spaces (Lawvere 1973). Combining Lawvere's (1973) enriched-categorical and Smyth' (1988, 1991) topological view on generalized metric spaces, it is shown how to ...
Bonsangue, M.M. (Marcello), Rutten, Jan, Breugel, F. van, Rutten, J.J.M.M. (Jan), Bonsangue, Marcello, Breugel, F.   +5 more
core  

Generalized Ultrametric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding [PDF]

, 1995
Generalized ultrametric spaces are a common generalization of preorders and ordinary ultrametric spaces (Lawvere 1973, Rutten 1995). Combining Lawvere's (1973) enriched-categorical and Smyth' (1987, 1991) topological view on generalized (ultra)metric ...
Bonsangue, M.M. (Marcello), M. M. Bonsangue, Rutten, Jan, Breugel, F. van, F. Van Breugel, J. J. M. M. Rutten, Rutten, J.J.M.M. (Jan), Bonsangue, Marcello, Breugel, F.   +8 more
core