# Questions tagged [coherence]

The coherence tag has no usage guidance.

10
questions

**2**

votes

**0**answers

143 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}) &...

**0**

votes

**1**answer

305 views

### Strange subscheme in ${\mathrm{Spec}} R \times {\Bbb A}^1_{\Bbb C}$

Let ${\Bbb C}[X_1,\ldots,X_n]$ be a $n$-variable polynomial ring over a complex number field ${\Bbb C}$. For its maximal ideal $(X_1,\ldots,X_n)$, we define the geometric regular local ring as
$R \...

**4**

votes

**0**answers

43 views

### Coherence laws when composing 2-monads

To have the composition of two monads be a monad itself, we need a
distributive law natural transformation satisfying certain coherence
laws.
I'm interested in the strict 2-monad case, i.e. a strict ...

**1**

vote

**0**answers

70 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 ...

**5**

votes

**1**answer

149 views

### Necessity of shapes for coherence results in category theory

The classic coherence theorems of MacLane (Natural associativity and commutativity, Rice U. studies, 1963) talked about natural transformations between functors. By 1971 (Kelly-MacLane, Coherence in ...

**6**

votes

**0**answers

355 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 ...

**5**

votes

**0**answers

189 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, ...

**2**

votes

**0**answers

220 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 ...

**6**

votes

**1**answer

477 views

### Simple-minded coherence of tricategories

Recall Mac Lane's version of coherence for monoidal categories, which one can state informally as follows:
"Simple-minded" coherence for monoidal categories
Let $A$, $A^\prime$ be two ...

**2**

votes

**1**answer

181 views

### What is the suitable setting for supercoherence with value in a bicategory?

It was J.F. Jardine established the so called supercoherence theory in Journal of Pure and Applied Algebra Volume 75, Issue 2, 18 October 1991, Pages 103–194. The result can be roughly stated as ...