Notifications
Clear all
Tag: internal logic
| # | Post Title | Date | User |
| Models of 'simpler' theories in the internal higher-order logic of a topos | 5 years ago | DavidMRoberts | |
Around toposes
A blog and forum about toposes, 'bridges' and the unification programme.
