Ben Sprott's user avatar
Ben Sprott's user avatar
Ben Sprott's user avatar
Ben Sprott
  • Member for 13 years, 5 months
  • Last seen this week
9 votes
2 answers
2k views

Categories presented with Arrows only, no objects: partial monoids

9 votes
0 answers
854 views

Monads and Comonads that interact

8 votes
2 answers
866 views

What is the polynomial functor for the Bag monad

8 votes
0 answers
203 views

Frobenius monads and groupoids

7 votes
0 answers
249 views

Are the string diagrams for the Frobenius Algebra an example of a Polynomial Functor?

7 votes
2 answers
557 views

Where does Chu fit in with "Nice Categories of Spaces"?

7 votes
1 answer
1k views

List is a monad, but is it a comonad with these natural transformations?

6 votes
2 answers
348 views

is shuffle a Monad?

6 votes
1 answer
962 views

Internal categories in an endofunctor category

6 votes
1 answer
376 views

Map from the Multiset Monad to the Giry Monad: From Data to Probabilities

6 votes
1 answer
340 views

Is the 2-сategory of groupoids locally presentable?

5 votes
0 answers
55 views

What are the special properties of adjunctions that generate polynomial monads

5 votes
1 answer
550 views

What is the “free symmetric monoidal category” 2-monad?

5 votes
4 answers
970 views

What are the adjunctions that generate the Giry Monad?

5 votes
1 answer
342 views

Is the Giry Monad also a Comonad and if not, is there a probability measures (Co)monad?

5 votes
1 answer
215 views

Monoidal cats and string diagrams for a semantics of object oriented programming languages

5 votes
1 answer
3k views

transformation properties of divergence (of a vector field)

4 votes
1 answer
590 views

linear logic, diagrammatic calculus and foundations

4 votes
2 answers
988 views

products in a category without reference to objects or sources and targets

4 votes
1 answer
286 views

internalization of the concept of large and small category

4 votes
1 answer
418 views

A List-Like Frobenius Monad

4 votes
1 answer
482 views

What is the category of algebras for the finitely supported measures monad?

4 votes
0 answers
133 views

Has anyone studied factoring as a CO-product?

3 votes
0 answers
141 views

Homotopy type theory for semantics

3 votes
0 answers
219 views

What category of toposes is monadic over the 2-category of groupoids?

3 votes
0 answers
159 views

Is there a bimonad on the category of sets that is exact?

3 votes
1 answer
3k views

colimits in Cat via coproducts and coequalizers

3 votes
0 answers
234 views

Fong's Causal Theories: Is he also describing a Monad structure? Is the causal category also a bimonad?

3 votes
0 answers
137 views

Hilb as a Colimit in the Category of Scott Complete Categories (foundations)

3 votes
0 answers
216 views

symmetric monoidal dagger endofunctor categories