17

Answers
votes newest views recent
3
Does this kind of endofunctor ever have an initial algebra?
1
Was the early calculus inconsistent?
3
Adjoint of Pushout as Modal Operators in Internal Logic
1
Nelson natural number objects in a topos (say)
1
Monoidal structure on a category with products and with terminal object
8
A continuous notion of realizability
7
Small categories and completeness
4
What categories correspond to the typed lambda calculus with parametric types?
6
On internal functions and arrows in a Topos
2
products in a category without reference to objects or sources and targets
0
Bijection of proper classes
1
What abstract nonsense is necessary to say the word “submersion”?
0
Independence and Category Theory
1
Name for a functor with this property?
1
Au revoir, law of excluded middle?
0
What is the difference between the biconditional iff. and equality = ?
8
Why do so many textbooks have so much technical detail and so little enlightenment?