Filip Bár
| Name: | Filip Bár |
| Affiliation: | University of Cambridge |
| E-mail: | (only provided to users who are logged into talks.cam) |
| Last login: | 24 Jun 2014, 10:27 p.m. |
Public lists managed by Filip Bár
Talks given by Filip Bár
Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.
- A gentle introduction to Categorical Logic
- The Fundamental Theorem and Cauchy Completeness
- Micro Squares, Connections and the Lie Bracket of Vector Fields
- The Tangent Bundle of a Microlinear Space
- The Kock-Wraith axiom schema and Microlinearity
- The Fundamental Theorem of Category Theory
- Smooth Infinitesimal Analysis III
- Smooth Infinitesimal Analysis II
- Smooth Infinitesimal Analysis
- It's all about monoids! Algebras, coalgebras and Hopf algebras from a conceptual viewpoint.
- Some model theory with C^\infty-rings and Smooth Infinitesimal Analysis
- Synthetic Differential Geometry - A Small Overview Reloaded
- Synthetic Differential Geometry - An Overview
Talks organised by Filip Bár
This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Filip Bár actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.
- The Fundamental Theorem and Cauchy Completeness
- Micro Squares, Connections and the Lie Bracket of Vector Fields
- The Tangent Bundle of a Microlinear Space
- The Kock-Wraith axiom schema and Microlinearity
- Smooth Infinitesimal Analysis III
- Smooth Infinitesimal Analysis II
- Smooth Infinitesimal Analysis
- Some model theory with C^\infty-rings and Smooth Infinitesimal Analysis
- Synthetic Differential Geometry - A Small Overview Reloaded
- Synthetic Differential Geometry - An Overview
![[Talks.cam]](/static/images/talkslogosmall.gif)
