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 3 of 3 for “"2-equivalence"”.
-
Bimodule categories and monoidal 2-structure
… then provide a monoidal-structure preserving 2-equivalence between the 2-category of C -bimodule categories and Z( C )-module categories (module categories over the center of C ). The (braided) tensor structure of C1⊠D C2 for (braided) fusion categories over braided fusion D is …
-
The structure of 4-separations in 4-connected matroids
… matroid M that displays, up to a natural equivalence, all non-trivial 3-separations of M. Crossing 3-separations gave rise to fundamental structures known as flowers. In this dissertation, we define generalized flower structure called a k-flower, with no assumptions on the connectivity of …
-
Static Learning for Problems in VLSI Test and Verification
… sequentially untestable stuck-at faults, and (2) Equivalence checking of sequential circuits. Additionally, for the dissertation, we define a new concept called multi-cycle path delay faults (M-pdf) for latch based designs with multiple clock domains, and propose an implications-based methodology …