- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- BIRS Workshop Lecture Videos /
- An anatomical disection of the Partite Construction
Open Collections
BIRS Workshop Lecture Videos
BIRS Workshop Lecture Videos
An anatomical disection of the Partite Construction Strohmeier, Maximilian
Description
n this short talk we will examine the logical viscera of the Partite Construction by means of a string diagram. In particular a very general categorical (uniterated and unrestricted) version. If time permits we will also remark when iteration is necessary and how to modify this diagram to accompany this.
Category theoretic knowledge is not required as we will walk through it with the standard, model theoretic example.
Item Metadata
| Title |
An anatomical disection of the Partite Construction
|
| Creator | |
| Publisher |
Banff International Research Station for Mathematical Innovation and Discovery
|
| Date Issued |
2025-11-24
|
| Description |
n this short talk we will examine the logical viscera of the Partite Construction by means of a string diagram. In particular a very general categorical (uniterated and unrestricted) version. If time permits we will also remark when iteration is necessary and how to modify this diagram to accompany this.
Category theoretic knowledge is not required as we will walk through it with the standard, model theoretic example.
|
| Extent |
11.0 minutes
|
| Subject | |
| Type | |
| File Format |
video/mp4
|
| Language |
eng
|
| Notes |
Author affiliation: Charles University
|
| Series | |
| Date Available |
2025-12-01
|
| Provider |
Vancouver : University of British Columbia Library
|
| Rights |
Attribution-NonCommercial-NoDerivatives 4.0 International
|
| DOI |
10.14288/1.0450924
|
| URI | |
| Affiliation | |
| Peer Review Status |
Unreviewed
|
| Scholarly Level |
Graduate
|
| Rights URI | |
| Aggregated Source Repository |
DSpace
|
Item Media
Item Citations and Data
Rights
Attribution-NonCommercial-NoDerivatives 4.0 International