User Ben MacAdam

22 votes

Most general definition of differentiation

answered Dec 4, 2019 at 5:32

5 votes

Accepted

Intuition and analogue of Wraith axiom from synthetic differential geometry

answered Jan 18, 2020 at 4:12

5 votes

Accepted

Is monadicity preserved by the underlying functor?

answered Jun 6, 2020 at 2:05

3 votes

Is there a formulation of Huygens' principle using the language of algebraic geometry?

answered Aug 27, 2020 at 20:02

3 votes

Finitary monads on $\operatorname{Set}$ are substitution monoids. Finitary monads on $\operatorname{Set}_*$ are...?

answered Jun 2, 2020 at 11:39

3 votes

When is a locally presentable category (locally) cartesian-closed?

answered Oct 24, 2020 at 6:19

2 votes

Geometric intuition for $R[x,y]/ (x^2,y^2)$, kinematic second tangent bundle, and Wraith axiom

answered Nov 10, 2020 at 20:07

2 votes

The bidualizing monad

answered Jun 26, 2021 at 4:17

2 votes

Accepted

Substitution structure on pointed sets

answered Jun 2, 2020 at 14:55

2 votes

Identifying Lie groupoids among smooth groupoids

answered Sep 9, 2020 at 1:31

1 vote

Has the covariant Hom-functor of the category of additive categories a left adjoint?

answered Jun 29, 2020 at 15:20

1 vote

What is the sequent calculus for differential linear logic?

answered Oct 16, 2019 at 20:11

1 vote

How to recognize a vector bundle?

answered Nov 28, 2020 at 19:32

Stack Exchange Network

13 Answers

Most general definition of differentiation

Intuition and analogue of Wraith axiom from synthetic differential geometry

Is monadicity preserved by the underlying functor?

Is there a formulation of Huygens' principle using the language of algebraic geometry?

Finitary monads on $\operatorname{Set}$ are substitution monoids. Finitary monads on $\operatorname{Set}_*$ are...?

When is a locally presentable category (locally) cartesian-closed?

Geometric intuition for $R[x,y]/ (x^2,y^2)$, kinematic second tangent bundle, and Wraith axiom

The bidualizing monad

Substitution structure on pointed sets

Identifying Lie groupoids among smooth groupoids

Has the covariant Hom-functor of the category of additive categories a left adjoint?

What is the sequent calculus for differential linear logic?

How to recognize a vector bundle?