Wouter Stekelenburg

504

Reputation

362 views

Registered User

Name	Wouter Stekelenburg
Member for	3 years
Seen	yesterday
Website
Location
Age

stats recent reputation favorites

2

Questions

3

6

votes

2

answers

396

views

Categories of recursive functions

ct.category-theory lo.logic computability-theory

apr 10 at 18:57 Paul Taylor 1,233●5●9

2

votes

1

answer

329

views

name my cat: regular categories where inverse images also have right adjoint

ct.category-theory lo.logic

oct 15 10 at 12:36 Wouter Stekelenburg 504●6

17

Answers

votes newest views recent

Why do so many textbooks have so much technical detail and so little enlightenment?

A continuous notion of realizability

Small categories and completeness

On internal functions and arrows in a Topos

What categories correspond to the typed lambda calculus with parametric types?

Does this kind of endofunctor ever have an initial algebra?

Adjoint of Pushout as Modal Operators in Internal Logic

products in a category without reference to objects or sources and targets

Nelson natural number objects in a topos (say)

What abstract nonsense is necessary to say the word “submersion”?

Au revoir, law of excluded middle?

Name for a functor with this property?

Was the early calculus inconsistent?

Monoidal structure on a category with products and with terminal object

Independence and Category Theory

What is the difference between the biconditional iff. and equality = ?

Bijection of proper classes

31

Votes

31

23

Tags

6

Badges

● Commentator
● Supporter

● Scholar
● Editor

● Student
● Teacher