Skip to main content
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
Search options not deleted user 102

Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.

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 …
Mikael Vejdemo-Johansson's user avatar
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$. …
Mikael Vejdemo-Johansson's user avatar
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 …
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 …
Mikael Vejdemo-Johansson's user avatar
15 votes

Programming Languages Based on Category Theory

There's Charity.