Question

Construction of Presheaf category such that subobjects of the terminal functor give a desired Heyting Algebra

score 121 · Answer 1 · 2026-03-25 12:35:05

121

Views

Construction of Presheaf category such that subobjects of the terminal functor give a desired Heyting Algebra

Published on 25 Mar 2026 - 12:35

score 48 · Answer 2 · 2026-03-22 06:48:05

48

Views

Applications of $\infty$-categories

Published on 22 Mar 2026 - 6:48

score 633 · Answer 3 · 2026-03-19 15:31:57

633

Views

Is surjection an epimorphism without the axiom of choice?

Published on 19 Mar 2026 - 15:31

score 69 · Answer 4 · 2026-03-19 17:28:38

69

Views

What is the string diagram for the Bimonad law

Published on 19 Mar 2026 - 17:28

score 95 · Answer 5 · 2018-03-09 01:12:55

95

Views

Properties of the monad for the LieAlgebra adjunction

Published on 09 Mar 2018 - 1:12

score 202 · Answer 6 · 2026-03-25 02:16:48

202

Views

Does the fixed point functor preserve colimit and limit?

Published on 25 Mar 2026 - 2:16

score 91 · Answer 7 · 2026-03-17 08:10:10

91

Views

Is the twist of the direct sum of simple objects the direct sum of the twists?

Published on 17 Mar 2026 - 8:10

score 657 · Answer 8 · 2026-03-20 05:48:52

657

Views

Defining contravariant left/right-exact functor with opposite category?

Published on 20 Mar 2026 - 5:48

score 108 · Answer 9 · 2026-03-24 23:59:17

108

Views

Directed Limits and Choice over $\mathbb{R}$.

Published on 24 Mar 2026 - 23:59

score 427 · Answer 10 · 2026-03-22 13:23:04

427

Views

Additive Yoneda Lemma

Published on 22 Mar 2026 - 13:23

score 360 · Answer 11 · 2026-03-24 22:01:42

360

Views

Functor from single-object category $C$ formed by a monoid to the $\mathbf{SET}$-category? How to map and preserve morphisms?

Published on 24 Mar 2026 - 22:01

score 2.2k · Answer 12 · 2026-03-23 08:00:07

2.2k

Views

Example of a functor that doesn't reflect isomorphism

Published on 23 Mar 2026 - 8:00

score 219 · Answer 13 · 2026-03-22 10:42:13

219

Views

Action of a symmetric group in operad

Published on 22 Mar 2026 - 10:42

score 47 · Answer 14 · 2026-03-25 14:39:49

47

Views

Interaction of initial objects and endomorphisms

Published on 25 Mar 2026 - 14:39

score 653 · Answer 15 · 2026-03-22 20:30:24

653

Views

Equality of functors

Published on 22 Mar 2026 - 20:30

List Question

Construction of Presheaf category such that subobjects of the terminal functor give a desired Heyting Algebra

Applications of $\infty$-categories

Is surjection an epimorphism without the axiom of choice?

What is the string diagram for the Bimonad law

Properties of the monad for the LieAlgebra adjunction

Does the fixed point functor preserve colimit and limit?

Is the twist of the direct sum of simple objects the direct sum of the twists?

Defining contravariant left/right-exact functor with opposite category?

Directed Limits and Choice over $\mathbb{R}$.

Additive Yoneda Lemma

Functor from single-object category $C$ formed by a monoid to the $\mathbf{SET}$-category? How to map and preserve morphisms?

Example of a functor that doesn't reflect isomorphism

Action of a symmetric group in operad

Interaction of initial objects and endomorphisms

Equality of functors

Trending Questions

Popular # Hahtags

Popular Questions