All Questions
Tagged with enriched-category-theory reference-request
19
questions
3
votes
0
answers
58
views
Self-enrichment for a closed monoidal bicategory
First, there are two possible generalization of the notion of closed category, vertical and horizontal.
I'm interested in the vertical one, something saying, I guess, that a monoidal bicategory $\...
10
votes
0
answers
122
views
V-categories enriched in a monoidal V-category
In an email to the categories mailing list dated 21 August 2003, Street writes:
Max reminded me of his old result (not in the LaJolla Proceedings,
but known soon after) that a monoidal V-category is ...
2
votes
1
answer
198
views
Strictification of $\mathcal{V}$-pseudofunctors
Let $\mathcal{B}$ be a bicategory. Section 4.10 of Gordon, Power and Street's paper "Coherence for Tricategories" states that there is a bicategory $\textbf{st}\mathcal{B}$ and a ...
3
votes
1
answer
54
views
Reference request for facts about bi(co)descent objects
I know the following facts are true, but I struggle to find adequate references for them:
Let $T$ be a pseudo-monad on a bicategory $\mathcal{C}$, and let $A$, $B$ be pseudo-algebras for $T$. Then, ...
1
vote
0
answers
151
views
Reference request: a class of matrices leading to interesting metric geometry
For $0 \le A \in GL(n,\mathbb{R})$, let $Aw = \Delta(A)$, where $\Delta$ denotes the map taking a matrix to a vector of its diagonal entries and/or forming a diagonal matrix from a vector, according ...
18
votes
2
answers
914
views
Relationship between enriched, internal, and fibered categories
In this question, let $(\mathcal{V}, \otimes, [-,-], e)$ be a nice enough symmetric monoidal closed bicomplete category.
The usual set-based Category theory has been generalized in many directions, ...
7
votes
2
answers
438
views
Enrichment as extra structure on a category
We will suppose, for the sake of simplicity, that everything is happening within a fixed 'metacategory' $\textbf{SET}$ of sets and functions. So, from now on, a 'category' just means a category object ...
10
votes
1
answer
421
views
Theory of weak enrichment in higher categories
Has there been work towards a general theory of weak enrichment in higher categories? To be more pointed, has there been any work towards trying to make sense of statements such as
There is a (weak) $...
2
votes
0
answers
165
views
Monoidal V-categories, and monoids
I am guessing that the definition of monoidal V-category is a V-category $\mathbf{A}$ together with a V-functor $(\boxtimes) \colon \mathbf{A} \times \mathbf{A} \to \mathbf{A}$ and a functor $i \colon ...
2
votes
1
answer
155
views
By general reasons, $i_A \colon \mathbb{D}\text{-}\mathrm{cont}[A,\mathbf{Set}] \to [A,\mathbf{Set}]$ has a left adjoint
In Centazzo and Vitale's A Duality Relative to a Limit Doctrine (TAC, 2002, abstract), early on, they make the above claim and cite Kelly's Basic Concepts in Enriched Category Theory (TAC reprints). I ...
5
votes
1
answer
340
views
Tannaka duality for closed monoidal categories
I asked this some time ago at mathstackexchange, and people there explained to me the mathematical part of what I was asking, but the question about references remains open. In my impression, people ...
4
votes
1
answer
356
views
Weak enrichment and bicategories
I'm trying to find examples where the following perspective on bicategories is developed.
We can define a 2-category as being enriched in Cat, where Cat is treated as a monoidal category using the ...
2
votes
0
answers
86
views
Enrichment of lax monoidal functors between closed monoidal categories
Let $\mathscr C,\mathscr D$ be (right) closed monoidal categories. Then both of them can be considered as enriched over themselves via their internal homs, which I will denote by $\textbf{Maps}$. Now ...
18
votes
3
answers
1k
views
A multicategory is a ... with one object?
We all know that
A monoidal category is a bicategory with one object.
How do we fill in the blank in the following sentence?
A multicategory is a ... with one object.
The answer is fairly ...
15
votes
2
answers
673
views
Monoidal functors $\mathcal C \to [\mathcal D,\mathcal V]$ are monoidal functors $\mathcal C \otimes \mathcal D \to \mathcal V$?
It is well known (e.g., Reference for "lax monoidal functors" = "monoids under Day convolution" ) that if $\mathcal C$ is a monoidal $\mathcal V$-enriched category, then a monoid ...