Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Karazeris, Panagis"'
The category of compact Hausdorff locales is a pretopos which is filtral, meaning that every object is covered by one whose subobject lattice is isomorphic to the lattice of filters of complemented elements. We show that any filtral pretopos satisfyi
Externí odkaz:
http://arxiv.org/abs/2306.11169
We examine the analogues for the respective categories of locales of two well-known results about regularity and effectiveness of some categories of spaces. We show that the category of compact regular locales is effective regular (=Barr-exact). We a
Externí odkaz:
http://arxiv.org/abs/2004.04404
We give conditions on a finitary endofunctor of a finitely accessible category to admit a final coalgebra. Our conditions always apply to the case of a finitary endofunctor of a locally finitely presentable (l.f.p.) category and they bring an explici
Externí odkaz:
http://arxiv.org/abs/0905.4883
Publikováno v:
In Journal of Pure and Applied Algebra August 2012 216(8-9):2014-2028
Autor:
ARAVANTINOS-SOTIROPOULOS, VASILEIOS1 aravantinossotirop.v@husky.neu.edu, KARAZERIS, PANAGIS2 pkarazer@upatras.gr
Publikováno v:
Theory & Applications of Categories. 2017, Vol. 32 Issue 21-30, p769-779. 11p.
Publikováno v:
In Journal of Pure and Applied Algebra 2005 196(2):229-250
Publikováno v:
Cahiers de Topologie et Geometrie Differentielle Categoriques; 2021, Vol. 62 Issue 3, p355-371, 17p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Carbonell, Jaime G., Siekmann, Jörg, Aguzzoli, Stefano, Ciabattoni, Agata, Gerla, Brunella, Manara, Corrado, Marra, Vincenzo, Drossos, Costas A., Karazeris, Panagis
Publikováno v:
Algebraic & Proof-theoretic Aspects of Non-classical Logics; 2007, p119-126, 8p
Autor:
Beke, Tibor1 (AUTHOR), Karazeris, Panagis2 (AUTHOR) pkarazer@math.upatras.gr, Rosický, Jiří3 (AUTHOR)
Publikováno v:
Communications in Algebra. Jun2005, Vol. 33 Issue 6, p1903-1912. 10p.