Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
formal category theory (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
2
Vaata veel..
(1/199)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Adjoint functor theorems for lax-idempotent pseudomonads
Arkor, Nathanael
;
Di Liberti, Ivan
;
Loregian, Fosco
Theory and Applications of Categories
2024
/
p. 667-685
http://www.tac.mta.ca/tac/volumes/41/20/41-20.pdf
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
2
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
The formal theory of relative monads
Arkor, Nathanael
;
McDermott, Dylan
Journal of pure and applied algebra
2024
/
art. 107676, 107 p. : ill
https://doi.org/10.1016/j.jpaa.2024.107676
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
199
1.
formal category theory
2.
category theory
3.
enriched category theory
4.
formal language theory
5.
assessment category
6.
bimonoidal category
7.
closed category
8.
cocomplete category
9.
cyclic category
10.
double category
11.
duplicial category
12.
free monoidal category
13.
Locally graded category
14.
monoidal category
15.
omega-category
16.
orbit category
17.
skew-monoidal category
18.
slice 2-category
19.
slice category
20.
symmetric monoidal category
21.
triangulated category
22.
2-category
23.
Automata, Formal Verification
24.
Formal
25.
formal and combined safety elements
26.
formal and informal
27.
formal concept analysis
28.
formal education
29.
formal ferification
30.
formal languages
31.
formal logic
32.
formal methods
33.
formal PMS
34.
formal rationality
35.
formal reasoning
36.
formal revolution
37.
formal semantics
38.
formal specification
39.
formal verification
40.
mandatory formal concepts
41.
non-formal education
42.
rigorous formal diagrammatic system
43.
top-K formal concepts
44.
a coherent theory of proofs
45.
activity theory
46.
adaptive structuration theory (AST)
47.
algebraic number theory
48.
algebraic theory
49.
algorithm design and theory
50.
beam theory
51.
behavioral reasoning theory
52.
bicategory theory
53.
Boolean Algebra Meets Graph-Theory
54.
catastrophe theory
55.
chaos theory
56.
coding theory
57.
cognitive theory
58.
commitment theory
59.
communication channels (information theory)
60.
complexity leadership theory
61.
complexity theory
62.
computation theory
63.
computer softwaregraph theory
64.
conservation of resources theory
65.
Consumer Culture Theory
66.
control theory
67.
Cooper-Helmstetter cell cycle theory
68.
cosmology: theory
69.
critical theory of technology
70.
cultural theory of international relations
71.
dark matter theory
72.
decision theory
73.
Dempster-Shafer theory
74.
Demster-Shafer Theory
75.
density functional theory
76.
density functional theory (DFT)
77.
dependent type theory
78.
design theory
79.
development theory
80.
Digital Government Theory: Development and Application
81.
dispersive theory
82.
domain theory
83.
ecological systems theory
84.
economic theory
85.
end of theory
86.
energetic impact theory
87.
Euler Bernoulli beams theory
88.
evolutionary theory of policy capacity
89.
Flow theory
90.
fully nonlinear potential theory
91.
game theory
92.
general systems theory
93.
general theory of information transfer
94.
general vibration theory
95.
graph theory
96.
gravitational waves / theory
97.
grounded theory
98.
group theory
99.
group threat theory
100.
higher-order beam theory
101.
History and Theory
102.
homotopy theory
103.
homotopy type theory
104.
housemoney effect prospect theory
105.
iceberg theory of culture
106.
image theory
107.
information theory
108.
innovation theory
109.
institutional theory
110.
intellectual capital theory
111.
interdependence theory
112.
inverse problem theory/applications
113.
inverse problems theory/applications
114.
job search theory
115.
Lawvere theory
116.
layer-wise displacement theory
117.
linear systems theory
118.
maritime investment theory
119.
mechanism design theory
120.
middle-range theory
121.
modern portfolio theory
122.
network theory
123.
nonlinear shallow water theory
124.
nonlinear shallow-water theory
125.
nonlinear strip theory
126.
nonlinear theory
127.
normal torsion theory
128.
number theory
129.
organization theory
130.
organizational theory
131.
peer‐to‐peer theory
132.
perceived customer value theory
133.
phase field theory
134.
picture theory
135.
protection motivation theory
136.
proto-theory of design
137.
punctuated equilibrium theory
138.
rational choice theory
139.
real options theory
140.
realization theory
141.
reduction theory
142.
refined zigzag theory
143.
regulatory focus theory
144.
sampling theory
145.
scapegoat theory
146.
search and matching theory
147.
self-determination theory
148.
self-determination theory of work motivation
149.
set theory
150.
shallow water theory
151.
shallow‐water theory
152.
sign theory
153.
signalling theory
154.
social exchange theory
155.
social identity theory
156.
social practice theory
157.
social presence theory
158.
social representation theory
159.
social system theory
160.
social systems theory
161.
sociological curriculum theory
162.
S-O-R theory
163.
speech-act theory
164.
stakeholder theory
165.
Stakeholder-oriented decision theory
166.
State Theory
167.
stimulus-organism-response theory
168.
stochastic learning theory
169.
strategic narrative theory
170.
strategic narrative theory
171.
Straussian theory model
172.
structuration theory
173.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
174.
switching theory
175.
synchronous reference frame theory
176.
system theory
177.
systems theory
178.
the RAT theory
179.
theory
180.
theory and practice of meta-modelling with application in healthcare
181.
theory building
182.
theory of accounting
183.
Theory of computation
184.
Theory Of Constraints (TOC)
185.
theory of economic development
186.
theory of inventive problem solving (TRIZ)
187.
theory of natural disaster
188.
Theory of paradox
189.
theory of planned behavior
190.
theory of planned behaviour
191.
theory of signs
192.
theory of value
193.
ticked cubical type theory
194.
time-dependent density functional theory (TD-DFT)
195.
type theory
196.
unified theory of acceptance and use of technology
197.
value theory
198.
virtual disc theory
199.
2D+T theory
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT