Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"bicategory"”.
-
Stacks in Poisson geometry
… result that there is an equivalence between the bicategory of internal groupoids and the bicategory of geometric stacks. The second chapter discusses standard concepts in the theory of geometric stacks, including Morita equivalence, stack symmetries, and some Morita invariants. The third chapter …
-
Probabilistic concurrent game semantics
… show that they form a symmetric monoidal closed bicategory, and that this can be turned into a cartesian closed bicategory using a linear exponential pseudo-comonad inspired by linear logic. Then, we enrich this with probability, relying heavily on Winskel's model of probabilistic concurrent …
-
Formal ᴘ‑Category Theory and Normalisation for Simple Type Theory
… in Čubrić et al. (1998), and develops ᴘ‑bicategory theory, and thereafter uses them to conduct a ᴘ‑categorical analysis and synthesis of normalisation by evaluation for simple type theory. ᴘ‑category theory was introduced as a non-standard categorical framework for phrasing the …
-
A 2-categorical extension of the Reshetikhin--Turaev theory
… decorated cobordisms with corners and the target bicategory will be the Kapranov-Voevodsky 2-vector spaces.</p>
-
Cartesian closed bicategories: type theory and coherence
… pair of 1-cells in the free cartesian closed bicategory on a set and hence---in terms of the difficulty of calculating---bring the data of cartesian closed bicategories down to the familiar level of cartesian closed categories. In fact, I prove this result in two ways. The first argument is …
-
Topics in 2-categorical Algebra
… define an internal 2-category and an internal bicategory , and show that these are the same as small 2-categories and small bicategories in the case of C = Set. In the final chapter, we demonstrate that some of the familiar constructions of 1-category theory can actually be defined in a …