Impact
~122k
people reached
- 0 posts edited
- 3 helpful flags
- 204 votes cast
Dec
20 |
awarded | Autobiographer |
Dec
18 |
awarded | Revival |
Dec
18 |
comment |
functors of string diagrams in a monoidal category
pps.univ-paris-diderot.fr/~mellies/papers/functorial-boxes.pdf is this what you're looking for ? |
Dec
18 |
revised |
Monoidal cats and string diagrams for a semantics of object oriented programming languages
Sketched out some parts. |
Dec
17 |
comment |
Why do categorical foundationalists want to escape set theory?
One semi-serious analogy: Doing category theory in in set theory is like writing a web app in assembler. |
Dec
17 |
answered | Monoidal cats and string diagrams for a semantics of object oriented programming languages |
Oct
28 |
awarded | Yearling |
Oct
13 |
awarded | Good Answer |
Oct
7 |
comment |
What are the worst notations, in your opinion ?
I don't like $f;g$ either and I use a custom made ">>" sign . |
Sep
17 |
awarded | Nice Question |
Aug
2 |
comment |
About a closed strucure on profunctors
Also: What is the functor $\otimes:Set\times Set \to Set$? The cartesian product? What is the functor $\otimes:Cat\times Cat\to Cat$ you use? |
Aug
2 |
comment |
About a closed strucure on profunctors
To clearify: Objects in Prof are profunctors? What are the morphisms you consider? There are several possibilities. Furthermore: I suggest you use another notation for the product of profunctors as '$\otimes$' is usually used for the composition of profunctors. I'd suggest '$\boxtimes$'. It is usually used for 'outer prodcts' like the one describe. |
Jan
19 |
revised |
The (un)reasonable (non-)ubiquity of the Grothendieck construction
replaced "a.k.a.$\mathbb V-\mathrm{Cat}$-adjunction)" with "constituting a \mathbb V-\mathrm{Cat}$-adjunction)" |
Jan
19 |
comment |
The (un)reasonable (non-)ubiquity of the Grothendieck construction
Nah. Not slick - But easy. I'll clean up my notes and post a link to the diagrams sometime next week. |
Jan
17 |
awarded | Revival |
Jan
17 |
revised |
The (un)reasonable (non-)ubiquity of the Grothendieck construction
added 70 characters in body |
Jan
17 |
comment |
Gluings and collages along profunctors
I would not think of this as a glueing: Consider my answer to your other question (mathoverflow.net/questions/190492/…). The Category of elements behaves more like a fibre product over a distributor A distributor also induces a category structure on the disjoint union of the objects $\mathrm{Ob}X\amalg \mathrm{Ob} Y$ and this one should be called the glueing as it exhibits the required adjointness property. |
Jan
17 |
comment |
The (un)reasonable (non-)ubiquity of the Grothendieck construction
The idea behind the comprehension notation comes is the following: existential quantifier = set-comprehension = grothendieck construction. |
Jan
17 |
answered | The (un)reasonable (non-)ubiquity of the Grothendieck construction |
Jan
17 |
comment |
Reference for “multi-monoidal categories”
Have you considered an approach similar to Durov? "Algebraic (Strong-/Pseudo-) Monads on Cat" or something like this. |