Skip to main content
Skip to navigation
Skip to footer
Log in
Site Map
Contact
About
About
—
Who we are
—
The Hub
—
Organisational structure
—
Nodes & Branches
—
Our people
—
Leadership
—
Staff
—
Associates
—
Our partners
—
Policy documents
—
Annual Reports
Research
Research
—
NITheCS Focus Areas
—
Publications
—
Publications
—
Google Scholar
—
Nature Index
Training
Training
—
Schools & Mini-schools
—
CHPC NITheCS Coding Summer School
—
Chris Engelbrecht Summer School
—
Mini-schools
—
Math school
—
Internships & Mentorships
—
NITheCS student internship programme
—
NITheCS Village: Mentorship for Grade 12 Learners
—
Research Seminars and Public Lectures
—
NITheCS Colloquia
—
Courses
—
Software & Data Carpentry Training
—
SATACS Courses
—
Resources
—
Advice
—
Bursaries / internships / job opportunities / study loans
—
External bodies
—
School learners
News
News
Engagement
Engagement
—
Engagement
—
Opportunities
—
Careers
—
Awards
—
NITheCS bursaries through DSTI-NRF Student Funding
—
Student Opportunities
—
Requests for proposals
Events
Events
—
Calendar
—
Upcoming events
—
All events
—
Colloquia
—
Mini-schools
Contact
Contact
—
Contact us
—
Where we are
Home
About
Research
Training
News
Engagement
Events
Contact
Events
NITheCS & SU Category Theory Research Seminar ‘Workshop on pointfree topology and constructive mathematics – part 1’
30 July 2024
NITheCS & SU Category Theory Research Seminar ‘Workshop on pointfree topology and constructive mathematics – part 1’
Presented by
Dr Graham Manuell (Stellenbosch University)
When
Tuesday, 30 Jul 2024
Abstract
View
NITheCS & SU Category Theory Research Seminar
Seminar
NITheCS Seminar
