8

Questions

3
6
2
255
views

Why no morphisms from the contradictory proposition to the inconsistent context?

feb 14 12 at 7:24 Andrej Bauer 13.1k2972

1
7
2
217
views

Categorical semantics of W-types

feb 8 12 at 3:33 Ivanych 311

3
1
166
views

Equational definition of Residuated Lattices

jan 16 12 at 3:21 William DeMeo 576310

1
1
vote
1
165
views

Composition Product of Multivariable Polynomials

nov 27 11 at 15:17 Todd Trimble 22.7k16497

1
3
1
179
views

What is the tensor product for the Eilenberg-Moore category of a commutative monad?

sep 20 11 at 9:41 Chris Heunen 1,3881513

2
7
2
528
views

Ordinal Analysis of Peano Arithmetic with Restricted Induction

mar 10 11 at 22:18 Andres Caicedo 14.8k14381

2
4
2
1k
views

Primitive element theorem without building field extensions

jun 28 10 at 13:28 David Speyer 56.3k3103242

1
6