27

Answers
votes newest views recent
7
On the large cardinals foundations of categories
3
Is this square a push-out square?
6
“Wrong” strictification of symmetric monoidal categories
7
Does this kind of endofunctor ever have an initial algebra?
13
Are there non-categorical notions in topos theory?
2
question of topos and site
5
When does the direct image functor nicely push past the power/exists functor?
3
abelian group objects category
5
Characterizing a zero object by its endomorphisms
15
Category and the axiom of choice
6
Why does tensor product in Ab(V) require colimits in V?
4
Free Objects in Functor Categories
1
Definition of continuous functions in order theory
4
Small model categories?
10
$\infty$-ary tensor product on a category
1
Is there a name for this “weak compatibility” between Grothendieck (pre)topologies?
3
On the difference between a projective chain complex and a level-wise projective chain complex
0
Externalising monoids using the Yoneda-embedding and relation to Kleisli categories
6
Grothendieck Topologies versus Pretopologies
4
Set-Theoretic Issues/Categories
2
About logical axioms of propositional logic.
6
Categories of logical formulae
2
Intuitive explanation of Burnside’s Lemma
5
Principal curvatures and curvature directions
7
Provable(P) ⇒ provable(provable(P))?
1
Suggestions for good notation
3
Proofs that require fundamentally new ways of thinking