Title | ||
---|---|---|
Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory |
Abstract | ||
---|---|---|
In this sequel to Hermida and Mateus (Paracategories I: internal paracategories and saturated partial algebras, Theoret. Comput. Sci., in press), we explore some of the global aspects of the category of paracategories. We establish its (co)completeness and cartesian closure. From the closed structure we derive the relevant notion of transformation for paracategories. We set up the relevant notion of adjunction between paracategories and apply it to define (co)completeness and cartesian closure, exemplified by the paracategory of bivariant functors and dinatural transformations. We introduce partial multicategories to account for partial tensor products. We also consider fibrations for paracategories and their indexed-paracategory version. Finally, we instantiate all these concepts in the context of probabilistic automata. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1016/S0304-3975(03)00317-7 | Theor. Comput. Sci. |
Keywords | DocType | Volume |
global aspect,Paracategories II,Probabilistic automata,probabilistic automata theory,dinatural transformation,partial multicategories,partial tensor product,partial algebra,Partial multicategories,Paracategories,cartesian closure,closed structure,relevant notion,internal paracategories,bivariant functors | Journal | 311 |
Issue | ISSN | Citations |
1-3 | Theoretical Computer Science | 2 |
PageRank | References | Authors |
0.46 | 7 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Claudio Hermida | 1 | 169 | 20.60 |
Paulo Mateus | 2 | 33 | 4.55 |