Displaying similar documents to “Generalizing substitution”

The logic of categories of partial functions and its applications

Adam Obtułowicz

Similarity:

CONTENTS0. Introduction.......................................................................................................................................................................................51. Preliminaries.....................................................................................................................................................................................92. Relations and functional relations in a category.............................................................................................................................13 2.1....

On the structure of halfdiagonal-halfterminal-symmetric categories with diagonal inversions

Hans-Jürgen Vogel (2001)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

The category of all binary relations between arbitrary sets turns out to be a certain symmetric monoidal category Rel with an additional structure characterized by a family d = ( d A : A → A ⨂ A | A ∈ | R e l | ) of diagonal morphisms, a family t = ( t A : A → I | A ∈ | R e l | ) of terminal morphisms, and a family ∇ = ( ∇ A : A ⨂ A → A | A ∈ | R e l | ) of diagonal inversions having certain properties. Using this properties in [11] was given a system of axioms which characterizes the abstract concept of a halfdiagonal-halfterminal-symmetric monoidal category with diagonal inversions (hdht∇s-category)....

Duality for Hilbert algebras with supremum: An application

Hernando Gaitan (2017)

Mathematica Bohemica

Similarity:

We modify slightly the definition of H -partial functions given by Celani and Montangie (2012); these partial functions are the morphisms in the category of H ∨ -space and this category is the dual category of the category with objects the Hilbert algebras with supremum and morphisms, the algebraic homomorphisms. As an application we show that finite pure Hilbert algebras with supremum are determined by the monoid of their endomorphisms.

Recollement of colimit categories and its applications

Ju Huang, QingHua Chen, Chunhuan Lai (2020)

Czechoslovak Mathematical Journal

Similarity:

We give an explicit recollement for a cocomplete abelian category and its colimit category. We obtain some applications on Leavitt path algebras, derived equivalences and K -groups.

Birings and plethories of integer-valued polynomials

Jesse Elliott (2010)

Actes des rencontres du CIRM

Similarity:

Let A and B be commutative rings with identity. An is an A -algebra S together with a lift of the functor Hom A ( S , - ) from A -algebras to sets to a functor from A -algebras to B -algebras. An is a monoid object in the monoidal category, equipped with the composition product, of A - A -birings. The polynomial ring A [ X ] is an initial object in the category of such structures. The D -algebra Int ( D ) has such a structure if D = A is a domain such that the natural D -algebra homomorphism θ n : ⨂ D i = 1 n Int ( D ) → Int ( D n ) is an isomorphism for n = 2 and...