Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with ct.category-theory
Search options not deleted
user 48623
Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
7
votes
1
answer
175
views
Comonoid homomorphisms in the bicategory of profunctors
Cartesian bicategories axiomatize the intuitively evident but mathematically elusive "cartesian" product on bicategories such as Rel, Span, and Prof. An important concept for cartesian bicategories ar …
- 171
2
votes
Domains that may require a good categorical background
Besides the CT-functional programming connection, in recent years a field of "applied category theory" (ACT) has emerged that seeks to apply category-theoretic ideas to fields beyond the traditional o …
- 171
4
votes
0
answers
162
views
Cencov's "categories of figures"
In his 1982 book Statistical Decision Rules and Optimal Inference, N. N. Cencov studies statistical models (parametrized families of probability distributions) from an unconventional category-theoreti …
- 171