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 4 of 4 for “"Enriched category theory"”.
-
Internal enriched categories
This dissertation introduces and develops the theory of internal enriched categories, arising from the internalization of the theory of enriched categories. Given an internal monoidal category V in an ambient category E, we define the notions of V-enriched category, functor and natural …
-
FROM DG-CATEGORIES OVER K TO K-LINEAR STABLE INFINITY-CATEGORIES
… preprint to its latest version. Since then the ∞-category theory and the spectral algebraic geometry theory have made progress: therefore, we think that a reproof can be useful in make this result clearer for more mathematicians. The first four chapters are devoted to laying the groundwork for the …
-
Reasoning about effectful programs and evaluation order
… and a denotational semantics based on order-enriched category theory that can be used to prove correctness.
-
The functorial semantics of Lie theory
… two diverging lines of research, many-object Lie theory (the study of Lie algebroids and Lie groupoids) and sketch theory. This thesis uses tangent categories to build a bridge between these two lines of research, providing a structural account of Lie algebroids and the Lie functor. To accomplish …