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 102
Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
15
votes
Programming Languages Based on Category Theory
There's Charity.
11
votes
Terminology in category theory
As for the limit example, it is rooted in analysis by way of topology.
A topology on some set X is a system of subsets, partially ordered by inclusion, that have arbitrary joins and finite meets (or …
- 2,537
7
votes
Learning to Think Categorically
First, WHY do you want to learn categories?
Not that I don't think it's a good idea - only your approach vector will influence, strongly, what a good approach will consist of. I approached categories …
4
votes
Accepted
F is ultrafilter over a Boolean algebra implies that for every b, either b or not-b is in F?
Assume you have a proper filter $F$ that avoids both $b$ and $\neg b$. Then, you could consider the filter generated by $F\cup\{b\}$ - which is to say the smallest filter $F'$ containing $F$ and $b$. …
- 2,537
1
vote
`Topos' with alternate subobject lattice?
Probably not the complete picture, but my impression was that one of the reasons that Heyting lattices play such a large role with topoi is that the Heyting lattice definition captures the properties …
- 2,537