Skip to main content
Skip to navigation
Skip to footer
Log in
Home
About
About
—
Who we are
—
Organisational structure
—
Our people
—
Staff
—
Node and Branch heads
—
Associates
—
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
—
SATACS Courses
—
Software & Data Carpentry Training
—
Resources
—
Advice
—
Bursaries / internships / job opportunities / study loans
—
External bodies
—
School learners
Associates
News
News
—
All news
—
Newsletters
Events
Events
—
Calendar
—
Upcoming events
—
All events
—
Colloquia
—
Mini-schools
Engagement
Engagement
—
Engagement
—
Opportunities
—
Careers
—
Awards
—
NITheCS bursaries through DSTI-NRF Student Funding
—
Requests for proposals
—
Student Opportunities
Contact
Contact
—
Contact Us
—
Where we are
Home
Home
About
Research
Training
Associates
News
Events
Engagement
Contact
Events
All events
Workshop on pointfree topology and constructive mathematics – part 1
Seminar / Webinar
30 July 2024
–
17:00
–
18:00
en
Workshop on pointfree topology and constructive mathematics – part 1
Video
Presenters
Dr Graham Manuell (Stellenbosch University)
Materials
2024-07-30-NITheCS-SU-Category-Theory-Research-Seminar.pdf
Dr Graham Manuell (Stellenbosch University)
NITheCS & SU Category Theory Research Seminar
Seminar
NITheCS Seminar
.svg){kind=logo}
