Question

Introduction and elimination rules for type-theoretic equalizers/coequalizers/pushforwards/pullbacks

score 265 · Answer 1 · 2026-04-17 12:56:20

265

Views

Introduction and elimination rules for type-theoretic equalizers/coequalizers/pushforwards/pullbacks

Published on 17 Apr 2026 - 12:56

score 2.7k · Answer 2 · 2026-04-13 16:25:49

2.7k

Views

Misunderstanding in the universal property of the Cartesian product

Published on 13 Apr 2026 - 16:25

score 400 · Answer 3 · 2026-04-16 12:40:12

400

Views

$\mathscr{F}$ is a sheaf of abelian groups on $X$. Show that $\mathit{Hom}_{\mathit{Ab}_X}(\underline{\mathbb{Z}},\mathscr{F})\cong\mathscr{F}$.

Published on 16 Apr 2026 - 12:40

score 670 · Answer 4 · 2026-04-15 20:19:53

670

Views

Base change. How to induce functor $f_*$

Published on 15 Apr 2026 - 20:19

score 255 · Answer 5 · 2026-04-14 00:00:36

255

Views

Dualize Subobject Classifier for Set

Published on 14 Apr 2026 - 0:00

score 77 · Answer 6 · 2026-04-16 18:31:49

77

Views

Is it always possible to construct a "product category" given any two arbitrary categories C and D?

Published on 16 Apr 2026 - 18:31

score 269 · Answer 7 · 2026-04-09 12:28:24

269

Views

Simple question about idempotent completion

Published on 09 Apr 2026 - 12:28

score 509 · Answer 8 · 2026-04-13 05:24:52

509

Views

Functor over sets of functions

Published on 13 Apr 2026 - 5:24

score 166 · Answer 9 · 2026-04-12 21:09:52

166

Views

An example of a span that is not a product.

Published on 12 Apr 2026 - 21:09

score 1.7k · Answer 10 · 2026-04-10 13:42:05

1.7k

Views

How to prove that something is a set?

Published on 10 Apr 2026 - 13:42

score 748 · Answer 11 · 2026-04-14 05:13:31

748

Views

Product of two quotient map need not be a quotient map

Published on 14 Apr 2026 - 5:13

score 46 · Answer 12 · 2026-04-14 18:18:27

46

Views

Tor functor,deleted last term,exactness

Published on 14 Apr 2026 - 18:18

score 2.4k · Answer 13 · 2026-04-17 15:37:40

2.4k

Views

If Monad is just a Monoid Object in the Category of Endofunctors...

Published on 17 Apr 2026 - 15:37

score 133 · Answer 14 · 2026-04-13 07:17:13

133

Views

What functors are the natural isomorphisms relating in monoidal categories?

Published on 13 Apr 2026 - 7:17

score 364 · Answer 15 · 2026-04-16 03:27:09

364

Views

Product in category theory

Published on 16 Apr 2026 - 3:27

List Question

Introduction and elimination rules for type-theoretic equalizers/coequalizers/pushforwards/pullbacks

Misunderstanding in the universal property of the Cartesian product

$\mathscr{F}$ is a sheaf of abelian groups on $X$. Show that $\mathit{Hom}_{\mathit{Ab}_X}(\underline{\mathbb{Z}},\mathscr{F})\cong\mathscr{F}$.

Base change. How to induce functor $f_*$

Dualize Subobject Classifier for Set

Is it always possible to construct a "product category" given any two arbitrary categories C and D?

Simple question about idempotent completion

Functor over sets of functions

An example of a span that is not a product.

How to prove that something is a set?

Product of two quotient map need not be a quotient map

Tor functor,deleted last term,exactness

If Monad is just a Monoid Object in the Category of Endofunctors...

What functors are the natural isomorphisms relating in monoidal categories?

Product in category theory

Trending Questions

Popular # Hahtags

Popular Questions