The logic of categories of partial functions and its applications

Adam Obtułowicz

Displaying similar documents to “The logic of categories of partial functions and its applications”

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.

On corings and comodules

Hans-Eberhard Porst (2006)

Archivum Mathematicum

Similarity:

It is shown that the categories of $R$ -coalgebras for a commutative unital ring $R$ and the category of $A$ -corings for some $R$ -algebra $A$ as well as their respective categories of comodules are locally presentable.

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 \to A ⨂ A | A \in | R e l |)$ of diagonal morphisms, a family $t = (t_{A} : A \to I | A \in | R e l |)$ of terminal morphisms, and a family $\nabla = (\nabla_{A} : A ⨂ A \to A | A \in | 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)....

Adjointness between theories and strict theories

Hans-Jürgen Vogel (2003)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

The categorical concept of a theory for algebras of a given type was foundet by Lawvere in 1963 (see [8]). Hoehnke extended this concept to partial heterogenous algebras in 1976 (see [5]). A partial theory is a dhts-category such that the object class forms a free algebra of type (2,0,0) freely generated by a nonempty set J in the variety determined by the identities ox ≈ o and xo ≈ o, where o and i are the elements selected by the 0-ary operation symbols. If the object class of a dhts-category...

On Categories of Relations

Mara Alagić (1989)

Publications de l'Institut Mathématique

Similarity:

Relations With I-structure in Categories With Pullbacks

Mara Alagić (1991)

Publications de l'Institut Mathématique

Similarity:

Concerning a categorial approach to topological and algebraic theories

Hedrlín, Z., Pultr, A., Trnková, V.

Similarity:

Triangulated categories of periodic complexes and orbit categories

Jian Liu (2023)

Czechoslovak Mathematical Journal

Similarity:

We investigate the triangulated hull of orbit categories of the perfect derived category and the bounded derived category of a ring concerning the power of the suspension functor. It turns out that the triangulated hull corresponds to the full subcategory of compact objects of certain triangulated categories of periodic complexes. This specializes to Stai and Zhao’s result on the finite dimensional algebra of finite global dimension. As the first application, if $A$ , $B$ are flat algebras...