News archive


Online algebra seminar - February 18th, 1pm PDF Print

We will continue online on Thursday, February 18th, at 1pm on ZOOM platform (for information how to acces seminar and next programme visit this page) by the talk:

Charles Walker

Distributive laws, pseudodistributive laws and decagons

Abstract:
The notion of a distributive law of monads was introduced by Beck [1], and gives a concise description of the data required to compose monads. In the two dimensional case, Marmolejo [4] defined pseudodistributive laws of pseudomonads (where the required diagrams only commute up to an invertible modification). However, this description requires a number of coherence conditions due to the extra data involved.

In this talk we give alternative definitions of distributive laws and pseudodistributive laws involving the decagonal coherence conditions which naturally arise when the involved monads and pseudomonads are presented in their extensive form [7, 3, 2, 6]. As an application, we show that of Marmolejo and Wood’s eight coherence axioms for pseudodistributive laws [5], three are redundant.  We will then go on to give (likely) minimal definitions of distributive laws and pseudodistributive laws, which further simplify the coherence conditions involved in this extensive viewpoint.

References

[1] Jon Beck. Distributive laws. In Sem. on Triples and Categorical Homology Theory (ETH,
Zürich, 1966/67), pages 119–140. Springer, Berlin, 1969.

[2] M. Fiore, N. Gambino, M. Hyland, and G. Winskel. Relative pseudomonads, Kleisli bicate-
gories, and substitution monoidal structures. Selecta Math. (N.S.), 24(3):2791–2830, 2018.

[3] Ernest G. Manes. Algebraic theories. Springer-Verlag, New York-Heidelberg, 1976. Graduate
Texts in Mathematics, No. 26.

[4] F. Marmolejo. Distributive laws for pseudomonads. Theory Appl. Categ., 5:No. 5, 91–147,
1999.

[5] F. Marmolejo and R. J. Wood. Coherence for pseudodistributive laws revisited. Theory Appl.
Categ., 20:No. 5, 74–84, 2008.

[6] F. Marmolejo and R. J. Wood. No-iteration pseudomonads. Theory Appl. Categ., 28:No. 14,
371–402, 2013.

[7] Robert Frank Carslaw Walters. A categorical approach to universal algebra. PhD thesis, Australian National University, 1970.

Last Updated on Tuesday, 16 February 2021 11:23
 
Invitation to dissertation defense of Jakub Juranek PDF Print

Invitation to dissertation defense of Jakub Juranek Thursday, 18.2.2021, from 11:00 am

Please connect under your full name and surname.

Link: https://cesnet.zoom.us/j/97365408217

Last Updated on Thursday, 11 February 2021 16:37
 
Online algebra seminar - February 11th, 1pm PDF Print

We will continue online on Thursday, February 11th, at 1pm on ZOOM platform (for information how to acces seminar and next programme visit this page) by the talk:

Paolo Perrone

Kan extensions are partial colimits

Abstract:
One way of interpreting a left Kan extension is as taking a kind of "partial colimit", where one replaces parts of a diagram by their colimits. We make this intuition precise by means of the "partial evaluations" sitting in the so-called bar construction of monads. The (pseudo)monads of interest for forming colimits are the monad of diagrams and the monad of small presheaves, both on the category CAT of locally small categories. 

We also define a morphism of monads between them, which we call "image", and which takes the "free colimit" of a diagram. This morphism allows us in particular to generalize the idea of "confinal functors", i.e. of functors which leave colimits invariant in an absolute way. This generalization includes the concept of absolute colimit as a special case.
The main result of this work says that a pointwise left Kan extension of a diagram corresponds precisely to a partial evaluation of its colimit. This categorical result is analogous to what happens in the case of probability monads, where a conditional expectation of a random variable corresponds to a partial evaluation of its center of mass.

Joint work with Walter Tholen. arXiv:2101.04531.

Last Updated on Tuesday, 09 February 2021 16:27
 
Online algebra seminar - February 4th, 1pm PDF Print

We will continue online on Thursday, February 4th, at 1pm on ZOOM platform (for information how to acces seminar and next programme visit this page) by the talk:

Jiří Rosický

Metric monads

Abstract:
We develop universal algebra over an enriched category and relate it to finitary enriched monads. Using it, we deduce recent results about ordered universal algebra where inequations are used instead of equations. Then we apply it to metric universal algebra where quantitative equations are used instead of equations. This contributes to understanding of finitary monads on the category of metric spaces.

Last Updated on Wednesday, 03 February 2021 09:05
 
41st WINTER SCHOOL GEOMETRY AND PHYSICS Czech Republic (Srni), January 2021 PDF Print

Dear friends,
in view of the continuing pandemic the standard arrangement of our winter school is impossible. Finally, we gave up the assumed hybrid form and the 41st event in the row will be run as a ZOOM online meeting in two days only, January 19 and 20, 2021.


The ZOOM meeting will be at same link for both days and I will open it around 1:30pm for checking the screen sharing and possible chat (see more details below): https://cesnet.zoom.us/j/8496363962

Programme

  • Anton Alekseev (Geneva) - Tuesday 2pm
    The Knizhnik-Zamolodchikov equation and its amazing properties
  • Ugo Boscain (Paris) - Tuesday 3pm
    Quantum confinement for the curvature Laplacian −Delta + c K on 2D-almost-Riemannian manifolds
  • Georgios Dimitroglou Rizell (Uppsala) - Tuesday 4:30pm
    Lagrangian classification and recurrence via pseudoholomorphic foliations.
  • Jean Petitot (Paris) - Wednesday 2pm
    Sub-Riemannian Neurogeometry of the primary visual cortex
  • Frederic Bourgeois ( Paris) - Wednesday 3pm
    An overview of contact homology
  • Dmitri Alekseevsky (Moscow) - Wednesday 4:30pm
    Geometry of rank r= 2 and 3 special Vinberg cones


Short abstracts are available here .


Meeting ID: 849 636 3962
ne tap mobile
+420239018272,,8496363962# Czechia
+420538890161,,8496363962# Czechia

Dial by your location
+420 2 3901 8272 Czechia
+420 5 3889 0161 Czechia
+420 2 2888 2388 Czechia

Meeting ID: 849 636 3962

Find your local number: https://cesnet.zoom.us/u/acaswD6HRD



Jan Slovak
on the behalf of the Organizing Committee

Last Updated on Monday, 18 January 2021 09:09
 
«StartPrev12345678910NextEnd»

Page 6 of 41