Zobrazeno 1 - 10
of 143
pro vyhledávání: '"Dosen, K."'
Autor:
Dosen, K., Petric, Z.
It is proven that a connected graph is planar if and only if all its cocycles with at least four edges are "grounded" in the graph. The notion of grounding of this planarity criterion, which is purely combinatorial, stems from the intuitive idea that
Externí odkaz:
http://arxiv.org/abs/1203.0996
Autor:
Dosen, K., Petric, Z.
Plural (or multiple-conclusion) cuts are inferences made by applying a structural rule introduced by Gentzen for his sequent formulation of classical logic. As singular (single-conclusion) cuts yield trees, which underlie ordinary natural deduction d
Externí odkaz:
http://arxiv.org/abs/1104.4064
Autor:
Dosen, K., Petric, Z.
We investigate a family of polytopes introduced by E.M.\ Feichtner, A.\ Postnikov and B.\ Sturmfels, which were named nestohedra. The vertices of these polytopes may intuitively be understood as constructions of hypergraphs. Limit cases in this famil
Externí odkaz:
http://arxiv.org/abs/1010.5477
Autor:
Dosen, K., Petric, Z.
This is an investigation of the role of shuffling and concatenating in the theory of graph drawing. A simple syntactic description of these and related operations is proved complete in the context of finite partial orders, as general as possible. An
Externí odkaz:
http://arxiv.org/abs/1002.3577
Autor:
Dosen, K., Petric, Z.
Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This equality is m
Externí odkaz:
http://arxiv.org/abs/0912.1271
Autor:
Dosen, K., Petric, Z.
The goal of this paper is to prove coherence results with respect to relational graphs for monoidal monads and comonads, i.e. monads and comonads in a monoidal category such that the endofunctor of the monad or comonad is a monoidal functor (this mea
Externí odkaz:
http://arxiv.org/abs/0907.2199
Autor:
Dosen, K., Petric, Z.
The goal of this paper is to prove coherence results with respect to relational graphs for monoidal endofunctors, i.e. endofunctors of a monoidal category that preserve the monoidal structure up to a natural transformation that need not be an isomorp
Externí odkaz:
http://arxiv.org/abs/0907.2194
Autor:
Dosen, K., Petric, Z.
A split preorder is a preordering relation on the disjoint union of two sets, which function as source and target when one composes split preorders. The paper presents by generators and equations the category SplPre, whose arrows are the split preord
Externí odkaz:
http://arxiv.org/abs/0902.0742
Autor:
Dosen, K., Petric, Z.
Positive modalities in systems in the vicinity of S4 and S5 are investigated in terms of categorial proof theory. Coherence and maximality results are demonstrated, and connections with mixed distributive laws and Frobenius algebras are exhibited.
Externí odkaz:
http://arxiv.org/abs/0809.2494
Autor:
Dosen, K., Petric, Z.
This paper provides geometrical descriptions of the Frobenius monad freely generated by a single object. These descriptions are related to results connecting Frobenius algebras and topological quantum field theories. In these descriptions, which are
Externí odkaz:
http://arxiv.org/abs/0809.2495