Search Results

I know this question may seem nonsensical at first but let me exlain what i have in mind: In enriched category theory we define categories enriched over a monoidal category $(\mathcal{V},\otimes, I)$ …

I'm currently working with an analogue of the Grothendieck construction for enriched categories: Given a distributor a.k.a. $\mathbb V$-functor $D:X^\mathrm{op}\otimes Y\to \mathbb V$ there is a stru …

If we consider metric spaces to be categories enriched over $\mathbb R_{\geq 0}$, the object corresponding to presheaves should be lipschitz-continuous functions $\operatorname{Lip^ 1}(M, \mathbb R_{\ …

In the introduction to the reprint of "Metric spaces, generalized logic and closed categories" Lawvere talks about the following situation: Let $\mathbb R_+$ denote $\mathbb R_{\geq 0}^\infty$. Every …

Consider the setting of categories enriched over a suitable monoidal category $\mathbb V$. We define $$\mathrm{Dist}(X,Y):=\mathbb V−\mathrm{Cat}(X^ \mathrm{op}⊗Y,\mathbb V).$$ Recall the definition …

While working through Atiyah/MacDonald for my final exams I realized the following: The category(poset) of ideals $I(A)$ of a commutative ring A is a closed symmetric monoidal category if endowed wit …