Questions tagged [coherence]
The coherence tag has no usage guidance.
15
questions with no upvoted or accepted answers
13
votes
0
answers
204
views
Examples and counterexamples to Lack's coherence observation
In Lack's A 2-categories companion, he states
There are general results asserting that any bicategory is biequivalent to
a 2-category, but in fact naturally occurring bicategories tend to be ...
- 8,755
12
votes
0
answers
750
views
Does this matrix norm inequality have interesting application in other areas of mathematics?
In my new paper, one of the main theorems gives an upper bound for the spectral distance of a general real symmetric matrix to diagonal matrices:
Theorem 3. Let $A=[a_{ij}]$ be a real symmetric ...
- 4,454
6
votes
0
answers
151
views
Coherence for pseudomonads and their pseudoalgebras
Let $\mathcal K$ be a bicategory. For every pseudomonad $T : \mathcal K \to \mathcal K$, does there exist a 2-monad $S : \mathcal C \to \mathcal C$, where $\mathcal C$ is a 2-category biequivalent to $...
- 8,755
6
votes
0
answers
477
views
A definition of the homotopy colimit of a coherent diagram
Suppose I am given a homotopy coherent diagram of spaces of shape $I$ (This is a simplicial functor $F:\mathfrak{C}[I] \to Top$, where $\mathfrak{C}$ is the standard cofibrant replacement functor in ...
- 2,270
5
votes
0
answers
87
views
Example of a pseudomonad on Cat whose pseudoalgebras are not the pseudoalgebras for a 2-monad
For every pseudomonad $T$ on the 2-category of (locally small) categories $\mathbf{Cat}$, we can consider the 2-category of $T$-pseudoalgebras and pseudomorphisms $T\text{-PsAlg}_p$, which is equipped ...
- 8,755
5
votes
0
answers
128
views
A recursive attempt at $n$-dimensional coherence
For the purposes of this post we will use the one hom class definition of a category.
Note that a functor $F:\mathcal{C}\to\mathcal{D}$ between categories is a pair of functions $F_0:{\bf Ob}_\mathcal{...
- 9,009
5
votes
0
answers
254
views
Strictification for closed monoidal categories
The strictification theorem for monoidal categories states that every monoidal categorically is monoidally equivalent to a strict monoidal category. Is there a strictification theorem for closed ...
- 8,755
5
votes
0
answers
245
views
Is there a reasoned derivation of the coherence conditions for symmetric rig categories?
I know what the coherence conditions are, I can look them up in
M. Laplaza, Coherence for distributivity, Lecture Notes in Mathematics 281, Springer Verlag, Berlin, 1972, pp. 29-72.
In theory, ...
- 11.7k
4
votes
0
answers
119
views
Full coherence for non-symmetric linearly distributive categories?
1. Context
Mac Lane's coherence theorem for monoidal categories can be phrased as "every formal diagram in a monoidal category commutes.“ I am interested in this type of coherence question for ...
- 766
4
votes
0
answers
92
views
Coherence for closed bicategories
A right-closed bicategory [1] is a bicategory that has all right extensions (i.e. right adjoints to precomposition with a fixed 1-cell). A one-object right-closed bicategory is therefore a right-...
- 8,755
3
votes
0
answers
32
views
Coherence of the graphical language for pivotal categories
Throughout I follow A survey of graphical languages for monoidal categories, Peter Selinger, arXiv.
A pivotal category is a monoidal category where each object $A$ has a dual $A^*$, together with a ...
- 131
3
votes
0
answers
291
views
Pseudomodules, "general coherence theorem"
A pseudomonoid is defined within a monoidal bicategory. It is like a monoid in a monoidal category except that the usual axioms hold up to coherent invertible 2-cells. Pseudomonoid is like a monoidal ...
- 2,302
2
votes
0
answers
161
views
Prime ideals being finitely-generated implies coherence?
Let $R$ be a non-noetherian local domain. Suppose that the following two conditions hold for $R$$\colon$
$(*)$$~\quad$An arbitrary prime ideal ${\frak P}$ of $R$ such that ${\mathrm{ht}}({\frak P}) &...
- 563
1
vote
0
answers
43
views
Predicting coherence diagrams one dimension up
Assume we have a good working knowledge of $n$-dimensional category theory for some fixed $n$. It seems like it should be possible to 'predict' what coherence diagrams we're going to encounter in the ...
- 9,009
1
vote
0
answers
76
views
Coherence of subrings of K[[X,Y]]
Let $K[[X,Y]]$ be a two-variables formal power series ring over a field $K$. Consider a sub-ring $\iota \colon A \subset K[[X,Y]]$.
Q. Is A coherent? $\quad$ Or is it automatic that $\iota$ is ...
- 781