Question

On pullbacks of trivial cofibrations for the projective model structure

score 166 · Answer 1 · 2026-04-15 06:10:58

166

Views

On pullbacks of trivial cofibrations for the projective model structure

Published on 15 Apr 2026 - 6:10

score 63 · Answer 2 · 2026-04-12 07:48:01

63

Views

Does the functor $-\times X:\mathbf{Set}\to\mathbf{Set}$ presrve limits?

Published on 12 Apr 2026 - 7:48

score 122 · Answer 3 · 2026-04-15 08:22:08

122

Views

Simple problem from category theory

Published on 15 Apr 2026 - 8:22

score 127 · Answer 4 · 2026-04-15 15:56:50

127

Views

Coherence theorem for monoidal categories in string diagram calculus

Published on 15 Apr 2026 - 15:56

score 1.8k · Answer 5 · 2026-04-13 17:13:34

1.8k

Views

The "functions" of untyped lambda calculus are not (set theoretic) functions so what are they?

Published on 13 Apr 2026 - 17:13

score 82 · Answer 6 · 2026-04-17 08:34:07

82

Views

How to get models in different categories via monads

Published on 17 Apr 2026 - 8:34

score 72 · Answer 7 · 2026-04-24 12:35:14

72

Views

Categorial explanation for why subsets of $X$ can be described by functions $X \rightarrow X \sqcup X.$

Published on 24 Apr 2026 - 12:35

score 80 · Answer 8 · 2026-04-19 14:23:20

80

Views

Monotonicity of $\neg\neg$

Published on 19 Apr 2026 - 14:23

score 550 · Answer 9 · 2026-04-17 05:15:09

550

Views

Model theory: What is the signature of `Category theory`

Published on 17 Apr 2026 - 5:15

score 89 · Answer 10 · 2026-04-10 19:58:00

89

Views

Does Yoneda preserve the subobject classifier, if it exists?

Published on 10 Apr 2026 - 19:58

score 84 · Answer 11 · 2026-04-15 20:20:02

84

Views

Basic question concerning equivalence of categories

Published on 15 Apr 2026 - 20:20

score 88 · Answer 12 · 2026-04-15 22:04:54

88

Views

Associated C*-Categories and the reduced crossed product

Published on 15 Apr 2026 - 22:04

score 180 · Answer 13 · 2026-03-28 03:26:30

180

Views

A proof in Amnon Neeman's Triangulated Categories

Published on 28 Mar 2026 - 3:26

score 103 · Answer 14 · 2026-04-14 11:40:45

103

Views

Is there a formal class theory that suffices to formalize the basic notions of category theory?

Published on 14 Apr 2026 - 11:40

score 543 · Answer 15 · 2026-04-10 15:18:10

543

Views

How is an equalizer a (limit) cone?

Published on 10 Apr 2026 - 15:18

List Question

On pullbacks of trivial cofibrations for the projective model structure

Does the functor $-\times X:\mathbf{Set}\to\mathbf{Set}$ presrve limits?

Simple problem from category theory

Coherence theorem for monoidal categories in string diagram calculus

The "functions" of untyped lambda calculus are not (set theoretic) functions so what are they?

How to get models in different categories via monads

Categorial explanation for why subsets of $X$ can be described by functions $X \rightarrow X \sqcup X.$

Monotonicity of $\neg\neg$

Model theory: What is the signature of `Category theory`

Does Yoneda preserve the subobject classifier, if it exists?

Basic question concerning equivalence of categories

Associated C*-Categories and the reduced crossed product

A proof in Amnon Neeman's Triangulated Categories

Is there a formal class theory that suffices to formalize the basic notions of category theory?

How is an equalizer a (limit) cone?

Trending Questions

Popular # Hahtags

Popular Questions