F. Borceux. Handbook of Categorical Algebra, Volume 2. Number 51 in Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Refinement in Process Categories - Robin Cockett And (Correct)
....B there is a corresponding unique transition from the state s in A. Furthermore, strong bisimulation of objects can be described by a span of 9 R maps in a fiber over a fixed alphabet Sigma: A oe R B. From any category X with pullbacks one can form the bicategory of spans (see [B en67] or [Bor94]) in X : ffl the objects (or 0 cells) are those of X ffl the morphisms (or 1 cells) are spans (f; g) X Y in X: A X oe f Y g ffl the 2 cells are given by maps h 2 X such that P A oe f B g P 0 h g 0 oe f 0 ffl the span (1 X ; 1X ) is the identity morphism on X ffl ....
Francis Borceux. Handbook of Categorical Algebra 1, Basic Category Theory. Number 50 in Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1994.
Unique Factorisation Lifting Functors and Categories of.. - Bunge, Fiore (1999) (2 citations) (Correct)
.... tree with initial state given by the unique element of T ( set of states given by P ff2A T (ff) and transition relation given by (ff; s) a (ff 0 ; s 0 ) iff ff 0 = ff Delta a and s = T (ff ff 0 ) s 0 ) 3 This construction is the well known Grothendieck construction [MLM94, Bor94] in disguise. The Grothendieck construction applies to presheaf categories over an arbitrary small category P, and provides a fibrational view of b Pas a full subcategory of Cat=P. It associates a presheaf T : P op Set with the functor R T P fflffl given by an obvious projection, where ....
....# ; K 3 ) for the full subcategory of c B # consisting of the presheaves orthogonal (in the above sense) to the covers in K 3 . By Proposition 2.6 and Lemma 2. 7, in the presence of the axiom of choice, it follows that UFL=B Ort(B # ; K 3 ) 11) We thus obtain the following corollary (see [FK72, Kel82, AR94, Bor94]) Corollary 2.8 UFL=B is (equivalent to) a full reflective subcategory of c B # . One can check that the representables y(fi) fi 2 jB # j) satisfy the condition of Lemma 2.7 (3) Hence, the Yoneda embedding B # c B # factors through the embedding UFL=B c B # . Explicitly, we ....
F. Borceux. Handbook of Categorical Algebra. Number 50--52 in Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1994.
Geometries for the group PSL(3, 4) - Gottschalk, Leemans (1999) Self-citation (Geometries) (Correct)
No context found.
A. A. Ivanov. Geometry of sporadic groups I. Petersen and tilde geometries. Number 76 in Encyclopedia of Mathematics and Its Applications. Cambridge University Press, 1999.
Modeling Fresh Names in the π-calculus Using.. - Bruni, Honsell, Lenisa.. (2002) (Correct)
No context found.
F. Borceux. Handbook of Categorical Algebra, Volume 2. Number 51 in Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1994.
Modeling Fresh Names in the π-calculus Using.. - Bruni, Honsell, Lenisa.. (Correct)
No context found.
F. Borceux. Handbook of Categorical Algebra, Volume 2. Number 51 in Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC