Question

How to express predicate logic in the categorical (monoidal) logics?

score 375 · Answer 1 · 2026-03-25 06:11:22

375

Views

How to express predicate logic in the categorical (monoidal) logics?

Published on 25 Mar 2026 - 6:11

score 133 · Answer 2 · 2026-04-13 14:36:54

133

Views

Are binary unions of regular monomorphisms in regular categories effective?

Published on 13 Apr 2026 - 14:36

score 205 · Answer 3 · 2026-04-17 06:43:02

205

Views

What underlies the fact $K,H\vartriangleleft G,K\cap H=\mathbf{0},KH=G\implies K\times H\cong G$?

Published on 17 Apr 2026 - 6:43

score 346 · Answer 4 · 2026-04-18 18:28:13

346

Views

Proving that binary products exists

Published on 18 Apr 2026 - 18:28

score 89 · Answer 5 · 2026-04-16 03:53:05

89

Views

What is the name of this structure (describes relation: exp(log(a) + log(b)) = a * b)?

Published on 16 Apr 2026 - 3:53

score 209 · Answer 6 · 2026-04-16 00:47:21

209

Views

What do we need to define a category?

Published on 16 Apr 2026 - 0:47

score 146 · Answer 7 · 2026-04-14 04:17:36

146

Views

Do strong epis have this property?

Published on 14 Apr 2026 - 4:17

score 129 · Answer 8 · 2026-04-09 13:44:36

129

Views

Concretely describing the arrow $A\amalg B\to A\times B$ for nonlinear algebraic theories

Published on 09 Apr 2026 - 13:44

score 340 · Answer 9 · 2026-04-16 10:00:51

340

Views

The one-arrow category as a weighted limit in Cat

Published on 16 Apr 2026 - 10:00

score 2.6k · Answer 10 · 2026-04-15 03:31:25

Let $C,D$ be categories and $F:C\to D$ and $G:D\to C$ be adjoint functors. Then $F$ is fully faithful iff the unit is an isomorphism?

score 82 · Answer 11 · 2026-04-10 23:44:59

82

Views

What are the benefits of locally small categories? And question on diagram chasing

Published on 10 Apr 2026 - 23:44

score 87 · Answer 12 · 2026-04-16 11:26:58

87

Views

Sets of morphisms that behave "like" epimorphisms/monomorphisms in a balanced category.

Published on 16 Apr 2026 - 11:26

score 372 · Answer 13 · 2026-04-11 13:13:54

372

Views

Elegant approach to coproducts of monoids and magmas - does everything work without units?

Published on 11 Apr 2026 - 13:13

score 43 · Answer 14 · 2026-04-16 15:44:05

43

Views

How to show that $\exists_f(M)\le N$ iff $M\le f^*(N)$ for two subobjects $M$ and $N$?

Published on 16 Apr 2026 - 15:44

score 170 · Answer 15 · 2026-04-15 19:10:04

170

Views

Free objects in a categories of groups, module and other algebraic structures, category-theoretic considerations

Published on 15 Apr 2026 - 19:10

List Question

How to express predicate logic in the categorical (monoidal) logics?

Are binary unions of regular monomorphisms in regular categories effective?

What underlies the fact $K,H\vartriangleleft G,K\cap H=\mathbf{0},KH=G\implies K\times H\cong G$?

Proving that binary products exists

What is the name of this structure (describes relation: exp(log(a) + log(b)) = a * b)?

What do we need to define a category?

Do strong epis have this property?

Concretely describing the arrow $A\amalg B\to A\times B$ for nonlinear algebraic theories

The one-arrow category as a weighted limit in Cat

Let $C,D$ be categories and $F:C\to D$ and $G:D\to C$ be adjoint functors. Then $F$ is fully faithful iff the unit is an isomorphism?

What are the benefits of locally small categories? And question on diagram chasing

Sets of morphisms that behave "like" epimorphisms/monomorphisms in a balanced category.

Elegant approach to coproducts of monoids and magmas - does everything work without units?

How to show that $\exists_f(M)\le N$ iff $M\le f^*(N)$ for two subobjects $M$ and $N$?

Free objects in a categories of groups, module and other algebraic structures, category-theoretic considerations

Trending Questions

Popular # Hahtags

Popular Questions