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 24563

This tag is used if a reference is needed in a paper or textbook on a specific result.

2 votes
0 answers
141 views

Metrizable cellular topological spaces

For a CW-complex, locally compact, metrizable, first countable and locally finite are equivalent conditions. A proof is available in https://epub.ub.uni-muenchen.de/4524/1/4524.pdf. I need the same re …
8 votes

What was Burroni's sketch for topological spaces?

The category of topological spaces is the category of models of a relational universal strict Horn theory $T$ without equality, i.e. the axioms are of the form $(\forall x)(\phi(x) \rightarrow \psi(x) …
Philippe Gaucher's user avatar
5 votes
1 answer
87 views

Characterization of right properness using slice categories

I would like to know how to cite this theorem (which has a quite surprising consequence): A model category $\mathcal{M}$ is right proper if and only if for any weak equivalence $f:A\to B$, the Q …
3 votes

What's a good introduction to category theory for someone doing analysis?

I could suggest Tom Leinster's book: "Basic Category Theory", Cambridge studies in advanced mathematics 143. It is a modern introduction to category theory which covers the basic topics of the subject …
Philippe Gaucher's user avatar
3 votes
1 answer
711 views

Systems of equations in Boolean Algebra

I have to study systems of equations in a Boolean algebra, the matrix is $m\times n$ with $m\neq n$. The Boolean algebra is actually the simplest one, it contains only $0$ and $1$, let us denote it by …