Results 41 to 50 of about 791 (171)
Duality of equations and coequations via contravariant adjunctions [PDF]
, 2016 In this paper we show duality results between categories of equations and categories of coequations. These dualities are obtained as restrictions of dualities between categories of algebras and coalgebras, which arise by lifting contravariant adjunctions
Bonsangue, M.M. (Marcello) +2 more
core +3 more sources
, 2018 For MLA 2015, I wrote a piece called “Want to Save the Humani-ties? Teach Adjuncts to Learn Digital Tools.”1At the time, I was an adjunct. Fall 2015 I started my first year as a tenure-track professor after teaching nine years as an NTT and four years as an adjunct.
Kathi Inman Berens, Laura Sanders
openaire +1 more source
Mathematische AnnalenAbstract We present an adjunction formula for foliations on varieties and we consider applications of the adjunction formula to the cone theorem for rank one foliations and the study of foliation singularities.
Paolo Cascini, Calum Spicer
openaire +5 more sources
String adjunct grammars: I. Local and distributed adjunction
Information and Control, 1972 In this paper [and in Joshi et al. (1972) which is a sequel to this paper] a new style of formal grammar called String Adjunct Grammars (AG) has been studied. The rules in an AG have a character essentially different from the “rewrite rule” in a Phrase Structure Grammar (PSG).
Aravind K. Joshi +2 more
openaire +1 more source
Coherence for adjunctions in a $4$-category [PDF]
, 2022 We give a definition of a coherent adjunction in a 4-category consisting of a finite list of k-morphisms for k≤4, plus equations beetween 4-morphisms. We prove that the restriction map from the space of coherent adjunctions in a 4-category to the space ...
Araújo, M. ; https://orcid.org/
core
Monads defined by involution-preserving adjunctions
, 1975 Consider categories with involutions which fix objects, functors which preserve involution, and natural transformations. In this setting certain natural adjunctions become universal and, thereby, become constructible from abstract data.
Paul H. Palmquist
core +1 more source
, 2012 In this Version 2, minor improvements are made to Version 1.An algebraic method is used to study the semantics of exceptions in computer languages. The exceptions form a computational effect, in the sense that there is an apparent mismatch between the ...
Fousse, Laurent +3 more
core +2 more sources
Adjunctions on the Lattice of Dendrograms
, 2013 International audienceDendrograms are used in hierarchical classification. They also are useful structures in image processing, for segmentation or filtering purposes. The structure of a hierarchy is univocally expressed by a ultrametric ecart.
Meyer, Fernand, Fernand Meyer
core +1 more source
On lax transformations, adjunctions, and monads in $(\infty,2)$-categories
, 2021 summary:We use the basic expected properties of the Gray tensor product of $(\infty,2)$-categories to study (co)lax natural transformations. Using results of Riehl--Verity and Zaganidis we identify lax transformations between adjunctions and monads with ...
Haugseng, Rune
core +1 more source
, 2021 We characterize double adjunctions in terms of presheaves and universal squares, and then apply these characterizations to free monads and Eilenberg-Moore objects in double categories.
Kock, Joachim +3 more
core