|
816
|
Categories for the Working Mathematician
– S Mac Lane
- 1998
|
|
47
|
Adjoint functors and triples
– Samuel Eilenberg, John C Moore
- 1965
|
|
109
|
The formal theory of monads
– R Street
- 1972
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
152
|
Functorial Semantics of Algebraic Theories
– F W Lawvere
- 1963
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
203
|
S (2000) Categories for the working mathematician. Graduate Texts in Mathematics
– Mac Lane
|
|
58
|
On the (co)homology of commutative rings
– D Quillen
- 1970
|
|
13
|
Homology and standard constructions
– M Barr, J Beck
- 1969
|
|
173
|
Jirí Rosicky, Locally Presentable and Accessible Categories
– Jirí Adamek
- 1994
|
|
316
|
BASIC CONCEPTS OF ENRICHED CATEGORY THEORY
– G. M. Kelly
- 2005
|
|
43
|
Notions of Computation Determine Monads
– Gordon Plotkin, John Power
- 2002
|
|
12
|
Obstruction theory in algebraic categories
– G Orzech
- 1972
|
|
11
|
Co)homology of crossed modules
– P Carrasco, A N Cegarra, A R Grandjean
|
|
23
|
Combining effects: sum and tensor
– Martin Hyland, Gordon Plotkin, John Power
|
|
29
|
Adequacy for algebraic effects
– Gordon Plotkin, Matija Pretnar
- 2001
|
|
53
|
Equality in hyperdoctrines and comprehension schema as an adjoint functor, Applications of Categorical Algebra (Proc
– W Lawvere
- 1968
|
|
27
|
Review of the elements of
– G Max Kelly, Ross Street
- 1974
|
|
9
|
Catégories et Machines
– Logiques
- 1988
|
