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 53137

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

5 votes
0 answers
151 views

Sup preserving maps between distributive lattices

I have been looking at categories of sup semilattices and sup preserving maps. If $A$ and $B$ are two such, the set I denote $[A,B]$ is sup preserving homomorphisms between is also a sup semilattice …
4 votes

What's an example of a subcategory whose closure under colimits takes a lot of steps to form...

I wish I could give a reference but in 1965 John Isbell claimed that the limit completion of the 2 element group (considered as a one object category) requires a proper class of steps, but I didn't un …
Michael Barr's user avatar
4 votes

Are there non-trivial infinite chains of adjoint functors?

My paper Non-symmetric $*$-autonomous categories. Theoretical Computer Science, {\bf139} (1995), 115-130, might be thought of as a generalization of Lambek's to Chu categories. It certainly leads to …
Michael Barr's user avatar
7 votes
1 answer
840 views

Hahn-Banach theorem for arbitrary locally compact fields?

Does anyone know if the Hahn-Banach theorem is true for every locally compact field? Specifically, let $F$ be a finite algebraic extension of either $Q_p$, the $p$-adic completion of $Q$, or of $S_p$ …