5 papers
An algebraic analysis of implication in non-distributive logics
Ivan Chajda, Kadir Emir, Davide Fazio +3
In this paper, we introduce the concept of a (lattice) skew Hilbert algebra as a natural generalization of Hilbert algebras. This notion allows a unified treatment of several struc…
Linear orthogonality spaces as a new approach to quantum logic
Kadir Emir, David Kruml, Jan Paseka +1
The notion of an orthogonality space was recently rediscovered as an effective means to characterise the essential properties of quantum logic. The approach can be considered as mi…
Braided Hopf Crossed Modules Through Simplicial Structures
Kadir Emir, Jan Paseka
Any simplicial Hopf algebra involves different projections between the Hopf algebras for each . The word projection, here meaning a tuple $\partial \co…
The Moore Complex of a Simplicial Cocommutative Hopf Algebra
Kadir Emir
We study the Moore complex of a simplicial cocommutative Hopf algebra through Hopf kernels. The most striking result to emerge from this construction is the coherent definition of…
Limits in Modified Categories of Interest
Kadir Emir, Selim Çetin
We firstly prove the completeness of the category of crossed modules in a modified category of interest. Afterwards, we define pullback crossed modules and pullback cat-objects…