[Alta-Logic] Fwd: Category Theory Seminar (3:00 pm)

[Kristine Bauer]

Hi all,

The talk advertised below,  which is part of the  the undergraduate seminar series, seems like it might be of interest to many on this mailing list.


Cheers,
Kristine

Begin forwarded message:

From: Sarah Hatcher <sarah.hatcher at ucalgary.ca<mailto:sarah.hatcher at ucalgary.ca>>
Subject: Category Theory Seminar (3:00 pm)
Date: June 22, 2020 at 11:05:12 AM MDT
To: dept Math <dept at math.ucalgary.ca<mailto:dept at math.ucalgary.ca>>, "sumc-l at mailman.ucalgary.ca<mailto:sumc-l at mailman.ucalgary.ca>" <sumc-l at mailman.ucalgary.ca<mailto:sumc-l at mailman.ucalgary.ca>>

Good morning!

Join us for our continuing undergraduate seminar today at 3:00 pm over Zoom.

Speaker: Riley Baker



The Language-Syntax Adjunction, or Why Monads Are Just Monoids In the Category of Endofunctors



ABSTRACT: Primarily a beginning look at categorical logic, this is an introduction to category theory, type theory, and an adjoint pair of functor that let us primarily slip between category and type theory as well as internalizing most algebraic structures into suitably structured categories and reason about them internal to the chosen category. I'll briefly mention Lawvere theories as well as applications in Topos theory.

Join: http://zoom.sumc.ca/seminar or meeting ID (92703682355<https://ucalgary.zoom.us/j/92703682355>)


Yours,

Sarah


[cid:d14919cc-b4a6-4cc1-ab92-d15d222747a1]
[cid:4897CC41-19B9-403B-AEAA-0F76ABB2E380 at telus]

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20200622/685c4f90/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 2cbe8eb48429c79a3cc5cab7f44e0d1e.png
Type: image/png
Size: 445930 bytes
Desc: 2cbe8eb48429c79a3cc5cab7f44e0d1e.png
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20200622/685c4f90/attachment.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 2cbe8eb48429c79a3cc5cab7f44e0d1e.png
Type: image/png
Size: 445930 bytes
Desc: 2cbe8eb48429c79a3cc5cab7f44e0d1e.png
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20200622/685c4f90/attachment-0001.png>