Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
Theory and Applications of Categories (source)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(1/243)
Export
export all inquiry results
(2)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
2
journal article EST
/
journal article ENG
Lifting twisted coreflections against delta lenses
Clarke, Bryce James
Theory and Applications of Categories
2024
/
p. 838 - 877 : ill
http://www.tac.mta.ca/tac/volumes/41/26/41-26abs.html
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
Number of records 2, displaying
1 - 2
keyword
243
1.
inverse problem theory/applications
2.
inverse problems theory/applications
3.
adhesive categories
4.
Brauer categories
5.
cartesian restriction categories
6.
categories
7.
categories of partial maps
8.
categories of sets
9.
diagram categories
10.
Double categories
11.
duoidal categories
12.
monoidal categories
13.
monoidal closed and bi-closed categories
14.
partition categories
15.
promonoidal categories
16.
skew monoidal categories
17.
skew monoidal closed categories
18.
symmetric monoidal categories
19.
symmetric skew closed categories
20.
symmetric skew monoidal categories
21.
vowel categories
22.
a coherent theory of proofs
23.
activity theory
24.
adaptive structuration theory (AST)
25.
algebraic number theory
26.
algebraic theory
27.
algorithm design and theory
28.
beam theory
29.
behavioral reasoning theory
30.
bicategory theory
31.
Biot theory
32.
Bond theory
33.
Boolean Algebra Meets Graph-Theory
34.
catastrophe theory
35.
category theory
36.
chaos theory
37.
coding theory
38.
cognitive theory
39.
commitment theory
40.
communication channels (information theory)
41.
Complex systems theory
42.
complexity leadership theory
43.
complexity theory
44.
computation theory
45.
computer softwaregraph theory
46.
conservation of resources theory
47.
Consumer Culture Theory
48.
control theory
49.
Cooper-Helmstetter cell cycle theory
50.
cosmology theory
51.
cosmology: theory
52.
critical theory of technology
53.
cultural theory of international relations
54.
dark matter theory
55.
decision theory
56.
Dempster-Shafer theory
57.
Demster-Shafer Theory
58.
density functional theory
59.
density functional theory (DFT)
60.
dependent type theory
61.
design theory
62.
development theory
63.
Digital Government Theory: Development and Application
64.
dispersive theory
65.
domain theory
66.
ecological systems theory
67.
economic theory
68.
end of theory
69.
energetic impact theory
70.
enriched category theory
71.
Euler Bernoulli beams theory
72.
evolutionary theory of policy capacity
73.
Flow theory
74.
formal category theory
75.
formal language theory
76.
fully nonlinear potential theory
77.
game theory
78.
general systems theory
79.
general theory of information transfer
80.
general vibration theory
81.
graph theory
82.
gravitational waves / theory
83.
grounded theory
84.
group theory
85.
group threat theory
86.
higher-order beam theory
87.
History and Theory
88.
homotopy theory
89.
homotopy type theory
90.
housemoney effect prospect theory
91.
iceberg theory of culture
92.
image theory
93.
information theory
94.
innovation theory
95.
institutional theory
96.
intellectual capital theory
97.
interdependence theory
98.
job search theory
99.
language theory
100.
Lawvere theory
101.
layer-wise displacement theory
102.
linear systems theory
103.
macro-foundational theory
104.
maritime investment theory
105.
mechanism design theory
106.
meso-foundational theory
107.
micro-foundational theory
108.
middle-range theory
109.
mindlin plate theory
110.
modern portfolio theory
111.
network theory
112.
nonlinear shallow water theory
113.
nonlinear shallow-water theory
114.
nonlinear strip theory
115.
nonlinear theory
116.
normal torsion theory
117.
number theory
118.
organismic integration theory
119.
organization theory
120.
organizational theory
121.
peer‐to‐peer theory
122.
perceived customer value theory
123.
phase field theory
124.
picture theory
125.
protection motivation theory
126.
proto-theory of design
127.
punctuated equilibrium theory
128.
rational choice theory
129.
real options theory
130.
realization theory
131.
reduction theory
132.
refined zigzag theory
133.
regulatory focus theory
134.
sampling theory
135.
scapegoat theory
136.
search and matching theory
137.
self-determination theory
138.
self-determination theory of work motivation
139.
set theory
140.
shallow water theory
141.
shallow‐water theory
142.
sign theory
143.
signalling theory
144.
social exchange theory
145.
social identity theory
146.
social practice theory
147.
social presence theory
148.
social representation theory
149.
social system theory
150.
social systems theory
151.
sociological curriculum theory
152.
S-O-R theory
153.
speech-act theory
154.
stakeholder theory
155.
Stakeholder-oriented decision theory
156.
State Theory
157.
stimulus-organism-response theory
158.
stochastic learning theory
159.
strategic narrative theory
160.
strategic narrative theory
161.
Straussian theory model
162.
structuration theory
163.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
164.
switching theory
165.
synchronous reference frame theory
166.
system theory
167.
systems theory
168.
the RAT theory
169.
theory
170.
theory and practice of meta-modelling with application in healthcare
171.
theory building
172.
theory of accounting
173.
Theory of computation
174.
Theory Of Constraints (TOC)
175.
theory of economic development
176.
theory of inventive problem solving (TRIZ)
177.
theory of natural disaster
178.
Theory of paradox
179.
theory of planned behavior
180.
theory of planned behaviour
181.
theory of signs
182.
theory of value
183.
theory selection
184.
ticked cubical type theory
185.
time-dependent density functional theory (TD-DFT)
186.
type theory
187.
unified theory of acceptance and use of technology
188.
value theory
189.
virtual disc theory
190.
2D+T theory
191.
ac-dc applications
192.
aerial systems: applications
193.
analytical chemistry applications
194.
antibacterial and photoactivity applications
195.
applications
196.
applications and performances of bioinspired materials
197.
applications in banking
198.
Applications in Test Engineering
199.
automotive applications
200.
automotive maintenance applications
201.
Biological applications
202.
biomaterial applications
203.
case studies of meta-modelling in healthcare applications
204.
collaborative robotics applications
205.
control applications
206.
control engineering computer applications
207.
CRISPR applications
208.
disaster relief and emergency applications
209.
Electrochemical applications
210.
environmental applications
211.
future web applications
212.
high current applications
213.
industrial applications
214.
industry applications
215.
inverse methods for engineering applications
216.
machine learning for environmental applications
217.
material performance and applications
218.
medical applications
219.
mixed-criticality applications
220.
mobile applications
221.
nuclear shielding applications
222.
office applications
223.
personal area network applications
224.
photovoltaic (PV) applications
225.
power electronics applications in power systems and utilities
226.
practical applications
227.
process modeling for engineering applications
228.
PV applications
229.
PV applications review
230.
real-life IoT applications
231.
residential applications
232.
sensor applications
233.
simulation applications
234.
smart applications
235.
smart cities applications
236.
social media applications
237.
space applications
238.
structural applications
239.
super-applications
240.
surveying with construction applications
241.
web-based applications
242.
vehicle applications
243.
visual basic for applications
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT