You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Bryce Clarke (Nov 09 2023 at 06:11):Today at 12:00 UTC I am giving a talk in Tallinn titled Lifting twisted coreflections against delta lenses. The talk will be streamed on Zoom, so if you would like a link, send me a message.
Abstract: Delta lenses are functors equipped with a functorial choice of lifts, and generalise the notion of a split opfibration. It is known that every functor factors (via a comma category) into a split coreflection followed by a split opfibration, and that split coreflections lift against split opfibrations --- this is the main example of a lifting awfs recently introduced by Bourke [1]. In this talk, I will introduce the notion of twisted coreflection as a split coreflection equipped with certain additional structure. We will then see that every functor factors into a twisted coreflection followed by a delta lens, and that twisted coreflections lift against delta lenses. The main theorem is that the double categories of twisted coreflections and delta lenses form a lifting awfs in the sense of Bourke. This result revolves the question of characterising the L-coalgebras for the algebraic weak factorisation system for delta lenses [2], and establishes a deeper understanding on the differences between delta lenses and split opfibrations. Future work will be discussed if time allows.
References:
[1] John Bourke, An orthogonal approach to algebraic weak factorisation systems, Journal of Pure and Applied Algebra, Vol 227 (2023). [doi:10.1016/j.jpaa.2022.107294, arXiv:2204.09584]
[2] Bryce Clarke, The Algebraic Weak Factorisation System for Delta Lenses, preprint (2023). [arXiv:2305.02732]
Bryce Clarke (Nov 09 2023 at 06:55):Fixed the time: 12:00 UTC not 00:00 UTC.
Tom Hirschowitz (Nov 09 2023 at 08:20):I wasn't aware of John's presentation of awfs, it looks really cute!
Bryce Clarke (Nov 09 2023 at 10:27):The slides are now available on my website here.
Bryce Clarke (Dec 05 2023 at 07:51):Yesterday I gave a talk at UCLouvain in Belgium titled The AWFS of twisted coreflections and delta lenses. The talk is about the same topic as previously, but with slightly different emphasis. In particular, I resolved a conjecture at the end of my previous talk concerning a "diagrammatic" characterisation of twisted coreflections, so I can now use this to give a nice construction of the lifting. The abstract and slides for the talk are available below.
Abstract: In a lextensive category, each morphism factorises into a coproduct injection followed by a split epimorphism --- this is one of the main examples of an algebraic weak factorisation system (AWFS) introduced by Grandis and Tholen. Another well-known example of an AWFS arises from factorising each functor into a split coreflection followed by a split opfibration. Delta lenses, first introduced in computer science, generalise the notion of a split opfibration and are a focus of ongoing research in (applied) category theory. In this talk, I will introduce the notion of a twisted coreflection as a split coreflection with a certain property, and construct an AWFS that factorises each functor into a twisted coreflection followed by a delta lens. Examples of twisted coreflections will be explored, and the close connections with the previously stated examples of AWFS will be discussed. The talk will emphasise a double categorical approach to AWFS recently introduced by Bourke, however no prior knowledge of double categories will be assumed.
Slides are available on my website here.
Bryce Clarke (Jan 31 2024 at 07:06):Today I have a new paper on the arXiv! Check it out here: https://arxiv.org/abs/2401.17250
Title: Lifting twisted coreflections against delta lenses
Abstract: Delta lenses are functors equipped with a suitable choice of lifts, generalising the notion of split opfibration. In recent work, delta lenses were characterised as the right class of an algebraic weak factorisation system. In this paper, we show that this algebraic weak factorisation system is cofibrantly generated by a small double category, and characterise the left class as split coreflections with a certain property; we call these twisted coreflections. We demonstrate that every twisted coreflection arises as a pushout of an initial functor from a discrete category along a bijective-on-objects functor. Throughout the article, we take advantage of a reformulation of algebraic weak factorisation systems, due to Bourke, based on double-categorical lifting operations.
Bryce Clarke (May 06 2024 at 08:00):Today I am happy to be starting a new postdoc position at Tallinn University of Technology, in the Logic and Semantics Group led by Tarmo Uustalu. I am sharing an office with @Nathanael Arkor .
Bryce Clarke (May 06 2024 at 08:05):I will also be delivering two talks at conferences in June:
Morgan Rogers (he/him) (May 06 2024 at 09:21):Congratulations!!