17 citations · 72 across the 42 of their papers we have counts for
4 papers · 1 filter
Representing Conjunctive Deductions by Disjunctive Deductions
Kosta Dosen, Zoran Petric
A skeleton of the category with finite coproducts D freely generated by a single object has a subcategory isomorphic to a skeleton of the category with finite products C freely gen…
A note on semisymmetry
Aleksandar Krapez, Zoran Petric
A survey of properties of the adjunction involving a semisymmetrization functor, which was suggested by J.D.H. Smith, and which maps the category of quasigroups with homotopies to…
Monoids, Segal's condition and bisimplicial spaces
Zoran Petric
A characterization of simplicial objects in categories with finite products obtained by the reduced bar construction is given. The condition that characterizes such simplicial obje…
Graphs for Juncture
Kosta Dosen, Zoran Petric
An alternative foundation for 2-categories is explored by studying graph-theoretically a partial operation on 2-cells named juncture, which can replace vertical and horizontal comp…