نتایج جستجو برای: reflective subcategory

تعداد نتایج: 18486  

Journal: :CoRR 2016
Hadrian Andradi Weng Kin Ho

A non-empty subset of a topological space is irreducible if whenever it is covered by the union of two closed sets, then already it is covered by one of them. Irreducible sets occur in proliferation: (1) every singleton set is irreducible, (2) directed subsets (which of fundamental status in domain theory) of a poset are exactly its Alexandroff irreducible sets, (3) directed subsets (with respe...

2010
Hans–E. Porst

It is shown that for any commutative unital ring R the category HopfR of R–Hopf algebras is locally presentable and a coreflective subcategory of the category BialgR of R–bialgebras, admitting cofree Hopf algebras over arbitrary R–algebras. The proofs are based on an explicit analysis of the construction of colimits of Hopf algebras, which generalizes an observation of Takeuchi. Essentially be ...

2010
Philippe Gaucher P. GAUCHER

Cattani–Sassone’s notion of higher dimensional transition system is interpreted as a small-orthogonality class of a locally finitely presentable topological category of weak higher dimensional transition systems. In particular, the higher dimensional transition system associated with the labelled n-cube turns out to be the free higher dimensional transition system generated by one n-dimensional...

2009
Martin Brynskov Peter Dalsgård Tobias Ebsen Jonas Fritsch Kim Halskov Rune Nielsen

Using media façades as a subcategory of urban computing, this paper contributes to the understanding of spatial interaction, sense-making, and social mediation as part of identifying key characteristics of interaction with media façades. Our research addresses in particular the open-ended but framed nature of interaction, which in conjunction with varying interpretations enables individual sens...

2009
PHILIPPE GAUCHER P. GAUCHER

Cattani-Sassone’s notion of higher dimensional transition system is interpreted as a small-orthogonality class of a locally finitely presentable topological category of weak higher dimensional transition systems. In particular, the higher dimensional transition system associated with the labelled n-cube turns out to be the free higher dimensional transition system generated by one n-dimensional...

Journal: :Kybernetika 1992
Achille Achache Arturo A. L. Sangalli

Institute of Mathematics of the Academy of Sciences of the Czech Republic provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This paper has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library 1 We show how some c...

Journal: :Notre Dame Journal of Formal Logic 1996
Arend Rensink

This paper is about partially ordered multisets (pomsets for short). We investigate a particular class of pomsets that we call order-deterministic, properly including all partially ordered sets, which satisfies a number of interesting properties: among other things, it forms a distributive lattice under pomset prefix (hence prefix closed sets of order-deterministic pomsets are prime algebraic),...

Journal: :Ann. Pure Appl. Logic 2009
Klaus Keimel Jimmie D. Lawson

In this article we study a type of directed completion for posets and T0-spaces introduced by O. Wyler [Wy81] that we call the D-completion. The category D of monotone convergence spaces is a full reflective subcategory of the category of topological spaces and continuous maps, and the D-completion gives the reflection of a topological space into D, and as such exhibits a useful universal prope...

2001
ENRICO M. VITALE

We prove the universal property of the infinitary exact completion of a category with weak small limits. As an application, we slightly weaken the conditions characterizing essential localizations of varieties (in particular, of module categories) and of presheaf categories. Introduction An essential localization is a reflective subcategory such that the reflector has a left adjoint. In [12], R...

Journal: :iranian journal of fuzzy systems 2012
gunther jager

we show that the category of convergence approach spaces is a simultaneously reective and coreective subcategory of the category of latticevalued limit spaces. further we study the preservation of diagonal conditions, which characterize approach spaces. it is shown that the category of preapproach spaces is a simultaneously reective and coreective subcategory of the category of lattice-valued p...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید