Buscar
Mostrando ítems 1-10 de 19
Modes of Adjointness
(Kluwer Academic Publishers, 2014-06)
The fact that many modal operators are part of an adjunction is probably folklore since the discovery of adjunctions. On the other hand, the natural idea of a minimal propositional calculus extended with a pair of adjoint ...
About И-quantifiers
(2003)
Path coalgebra as a right adjoint functor
(Universidade Federal de Minas GeraisUFMG, 2017-02-24)
We define a certain variant of the category of quivers and construct thepath coalgebra as a functor, the main tool for this process being the universal property of cotensor coalgebras. Then we construct a functor from the ...
Conditions for a realization functor to commute with finite products
(Universidad Nacuional de Colombia; Sociedad Colombiana de matemáticas, 1981)
Sea ∆ la categoría de conjuntos [n] = {O,1,2, ... ,n} con funciones monótonas como morfismos; ∆o S la categoría de conjuntos simpliciales (funtores contravariantes ∆ → Sets y Y: ∆ → Top el funtor que envía [n] a ∆ (n), ...
Topologías consistentes
(Boletín de Matemáticas, 1998)
Se introduce la categoría de los espacios topológicos consistentes y se muestra que el funtor que, a cada espacio topológico consistente, le asocia el conjunto ordenado por su orden de especialización, tiene como adjunto ...
The left adjoint of Spec from a category of lattice-ordered groups
(Elsevier Science, 2016-05)
Let us write ℓGu f for the category whose objects are lattice-ordered abelian groups (l-groups for short) with a strong unit and finite prime spectrum endowed with a collection of Archimedean elements, one for each prime ...
ANILLOS DE BOOLE (2a. Parte)
The Function (and the Functor) Ac(t) of the open closed subsets of a Topological space (x,t) were analysed. The analysis was made first when X is fixed, in the context of the adjoint functions, with the corresponding study ...
On the free frontal implicative semilattice extension of a frontal Hilbert algebra
(Springer Verlag, 2019-11)
In this paper, we define a functor which is left adjoint to the forgetful functor from the category of frontal implicative semilattices to that of frontal Hilbert algebras.
ANILLOS DE BOOLE
Applaying thl theory of adjoint functions and adjoint functors ! / en basic concepts of Boolean Algebra are revised.