Categories with algebraic structure—the most prominent example being monoidal categories—satisfy equational axioms only up-to coherent isomorphisms. Therefore they are pseudo algebras. We extend Lawvere’s functorial semantics to such pseudo structure: in contrast to standard strict algebras which are identified with productpreserving functors, pseudo algebras are product-preserving pseudo funct...

muslim philosophers have since their long history encountered lots of severe surges of doubts and oppositions, so they did their best to remove them all through deep investigation which brought about the progress of islamic philosophy both in quantity and quality. muslim philosophers were sometimes challenged by such questions as, determinism, the temporal creation of the world, the otherness o...

A pseudo-triangle is a simple polygon with three convex vertices, and a pseudo-triangulation is a tiling of a planar region into pseudo-triangles. Pseudo-triangulations appear as data structures in computational geometry, as planar bar-and-joint frameworks in rigidity theory and as projections of locally convex surfaces. This survey of current literature includes combinatorial properties and co...

We exhibit links between pseudo-Boolean optimization, graph theory and logic. We show the equivalence of maximizing a pseudo-Boolean function and finding a maximum weight stable set; symmetrically minimizing a pseudo-Boolean function is shown to be equivalent to solving a weighted satisfiability problem.

In this paper we deal with the connection between value system and innovativity of media students in Serbia, Croatia and Bosnia and Herzegovina. Research sample consisted of 426 students. Connection between value system of respondents and their attitude towards innovations is established. Research has also shown that there are significant statistical intercultural and intersex differences in re...