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 4642
Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
4
votes
2
answers
654
views
Higher categories and semirings
Maybe my thinking here is completely wrong headed, but this seems like something that ought to have been answered before. Here is my question:
What is the (n - )categorical analogue of a semiring …
- 2,392
3
votes
Category = Groupoid x Poset?
Given any locally small category, $C$, the collection of all isomorphisms forms a subgroupoid, $G \subseteq C$, where $Ob(G) = Ob(C)$ and $Hom_G(A,B) = \left ( f \in Hom_C(A,B) : \exists g, h \in Hom_ …
- 2,392
5
votes
2
answers
866
views
Is it reasonable to define `poset homotopy' as a `natural transformation of posets'?
Pausing to speak metaphorically for a bit, I have always thought of partial orders as being something like a simplified version of topological spaces. (In the finite case at least, all topological sp …
- 2,392
46
votes
3
answers
3k
views
Category theoretic interpretation of matroids?
First time poster, long time lurker here. I have a really basic question that has been bugging me for sometime. Specifically, I'm not exactly sure what the 'correct' category theoretic definition of …
- 2,392